Exploiting symmetry in the planning graph via explanation-guided search
AAAI '99/IAAI '99 Proceedings of the sixteenth national conference on Artificial intelligence and the eleventh Innovative applications of artificial intelligence conference innovative applications of artificial intelligence
Planning as constraint satisfaction: solving the planning graph by compiling it into CSP
Artificial Intelligence
On the expressive power of planning formalisms
Logic-based artificial intelligence
Compilation Schemes: A Theoretical Tool for Assessing the Expressive Power of Planning Formalisms
KI '99 Proceedings of the 23rd Annual German Conference on Artificial Intelligence: Advances in Artificial Intelligence
Synthesis of efficient constraint-satisfaction programs
The Knowledge Engineering Review
Integer optimization models of AI planning problems
The Knowledge Engineering Review
Domain-independent temporal planning in a planning-graph-based approach
AI Communications
Rapid goal-oriented automated software testing using MEA-graph planning
Software Quality Control
A Global Filtration for Satisfying Goals in Mutual Exclusion Networks
Recent Advances in Constraints
State agnostic planning graphs and the application to belief-space planning
AAAI'05 Proceedings of the 20th national conference on Artificial intelligence - Volume 3
Planning graph as a (dynamic) CSP: exploiting EBL, DDB and other CSP search techniques in Graphplan
Journal of Artificial Intelligence Research
On the compilability and expressive power of propositional planning formalisms
Journal of Artificial Intelligence Research
On reachability, relevance, and resolution in the planning as satisfiability approach
Journal of Artificial Intelligence Research
The FF planning system: fast plan generation through heuristic search
Journal of Artificial Intelligence Research
Using memory to transform search on the planning graph
Journal of Artificial Intelligence Research
Synthesizing customized planners from specifications
Journal of Artificial Intelligence Research
Unifying SAT-based and graph-based planning
IJCAI'99 Proceedings of the 16th international joint conference on Artifical intelligence - Volume 1
Reachability, relevance, resolution and the planning as satisfiability approach
IJCAI'99 Proceedings of the 16th international joint conference on Artificial intelligence - Volume 2
Improving Graphplan's search with EBL & DDB techniques
IJCAI'99 Proceedings of the 16th international joint conference on Artificial intelligence - Volume 2
An ontological account of action in processes and plans
Knowledge-Based Systems
State agnostic planning graphs: deterministic, non-deterministic, and probabilistic planning
Artificial Intelligence
Proceedings of the International Conference on Web Intelligence, Mining and Semantics
Backward-Chaining flexible planning
ICMLC'05 Proceedings of the 4th international conference on Advances in Machine Learning and Cybernetics
Hi-index | 0.01 |