STeLLa: An Optimal Sequential and Parallel Planner
EPIA '01 Proceedings of the10th Portuguese Conference on Artificial Intelligence on Progress in Artificial Intelligence, Knowledge Extraction, Multi-agent Systems, Logic Programming and Constraint Solving
Scheduling as Heuristic Search with State Space Reduction
IBERAMIA 2002 Proceedings of the 8th Ibero-American Conference on AI: Advances in Artificial Intelligence
Multi-agent Coordination Mechanism in Distributed Environment
EDCIS '02 Proceedings of the First International Conference on Engineering and Deployment of Cooperative Information Systems
LPNMR '01 Proceedings of the 6th International Conference on Logic Programming and Nonmonotonic Reasoning
CP '02 Proceedings of the 8th International Conference on Principles and Practice of Constraint Programming
Lagrange Multipliers for Local Search on Planning Graphs
ECAI '00 Proceedings of the Workshop on Local Search for Planning and Scheduling-Revised Papers
Speeding up the calculation of heuristics for heuristic search-based planning
Eighteenth national conference on Artificial intelligence
Perspectives on artificial intelligence planning
Eighteenth national conference on Artificial intelligence
Controlling the learning process of real-time heuristic search
Artificial Intelligence
Multiobjective heuristic state-space planning
Artificial Intelligence
Interactive storytelling: from AI experiment to new media
ICEC '03 Proceedings of the second international conference on Entertainment computing
Heuristic planning: a declarative approach based on strategies for action selection
Artificial Intelligence - Special issue on logical formalizations and commonsense reasoning
Alternative reality: a new platform for virtual reality art
Proceedings of the ACM symposium on Virtual reality software and technology
A resource based framework for planning and replanning
Web Intelligence and Agent Systems
Incremental heuristic search in AI
AI Magazine
A comparative illustration of AI planning-based web services composition
ACM SIGecom Exchanges
Conformant planning via heuristic forward search: a new approach
Artificial Intelligence
Breadth-first heuristic search
Artificial Intelligence
Constraint partitioning in penalty formulations for solving temporal planning problems
Artificial Intelligence
Branching and pruning: an optimal temporal POCL planner based on constraint programming
Artificial Intelligence
Modelling and solving English Peg Solitaire
Computers and Operations Research
Artificial Intelligence-Mediated Interaction in Virtual Reality Art
IEEE Intelligent Systems
Introducing narrative principles into planning-based interactive storytelling
Proceedings of the 2005 ACM SIGCHI International Conference on Advances in computer entertainment technology
AI-based world behaviour for emergent narratives
Proceedings of the 2006 ACM SIGCHI international conference on Advances in computer entertainment technology
Domain-dependent knowledge in answer set planning
ACM Transactions on Computational Logic (TOCL)
Planning as satisfiability: parallel plans and algorithms for plan search
Artificial Intelligence
Domain-independent temporal planning in a planning-graph-based approach
AI Communications
Integrating planning and scheduling in workflow domains
Expert Systems with Applications: An International Journal
Planning algorithms for interactive storytelling
Computers in Entertainment (CIE) - Interactive entertainment
Madame bovary on the holodeck: immersive interactive storytelling
Proceedings of the 15th international conference on Multimedia
PLTOOL: A knowledge engineering tool for planning and learning
The Knowledge Engineering Review
Extending character-based storytelling with awareness and feelings
Proceedings of the 6th international joint conference on Autonomous agents and multiagent systems
Planning and scheduling in an e-learning environment. A constraint-programming-based approach
Engineering Applications of Artificial Intelligence
Learning Control Knowledge for Forward Search Planning
The Journal of Machine Learning Research
Anytime search in dynamic graphs
Artificial Intelligence
Interactive Storytelling with Literary Feelings
ACII '07 Proceedings of the 2nd international conference on Affective Computing and Intelligent Interaction
Heuristics for Planning with Action Costs
Current Topics in Artificial Intelligence
CAV '08 Proceedings of the 20th international conference on Computer Aided Verification
Heuristic Hill-Climbing as a Markov Process
AIMSA '08 Proceedings of the 13th international conference on Artificial Intelligence: Methodology, Systems, and Applications
Long-distance mutual exclusion for planning
Artificial Intelligence
A Plan-Based Control Architecture for Intelligent Robotic Agents
KES-AMSTA '07 Proceedings of the 1st KES International Symposium on Agent and Multi-Agent Systems: Technologies and Applications
Directed Unfolding of Petri Nets
Transactions on Petri Nets and Other Models of Concurrency I
State-Based Regression with Sensing and Knowledge
PRICAI '08 Proceedings of the 10th Pacific Rim International Conference on Artificial Intelligence: Trends in Artificial Intelligence
Concise finite-domain representations for PDDL planning tasks
Artificial Intelligence
Learning from planner performance
Artificial Intelligence
A heuristic search approach to planning with temporally extended preferences
Artificial Intelligence
Analysis of Sanskrit Text: Parsing and Semantic Relations
Sanskrit Computational Linguistics
Transition-Based Directed Model Checking
TACAS '09 Proceedings of the 15th International Conference on Tools and Algorithms for the Construction and Analysis of Systems: Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009,
EvoCOP '09 Proceedings of the 9th European Conference on Evolutionary Computation in Combinatorial Optimization
Emotional input for character-based interactive storytelling
Proceedings of The 8th International Conference on Autonomous Agents and Multiagent Systems - Volume 1
Unified Definition of Heuristics for Classical Planning
Proceedings of the 2006 conference on ECAI 2006: 17th European Conference on Artificial Intelligence August 29 -- September 1, 2006, Riva del Garda, Italy
Heuristics for Planning with Action Costs Revisited
Proceedings of the 2008 conference on ECAI 2008: 18th European Conference on Artificial Intelligence
A Planning Graph Heuristic for Forward-Chaining Adversarial Planning
Proceedings of the 2008 conference on ECAI 2008: 18th European Conference on Artificial Intelligence
Weighted A∗ search -- unifying view and application
Artificial Intelligence
Distance estimates for planning in the discrete belief space
AAAI'04 Proceedings of the 19th national conference on Artifical intelligence
Regression with respect to sensing actions and partial states
AAAI'04 Proceedings of the 19th national conference on Artifical intelligence
Space-efficient memory-based heuristics
AAAI'04 Proceedings of the 19th national conference on Artifical intelligence
Genome rearrangement and planning
AAAI'05 Proceedings of the 20th national conference on Artificial intelligence - Volume 3
Simultaneous heuristic search for conjunctive subgoals
AAAI'05 Proceedings of the 20th national conference on Artificial intelligence - Volume 3
Cost-algebraic heuristic search
AAAI'05 Proceedings of the 20th national conference on Artificial intelligence - Volume 3
Fluxplayer: a successful general game player
AAAI'07 Proceedings of the 22nd national conference on Artificial intelligence - Volume 2
PBA*: using proactive search to make A* robust to unplanned deviations
AAAI'08 Proceedings of the 23rd national conference on Artificial intelligence - Volume 2
Finding state similarities for faster planning
AAAI'08 Proceedings of the 23rd national conference on Artificial intelligence - Volume 2
Accuracy of admissible heuristic functions in selected planning domains
AAAI'08 Proceedings of the 23rd national conference on Artificial intelligence - Volume 2
Pervasive diagnosis: the integration of diagnostic goals into production plans
AAAI'08 Proceedings of the 23rd national conference on Artificial intelligence - Volume 3
The FF planning system: fast plan generation through heuristic search
Journal of Artificial Intelligence Research
Taming numbers and durations in the model checking integrated planning system
Journal of Artificial Intelligence Research
Planning through stochastic local search and temporal action graphs in LPG
Journal of Artificial Intelligence Research
The metric-FF planning system: translating "Ignoring delete lists" to numeric state variables
Journal of Artificial Intelligence Research
VHPOP: versatile heuristic partial order planner
Journal of Artificial Intelligence Research
Journal of Artificial Intelligence Research
Where "Ignoring delete lists" works: local search topology in planning benchmarks
Journal of Artificial Intelligence Research
mGPT: a probabilistic planner based on heuristic search
Journal of Artificial Intelligence Research
Engineering a conformant probabilistic planner
Journal of Artificial Intelligence Research
The fast downward planning system
Journal of Artificial Intelligence Research
Temporal planning using subgoal partitioning and resolution in SGPlan
Journal of Artificial Intelligence Research
Engineering benchmarks for planning: the domains used in the deterministic part of IPC-4
Journal of Artificial Intelligence Research
Journal of Artificial Intelligence Research
Probabilistic planning via heuristic forward search and weighted model counting
Journal of Artificial Intelligence Research
New Islands of tractability of cost-optimal planning
Journal of Artificial Intelligence Research
Dynamic control in real-time heuristic search
Journal of Artificial Intelligence Research
The GRT planning system: backward heuristic construction in forward state-space planning
Journal of Artificial Intelligence Research
Long-distance mutual exclusion for propositional planning
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
Reducing accidental complexity in planning problems
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
Planning via Petri net unfolding
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
Best-first utility-guided search
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
Journal of Artificial Intelligence Research
Compiling uncertainty away in conformant planning problems with bounded width
Journal of Artificial Intelligence Research
Local search topology in planning benchmarks: an empirical analysis
IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 1
Constraint partitioning in penalty formulations for solving temporal planning problems
Artificial Intelligence
Branching and pruning: An optimal temporal POCL planner based on constraint programming
Artificial Intelligence
Conformant planning via heuristic forward search: A new approach
Artificial Intelligence
Breadth-first heuristic search
Artificial Intelligence
Planning as satisfiability: parallel plans and algorithms for plan search
Artificial Intelligence
Completeness and optimality preserving reduction for planning
IJCAI'09 Proceedings of the 21st international jont conference on Artifical intelligence
Cost-optimal planning with landmarks
IJCAI'09 Proceedings of the 21st international jont conference on Artifical intelligence
Trees of shortest paths vs. Steiner trees: understanding and improving delete relaxation heuristics
IJCAI'09 Proceedings of the 21st international jont conference on Artifical intelligence
Inference and Learning in Planning (Extended Abstract)
DS '09 Proceedings of the 12th International Conference on Discovery Science
Action Planning for Directed Model Checking of Petri Nets
Electronic Notes in Theoretical Computer Science (ENTCS)
Conformant plans and beyond: Principles and complexity
Artificial Intelligence
Set-structured and cost-sharing heuristics for classical planning
Annals of Mathematics and Artificial Intelligence
Friends or foes? on planning as satisfiability and abstract CNF encodings
Journal of Artificial Intelligence Research
Intelligent virtual actors that plan - to fail
SG'03 Proceedings of the 3rd international conference on Smart graphics
UPPAAL/DMC: abstraction-based heuristics for directed model checking
TACAS'07 Proceedings of the 13th international conference on Tools and algorithms for the construction and analysis of systems
Structural relaxations by variable renaming and their compilation for solving MinCostSAT
CP'07 Proceedings of the 13th international conference on Principles and practice of constraint programming
An LP-based heuristic for optimal planning
CP'07 Proceedings of the 13th international conference on Principles and practice of constraint programming
Integration of symmetry and macro-operators in planning
MICAI'07 Proceedings of the artificial intelligence 6th Mexican international conference on Advances in artificial intelligence
Understanding planning tasks: domain complexity and heuristic decomposition
Understanding planning tasks: domain complexity and heuristic decomposition
Planning with h+in theory and practice
KI'09 Proceedings of the 32nd annual German conference on Advances in artificial intelligence
Optimal admissible composition of abstraction heuristics
Artificial Intelligence
The computational complexity of avoiding spurious states in state space abstraction
Artificial Intelligence
New methods for proving the impossibility to solve problems through reduction of problem spaces
Annals of Mathematics and Artificial Intelligence
Brothers in Arms? On AI Planning and Cellular Automata
Proceedings of the 2010 conference on ECAI 2010: 19th European Conference on Artificial Intelligence
Strengthening Landmark Heuristics via Hitting Sets
Proceedings of the 2010 conference on ECAI 2010: 19th European Conference on Artificial Intelligence
Sound and Complete Landmarks for And/Or Graphs
Proceedings of the 2010 conference on ECAI 2010: 19th European Conference on Artificial Intelligence
Heuristics for planning with SAT
CP'10 Proceedings of the 16th international conference on Principles and practice of constraint programming
Efficient Plan Adaptation through Replanning Windows and Heuristic Goals
Fundamenta Informaticae - RCRA 2008 Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion
A weighted CSP approach to cost-optimal planning
AI Communications
Relaxing Regression for a Heuristic GOLOG
Proceedings of the 2010 conference on STAIRS 2010: Proceedings of the Fifth Starting AI Researchers' Symposium
Domain Independent Goal Recognition
Proceedings of the 2010 conference on STAIRS 2010: Proceedings of the Fifth Starting AI Researchers' Symposium
Implicit abstraction heuristics
Journal of Artificial Intelligence Research
The LAMA planner: guiding cost-based anytime planning with landmarks
Journal of Artificial Intelligence Research
Case-based subgoaling in real-time heuristic search for video game pathfinding
Journal of Artificial Intelligence Research
Mobile robots navigation based on graph search techniques
ECCE'10/ECCIE'10/ECME'10/ECC'10 Proceedings of the European conference of chemical engineering, and European conference of civil engineering, and European conference of mechanical engineering, and European conference on Control
Planning with incomplete information
MoChArt'10 Proceedings of the 6th international conference on Model checking and artificial intelligence
Everything you always wanted to know about planning (but were afraid to ask)
KI'11 Proceedings of the 34th Annual German conference on Advances in artificial intelligence
Analyzing search topology without running any search: on the connection between causal graphs and h+
Journal of Artificial Intelligence Research
Probabilistic relational planning with first order decision diagrams
Journal of Artificial Intelligence Research
Case adaptation by segment replanning for case-based planning systems
ICCBR'05 Proceedings of the 6th international conference on Case-Based Reasoning Research and Development
AI-mediated interaction in virtual reality art
INTETAIN'05 Proceedings of the First international conference on Intelligent Technologies for Interactive Entertainment
Experimental evaluation of pheromone models in ACOPlan
Annals of Mathematics and Artificial Intelligence
Planning in domains with derived predicates through rule-action graphs and local search
Annals of Mathematics and Artificial Intelligence
Heuristic search for the analysis of graph transition systems
ICGT'06 Proceedings of the Third international conference on Graph Transformations
An efficient hybrid strategy for temporal planning
CPAIOR'06 Proceedings of the Third international conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems
iFALCON: A neural architecture for hierarchical planning
Neurocomputing
Adapting an AI planning heuristic for directed model checking
SPIN'06 Proceedings of the 13th international conference on Model Checking Software
Planning with SAT, admissible heuristics and A*
IJCAI'11 Proceedings of the Twenty-Second international joint conference on Artificial Intelligence - Volume Volume Three
Advanced user assistance based on AI planning
Cognitive Systems Research
Learning heuristic functions for large state spaces
Artificial Intelligence
SAP speaks PDDL: exploiting a software-engineering model for planning in business process management
Journal of Artificial Intelligence Research
Planning as satisfiability: Heuristics
Artificial Intelligence
The increasing cost tree search for optimal multi-agent pathfinding
Artificial Intelligence
A conformant planner based on approximation: CpA(H)
ACM Transactions on Intelligent Systems and Technology (TIST) - Special section on agent communication, trust in multiagent systems, intelligent tutoring and coaching systems
Goal distance estimation for automated planning using neural networks and support vector machines
Natural Computing: an international journal
A case-based approach to heuristic planning
Applied Intelligence
CAV'13 Proceedings of the 25th international conference on Computer Aided Verification
Revisiting regression in planning
IJCAI'13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence
An admissible heuristic for SAS+ planning obtained from the state equation
IJCAI'13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence
Towards a second generation random walk planner: an experimental exploration
IJCAI'13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence
Computing upper bounds on lengths of transition sequences
IJCAI'13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence
Problem splitting using heuristic search in landmark orderings
IJCAI'13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence
The complexity of optimal monotonic planning: the bad, the good, and the causal graph
Journal of Artificial Intelligence Research
Automating the evaluation of planning systems
AI Communications
Artificial Intelligence: From programs to solvers
AI Communications - ECAI 2012 Turing and Anniversary Track
Hi-index | 0.00 |