Discrete Event Calculus Deduction using
First-Order Automated Theorem Proving

Introduction

• Event Calculus
• Reasoning in Event Calculus

Encoding DEC Problems

• Reification
• Unique Fluents and Events
• Circumscription
• Arithmetic

Evaluation

• Testing Environment
• Supermarket Trolley
• Kitchen Sink
• Comparison with SAT