Reasoning in the Event Calculus Using First-Order Automated Theorem Proving.

Erik T. Mueller, Geoff Sutcliffe

Browse the full FlAIRS paper archive.