Representing action and change by logic programs
- 30 November 1993
- journal article
- Published by Elsevier in The Journal of Logic Programming
- Vol. 17 (2-4) , 301-321
- https://doi.org/10.1016/0743-1066(93)90035-f
Abstract
No abstract availableKeywords
This publication has 17 references indexed in Scilit:
- A goal-oriented approach to computing the well-founded semanticsThe Journal of Logic Programming, 1993
- On the relations between stable and well-founded semantics of logic programsTheoretical Computer Science, 1992
- Nonmonotonic reasoning in the framework of situation calculusArtificial Intelligence, 1991
- Signed data dependencies in logic programsThe Journal of Logic Programming, 1989
- Miracles in formal theories of actionArtificial Intelligence, 1989
- The anomalous extension problem in default reasoningArtificial Intelligence, 1988
- Nonmonotonic logic and temporal projectionArtificial Intelligence, 1987
- Applications of circumscription to formalizing common-sense knowledgeArtificial Intelligence, 1986
- A logic for default reasoningArtificial Intelligence, 1980
- A lattice-theoretical fixpoint theorem and its applicationsPacific Journal of Mathematics, 1955