GOLOG: A logic programming language for dynamic domains
- 1 April 1997
- journal article
- Published by Elsevier 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 CalculusPublished by Springer Nature ,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 ,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, 1971