Login / Signup
Automating commonsense reasoning using the event calculus.
Erik T. Mueller
Published in:
Commun. ACM (2009)
Keyphrases
</>
commonsense reasoning
event calculus
partially ordered
situation calculus
temporal reasoning
deductive databases
reasoning tasks
domain specific knowledge
transitive closure
partial order
directed acyclic graph
database
answer set programming
incomplete information