ConGolog, a concurrent programming language based on the situation calculus

By Giuseppe De Giacomo, Yves Lespérance, Hector J. Levesque. Artificial Intelligence, 2000

624 citations recorded by the source corpus.

View Paper: https://www.semanticscholar.org/paper/1fbbc75e7b9e407f7375a1a492cc37d7c45e86c6

How researchers see this paper

The researchers whose trusted networks rank it highest, strongest advocate first. Every researcher gets a different order.

In Artificial Intelligence

Citations in the corpus

Simulation, verification and automated composition of web services (2002, neutral): “March, 2001. http://www.daml.org/2001/03/axiomatic-semantics.html [14] De Giacomo, G., Lesperance, Y. and Levesque, H. ConGolog, a concurrent programming language based on the situation calculus.”
Agent Technology from a Formal Perspective (2006, methodology): “The main alternative approach is that of Golog [24] and ConGolog [17].”
Adapting Golog for Composition of Semantic Web Services (2002, methodology): “, [14, 8, 6, 22]) is a high-level logic programming language, developed at the University of Toronto, for the specification and execution of complex actions in dynamical domains.”
The Situation Calculus: A Case for Modal Logic (2010, positive): “Perhaps the most important use of the situation calculus has been within the framework of the Golog family of languages like [34,19,7].”
Programming Multi-Agent Systems in AgentSpeak using Jason (Wiley Series in Agent Technology) (2007, background): “It is not our aim here to discuss or even list all the existing agent languages and platforms, but some examples are 3APL [35] (and its recent 2APL variation), MetateM [46], ConGolog [37], CLAIM [43], IMPACT [42], Jadex [78], JADE [9], SPARK [72], MINERVA [64], SOCS [1, 97], Go! [26], STEAM [94], ST”
Concurrent Hierarchical Reinforcement Learning (2005, background): “Work on this problem in deterministic domains includes ConGolog ( Giacomo, Lesperance, & Levesque 2000 ) which builds on situation calculus and (Boutilier & Brafman 1997) which uses STRIPS to represent concurrent actions.”
2APL: a practical agent programming language (2008, background): “Existing BDI-based agent-oriented programming languages such as Jason [5], Jack [30], Jadex [20], 3APL [14], KGP [17,6,24], Minerva [18], (Concurrent) MetateM [11,12] and the family of Golog languages [13,25] are designed to implement agents in terms of BDI concepts.”