Modeling Planning Domains Systematically (1996) [10 citations — 1 self]
Download:
|
|
by Susanne Biundo, Werner Stephan
In Proceedings of the 12th European Conference on Artificial Intelligence
http://www.informatik.uni-ulm.de/ki/Biundo/publications/ecai96.ps.gz
Add To MetaCart
Popular Tags
No tags have been applied to this document.
BibTeX | Add To MetaCart
@INPROCEEDINGS{Biundo96modelingplanning,author = {Susanne Biundo and Werner Stephan},
title = {Modeling Planning Domains Systematically},
booktitle = {In Proceedings of the 12th European Conference on Artificial Intelligence},
year = {1996},
pages = {599--603},
publisher = {Wiley & Sons}
}
Years of Citing Articles
Abstract:
Abstract. We present a systematic approach to the modular and incremental construction of provably consistent domain models for planning. It is based on a temporal logic framework that in particular allows for the introduction of abstract datatypes which can usefully be applied to mirror the computational aspects of planning problems and their solutions. A formal concept is developed that enables the construction as well as the modification of already existing domain models in a sound manner. This includes well-defined operations for the union, extension, and refinement of domain models.
Citations
| 1371 | The Temporal Logic of Reactive and Concurrent Systems – Manna, Pnueli - 1992 |
| 241 | ADL: Exploring the middle ground between STRIPS and the situation calculus – Pednault - 1989 |
| 26 | A New Logical Framework for Deductive Planning – Stephan, Biundo - 1993 |
| 22 | DDL.1: A formal description of a constraint representation language for physical domains – Cesta, Oddi - 1996 |
| 10 | How to clear a block: Plan formation in situational logic – Manna, Waldinger - 1987 |
| 10 | Deduction-Based Refinement Planning – Stephan, Biundo - 1996 |
| 8 | A stuttering closed temporal logic for modular reasoning about concurrent programs – Mokkedem, M'ery - 1994 |
| 5 | Algebraic specification. In: Handbook of Theoretical – Wirsing - 1990 |
