ConGolog, a concurrent programming language based on the situation calculus

DOI10.1016/S0004-3702(00)00031-XzbMath0948.68175OpenAlexW2062205093MaRDI QIDQ1583234

Yves Lespérance, Giuseppe De Giacomo, Hector J. Levesque

Publication date: 26 October 2000

Published in: Artificial Intelligence (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/s0004-3702(00)00031-x

zbMATH Keywords

concurrencycognitive roboticsreasoning about actionssituation calculussemantics of programs

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Artificial intelligence for robotics (68T40)

Related Items (18)

Semantics of plan revision in intelligent agents ⋮ Bounded situation calculus action theories ⋮ A verification framework for agent programming with declarative goals ⋮ Autonomous agents coordination: Action languages meet CLP() and Linda ⋮ Reasoning about interaction protocols for customizing web service selection and composition ⋮ The situation calculus: a case for modal logic ⋮ Non-terminating processes in the situation calculus ⋮ Agent planning programs ⋮ Specifying and computing preferred plans ⋮ Unnamed Item ⋮ John McCarthy's legacy ⋮ EVOLP: Tranformation-Based Semantics ⋮ ConGolog ⋮ Making Golog Norm Compliant ⋮ Situation calculus for controller synthesis in manufacturing systems with first-order state representation ⋮ Reasoning about nondeterministic and concurrent actions: A process algebra approach ⋮ Planning under uncertainty as G<scp>OLOG</scp>programs ⋮ Process algebra and constraint programming for modeling interactions in MAS

Uses Software

• GOLOG
• AgentSpeak
• METATEM

Cites Work

• Reasoning about nondeterministic and concurrent actions: A process algebra approach
• Proving properties of states in the situation calculus
• Computing with continuous change
• How to progress a database
• A lattice-theoretical fixpoint theorem and its applications
• Representing action and change by logic programs
• State Constraints Revisited
• GOLOG: A logic programming language for dynamic domains
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: ConGolog, a concurrent programming language based on the situation calculus