Reasoning in the event calculus using first-order automated theorem proving

Erik T. Mueller, Geoff Sutcliffe

Research output: Chapter in Book/Report/Conference proceedingConference contribution

3 Scopus citations
Original languageEnglish (US)
Title of host publicationRecent Advances in Artifical Intelligence - Proceedings of the Eighteenth International Florida Artificial Intelligence Research Society Conference, FLAIRS 2005
EditorsI. Russell, Z. Markov
Pages840-841
Number of pages2
StatePublished - Dec 1 2005
EventRecent Advances in Artifical Intelligence - Eighteenth International Florida Artificial Intelligence Research Society Conference, FLAIRS 2005 - Clearwater Beach, FL, United States
Duration: May 15 2005May 17 2005

Publication series

NameProceedings of the Eighteenth International Florida Artificial Intelligence Research Society Conference, FLAIRS 2005 - Recent Advances in Artifical Intelligence

Other

OtherRecent Advances in Artifical Intelligence - Eighteenth International Florida Artificial Intelligence Research Society Conference, FLAIRS 2005
CountryUnited States
CityClearwater Beach, FL
Period5/15/055/17/05

ASJC Scopus subject areas

  • Engineering(all)

Cite this

Mueller, E. T., & Sutcliffe, G. (2005). Reasoning in the event calculus using first-order automated theorem proving. In I. Russell, & Z. Markov (Eds.), Recent Advances in Artifical Intelligence - Proceedings of the Eighteenth International Florida Artificial Intelligence Research Society Conference, FLAIRS 2005 (pp. 840-841). (Proceedings of the Eighteenth International Florida Artificial Intelligence Research Society Conference, FLAIRS 2005 - Recent Advances in Artifical Intelligence).