ConGolog, a concurrent programming language based on the situation calculus
Top Cited Papers
- 1 August 2000
- journal article
- Published by Elsevier in Artificial Intelligence
- Vol. 121 (1-2), 109-169
- https://doi.org/10.1016/s0004-3702(00)00031-x
Abstract
No abstract availableKeywords
This publication has 23 references indexed in Scilit:
- A survey of concurrent MetateM — The language and its applicationsPublished by Springer Nature ,2005
- Reasoning about nondeterministic and concurrent actions: A process algebra approachArtificial Intelligence, 1999
- Formal semantics for an abstract agent programming languageLecture Notes in Computer Science, 1998
- Specifying communicative multi-agent systemsPublished by Springer Nature ,1998
- How to progress a databaseArtificial Intelligence, 1997
- GOLOG: A logic programming language for dynamic domainsThe Journal of Logic Programming, 1997
- State Constraints RevisitedJournal of Logic and Computation, 1994
- Proving properties of states in the situation calculusArtificial Intelligence, 1993
- Representing action and change by logic programsThe Journal of Logic Programming, 1993
- A lattice-theoretical fixpoint theorem and its applicationsPacific Journal of Mathematics, 1955