Knowledge-Based Programs with Defaults in a Modal Situation Calculus.
Jens ClaßenMalte NeussPublished in: ECAI (2016)
Keyphrases
- situation calculus
- modal operators
- modal logic
- provably correct
- agent programming
- dynamic logic
- default logic
- nonmonotonic logics
- event calculus
- action theories
- initial state
- temporal logic
- reasoning about actions
- default reasoning
- concurrent actions
- fluent calculus
- decision procedures
- default theories
- reasoning tasks
- logic programming language
- answer sets
- sensing actions
- general purpose
- query language
- expressive power
- logic programs