@inproceedings{8a677e3af8344fc8aa33d2c158a7581c,
title = "The Nature of Knowledge in an Abductive Event Calculus Planner",
abstract = "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 partialordered 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 problemsolving methods for planning.",
author = "{De Barros}, {Leliane Nunes} and Santos, {Paulo E.}",
year = "2000",
month = jan,
day = "1",
doi = "10.1007/3-540-39967-4_25",
language = "English",
isbn = "978-3-540-41119-2",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer-Verlag",
pages = "328--343",
editor = "Rose Dieng and Olivier Corby",
booktitle = "Knowledge Engineering and Knowledge Management Methods, Models, and Tools",
note = "12th International Conference on Knowledge Engineering and Knowledge Management, EKAW 2000 ; Conference date: 02-10-2000 Through 06-10-2000",
}