GOLOG: A logic programming language for dynamic domains
- 30 June 1997
- journal article
- Published by Elsevier BV in The Journal of Logic Programming
- Vol. 31 (1-3), 59-83
- https://doi.org/10.1016/s0743-1066(96)00121-5
Abstract
No abstract availableKeywords
This publication has 18 references indexed in Scilit:
- Sensing Actions, Time, and Concurrency in the Situation CalculusLecture Notes in Computer Science, 2001
- Intelligent agents: theory and practiceThe Knowledge Engineering Review, 1995
- An overview of transaction logicTheoretical Computer Science, 1994
- State Constraints RevisitedJournal of Logic and Computation, 1994
- Proving properties of states in the situation calculusArtificial Intelligence, 1993
- Agent-oriented programmingArtificial Intelligence, 1993
- The Frame Problem in the Situation Calculus: A Simple Solution (Sometimes) and a Completeness Result for Goal RegressionPublished by Elsevier BV ,1991
- Denotational semantics: By D.A. Schmidt. Prentice-Hall, London, 1986, Price £15.95, ISBN 0 205 10450 9Science of Computer Programming, 1988
- How to clear a block: A theory of plansJournal of Automated Reasoning, 1987
- Strips: A new approach to the application of theorem proving to problem solvingArtificial Intelligence, 1972