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