Fast planning through planning graph analysis
Artificial Intelligence
A formal foundation for process modeling
Proceedings of the international conference on Formal Ontology in Information Systems - Volume 2001
Planning as constraint satisfaction: solving the planning graph by compiling it into CSP
Artificial Intelligence
Simulation, verification and automated composition of web services
Proceedings of the 11th international conference on World Wide Web
Building Large Knowledge-Based Systems; Representation and Inference in the Cyc Project
Building Large Knowledge-Based Systems; Representation and Inference in the Cyc Project
Supporting plan authoring and analysis
Proceedings of the 8th international conference on Intelligent user interfaces
Sweetening Ontologies with DOLCE
EKAW '02 Proceedings of the 13th International Conference on Knowledge Engineering and Knowledge Management. Ontologies and the Semantic Web
DAML-S: Web Service Description for the Semantic Web
ISWC '02 Proceedings of the First International Semantic Web Conference on The Semantic Web
Understanding and Extending Graphplan
ECP '97 Proceedings of the 4th European Conference on Planning: Recent Advances in AI Planning
EKAW '02 Proceedings of the 13th International Conference on Knowledge Engineering and Knowledge Management. Ontologies and the Semantic Web
Roots of SPAR — Shared Planning and Activity Representation
The Knowledge Engineering Review
Planning graph as a (dynamic) CSP: exploiting EBL, DDB and other CSP search techniques in Graphplan
Journal of Artificial Intelligence Research
Automatic SAT-compilation of planning problems
IJCAI'97 Proceedings of the Fifteenth international joint conference on Artifical intelligence - Volume 2
Knowledge formation and dialogue using the KRAKEN toolset
IAAI'02 Proceedings of the 14th conference on Innovative applications of artificial intelligence - Volume 1
| Hi-index | 0.00 |
This paper formalises the constraints governing the relationship between actions and their preconditions and effects in processes and plans. By providing axiomatisations and a model theory, we establish a sound basis for both deductive and constraint satisfaction-based reasoning. The constraints we present are expressed in a common ontology of classes and relations that is the basis of process and plan representations.