Representing actions: Laws, observations and hypotheses
- 30 June 1997
- journal article
- Published by Elsevier in The Journal of Logic Programming
- Vol. 31 (1-3) , 201-243
- https://doi.org/10.1016/s0743-1066(96)00141-0
Abstract
No abstract availableKeywords
This publication has 14 references indexed in Scilit:
- Efficient top-down computation of queries under the well-founded semanticsThe Journal of Logic Programming, 1995
- A logic programming system for nonmonotonic reasoningJournal of Automated Reasoning, 1995
- Narratives in the Situation CalculusJournal of Logic and Computation, 1994
- Two counterexamples related to Baker's approach to the frame problemArtificial Intelligence, 1994
- Logic programming and negation: A surveyThe Journal of Logic Programming, 1994
- On the occur-check-free PROLOG programsACM Transactions on Programming Languages and Systems, 1994
- A new definition of SLDNF-resolutionThe Journal of Logic Programming, 1994
- Classical negation in logic programs and disjunctive databasesNew Generation Computing, 1991
- A logic-based calculus of eventsNew Generation Computing, 1986
- An Efficient Unification AlgorithmACM Transactions on Programming Languages and Systems, 1982