Login / Signup
Representing and monitoring social commitments using the event calculus.
Federico Chesani
Paola Mello
Marco Montali
Paolo Torroni
Published in:
Auton. Agents Multi Agent Syst. (2013)
Keyphrases
</>
event calculus
situation calculus
reasoning about actions and change
temporal reasoning
reasoning tasks
commonsense reasoning
partially ordered
deductive databases
domain specific knowledge
transitive closure
directed acyclic graph
temporal databases
general theory
databases
first order logic