Erik T. Mueller. A Tool for Satisfiability-Based Commonsense Reasoning in the Event Calculus. In Valerie Barr, Zdravko Markov, editors, Proceedings of the Seventeenth International Florida Artificial Intelligence Research Society Conference, Miami Beach, Florida, USA. pages 147-153, AAAI Press, 2004.
Abstract is missing.