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

Erik T. Mueller, Geoffrey Sutcliffe

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

3 Citations (Scopus)
Original languageEnglish (US)
Title of host publicationProceedings of the Eighteenth International Florida Artificial Intelligence Research Society Conference, FLAIRS 2005 - Recent Advances in Artifical Intelligence
EditorsI. Russell, Z. Markov
Pages840-841
Number of pages2
StatePublished - 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

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

Fingerprint

Theorem proving

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.), Proceedings of the Eighteenth International Florida Artificial Intelligence Research Society Conference, FLAIRS 2005 - Recent Advances in Artifical Intelligence (pp. 840-841)

Reasoning in the event calculus using first-order automated theorem proving. / Mueller, Erik T.; Sutcliffe, Geoffrey.

Proceedings of the Eighteenth International Florida Artificial Intelligence Research Society Conference, FLAIRS 2005 - Recent Advances in Artifical Intelligence. ed. / I. Russell; Z. Markov. 2005. p. 840-841.

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

Mueller, ET & Sutcliffe, G 2005, Reasoning in the event calculus using first-order automated theorem proving. in I Russell & Z Markov (eds), Proceedings of the Eighteenth International Florida Artificial Intelligence Research Society Conference, FLAIRS 2005 - Recent Advances in Artifical Intelligence. pp. 840-841, Recent Advances in Artifical Intelligence - Eighteenth International Florida Artificial Intelligence Research Society Conference, FLAIRS 2005, Clearwater Beach, FL, United States, 5/15/05.
Mueller ET, Sutcliffe G. Reasoning in the event calculus using first-order automated theorem proving. In Russell I, Markov Z, editors, Proceedings of the Eighteenth International Florida Artificial Intelligence Research Society Conference, FLAIRS 2005 - Recent Advances in Artifical Intelligence. 2005. p. 840-841
Mueller, Erik T. ; Sutcliffe, Geoffrey. / Reasoning in the event calculus using first-order automated theorem proving. Proceedings of the Eighteenth International Florida Artificial Intelligence Research Society Conference, FLAIRS 2005 - Recent Advances in Artifical Intelligence. editor / I. Russell ; Z. Markov. 2005. pp. 840-841
@inproceedings{e3437592a4b944fbb8b7d69d9cfad8f0,
title = "Reasoning in the event calculus using first-order automated theorem proving",
author = "Mueller, {Erik T.} and Geoffrey Sutcliffe",
year = "2005",
language = "English (US)",
isbn = "1577352343",
pages = "840--841",
editor = "I. Russell and Z. Markov",
booktitle = "Proceedings of the Eighteenth International Florida Artificial Intelligence Research Society Conference, FLAIRS 2005 - Recent Advances in Artifical Intelligence",

}

TY - GEN

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

AU - Mueller, Erik T.

AU - Sutcliffe, Geoffrey

PY - 2005

Y1 - 2005

UR - http://www.scopus.com/inward/record.url?scp=32844473986&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=32844473986&partnerID=8YFLogxK

M3 - Conference contribution

SN - 1577352343

SP - 840

EP - 841

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

A2 - Russell, I.

A2 - Markov, Z.

ER -