A logic-based calculus of events
New Generation Computing
Planning for conjunctive goals
Artificial Intelligence
Design problem solving: a task analysis
AI Magazine
Partial-order planning: evaluating possible efficiency gains
Artificial Intelligence
Multi-contributor causal structures for planning: a formalization and evaluation
Artificial Intelligence
Artificial intelligence: a modern approach
Artificial intelligence: a modern approach
Knowledge-level analysis of planning systems
ACM SIGART Bulletin
A circumscriptive calculus of events
Artificial Intelligence
Solving the frame problem: a mathematical investigation of the common sense law of inertia
Solving the frame problem: a mathematical investigation of the common sense law of inertia
A library of system-derived problem-solving methods for planning
International Journal of Human-Computer Studies - Special issue on knowledge acquisition for planning
CommonKADS: A Comprehensive Methodology for KBS Development
IEEE Expert: Intelligent Systems and Their Applications
Principles for Libraries of Task Decomposition Methods - Conclusions from a Case-study
EKAW '96 Proceedings of the 9th European Knowledge Acquisition Workshop on Advances in Knowledge Acquisition
Domain and System Influences in Problem Solving Models for Planning
EKAW '96 Proceedings of the 9th European Knowledge Acquisition Workshop on Advances in Knowledge Acquisition
Event Calculus Planning Revisited
ECP '97 Proceedings of the 4th European Conference on Planning: Recent Advances in AI Planning
Par-KAP: a knowledge acquisition tool for building practical planning systems
IJCAI'97 Proceedings of the Fifteenth international joint conference on Artifical intelligence - Volume 2
STRIPS: a new approach to the application of theorem proving to problem solving
IJCAI'71 Proceedings of the 2nd international joint conference on Artificial intelligence
IJCAI'77 Proceedings of the 5th international joint conference on Artificial intelligence - Volume 2
AAAI'91 Proceedings of the ninth National conference on Artificial intelligence - Volume 2
A monolithic approach to automated composition of semantic web services with the Event Calculus
Knowledge-Based Systems
Event calculus-based adaptive services composition policy for ami systems
AMT'12 Proceedings of the 8th international conference on Active Media Technology
| Hi-index | 0.01 |
There are several works whose goal is to specify complete and sound planning systems based on general purpose theorem provers. Some planners implemented in this way can have a close correspondence with existing partial-ordered planning algorithms. To improve the efficiency of logic-based planners we would like to use some of the results achieved by the AI planning community over the past twenty years in terms of algorithm design. We claim that a knowledge level analysis of problem-solving methods for planning, can help to identify what is the role of each piece of knowledge in a system and provide a common language to map, classify and compare different systems. In this paper we analyze an abductive event calculus planner using a library of problem-solving methods for planning.