Verifying ConGolog Programs on Bounded Situation Calculus Theories.
Giuseppe De GiacomoYves LespéranceFabio PatriziSebastian SardiñaPublished in: AAAI (2016)
Keyphrases
- situation calculus
- action theories
- provably correct
- agent programming
- logical theories
- initial state
- event calculus
- reasoning tasks
- reasoning about actions
- fluent calculus
- modal logic
- logic programming language
- blocks world
- concurrent actions
- modal operators
- dynamic logic
- logical language
- high level
- action language
- sensing actions
- robot control
- universally quantified