ConGolog, a concurrent programming language based on the situation calculus
Authors:
- Giuseppe De GiacomoGGGiuseppe De Giacomo
- Yves LespéranceYLYves Lespérance
- Hector J. LevesqueHLHector J. Levesque
- 1 August 2000
- journal article
- Published by Elsevier in Artificial Intelligence
- Vol. 121 (1-2) , 109-169
Abstract
No abstract availableKeywords
This publication has 21 references indexed in Scilit:
- Reasoning about nondeterministic and concurrent actions: A process algebra approachArtificial Intelligence, 1999
- Formal semantics for an abstract agent programming language1998
- Specifying communicative multi-agent systems1998
- 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
- Plans and resource‐bounded practical reasoningComputational Intelligence, 1988
- A lattice-theoretical fixpoint theorem and its applicationsPacific Journal of Mathematics, 1955