Online Agent Supervision in the Situation Calculus.
Bita BanihashemiGiuseppe De GiacomoYves LespérancePublished in: IJCAI (2016)
Keyphrases
- situation calculus
- agent programming
- sensing actions
- event calculus
- action theories
- reasoning about actions
- reasoning tasks
- logical language
- initial state
- multi agent systems
- modal logic
- intelligent agents
- multi agent
- concurrent actions
- mobile agents
- blocks world
- provably correct
- fluent calculus
- agent technology
- multiagent systems
- dynamic environments
- autonomous agents
- action language
- object oriented
- universally quantified