Login / Signup
A Deterministic Event Calculus for Effective Runtime Verification.
Davide Ancona
Luca Franceschini
Angelo Ferrando
Viviana Mascardi
Published in:
ICTCS (2019)
Keyphrases
</>
event calculus
reasoning about actions and change
temporal reasoning
commonsense reasoning
reasoning tasks
domain specific knowledge
partially ordered
databases
artificial intelligence
expert systems
query processing
general purpose
situation calculus