@inproceedings{e3437592a4b944fbb8b7d69d9cfad8f0,
title = "Reasoning in the event calculus using first-order automated theorem proving",
author = "Mueller, {Erik T.} and Geoff Sutcliffe",
year = "2005",
month = dec,
day = "1",
language = "English (US)",
isbn = "1577352343",
series = "Proceedings of the Eighteenth International Florida Artificial Intelligence Research Society Conference, FLAIRS 2005 - Recent Advances in Artifical Intelligence",
pages = "840--841",
editor = "I. Russell and Z. Markov",
booktitle = "Recent Advances in Artifical Intelligence - Proceedings of the Eighteenth International Florida Artificial Intelligence Research Society Conference, FLAIRS 2005",
note = "Recent Advances in Artifical Intelligence - Eighteenth International Florida Artificial Intelligence Research Society Conference, FLAIRS 2005 ; Conference date: 15-05-2005 Through 17-05-2005",
}