ConGolog, a concurrent programming language based on the situation calculus.
Giuseppe De GiacomoYves LespéranceHector J. LevesquePublished in: Artif. Intell. (2000)
Keyphrases
- programming language
- situation calculus
- concurrent actions
- fluent calculus
- concurrent programming
- action theories
- event calculus
- general purpose
- object oriented
- initial state
- software engineering
- strongly typed
- high level
- logical language
- reasoning about actions
- programming environment
- logic programming
- logic programming language
- object oriented programming
- denotational semantics
- modal logic
- provably correct
- computer programs
- artificial intelligence
- planning problems
- indirect effects
- description language
- programming tool
- functional language
- data management
- domain specific