Answer set programming and plan generation
Top Cited Papers
- 30 June 2002
- journal article
- Published by Elsevier in Artificial Intelligence
- Vol. 138 (1-2) , 39-54
- https://doi.org/10.1016/s0004-3702(02)00186-8
Abstract
No abstract availableKeywords
This publication has 16 references indexed in Scilit:
- Extending and implementing the stable model semanticsArtificial Intelligence, 2002
- Answer Set PlanningPublished by Springer Nature ,1999
- Developing a Declarative Rule Language for Applications in Product ConfigurationPublished by Springer Nature ,1998
- An Application of Action Theory to the Space ShuttlePublished by Springer Nature ,1998
- Representing actions in logic programs and default theories a situation calculus approachThe Journal of Logic Programming, 1997
- Representing action and change by logic programsThe Journal of Logic Programming, 1993
- The anomalous extension problem in default reasoningArtificial Intelligence, 1988
- Nonmonotonic logic and temporal projectionArtificial Intelligence, 1987
- A logic for default reasoningArtificial Intelligence, 1980
- Strips: A new approach to the application of theorem proving to problem solvingArtificial Intelligence, 1971