Erik T. Mueller, Geoff Sutcliffe. Reasoning in the Event Calculus Using First-Order Automated Theorem Proving. In Ingrid Russell, Zdravko Markov, editors, Proceedings of the Eighteenth International Florida Artificial Intelligence Research Society Conference, Clearwater Beach, Florida, USA. pages 840-841, AAAI Press, 2005.
Abstract is missing.