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

Erik T. Mueller; Geoff Sutcliffe

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

Computer Science

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Original language	English (US)
Title of host publication	Recent Advances in Artifical Intelligence - Proceedings of the Eighteenth International Florida Artificial Intelligence Research Society Conference, FLAIRS 2005
Editors	I. Russell, Z. Markov
Pages	840-841
Number of pages	2
State	Published - Dec 1 2005
Event	Recent Advances in Artifical Intelligence - Eighteenth International Florida Artificial Intelligence Research Society Conference, FLAIRS 2005 - Clearwater Beach, FL, United States Duration: May 15 2005 → May 17 2005

Publication series

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

Other

Other	Recent Advances in Artifical Intelligence - Eighteenth International Florida Artificial Intelligence Research Society Conference, FLAIRS 2005
Country	United States
City	Clearwater Beach, FL
Period	5/15/05 → 5/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).

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

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

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

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

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

@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",

}

TY - GEN

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

AU - Mueller, Erik T.

AU - Sutcliffe, Geoff

PY - 2005/12/1

Y1 - 2005/12/1

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

AN - SCOPUS:32844473986

SN - 1577352343

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

SP - 840

EP - 841

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

A2 - Russell, I.

A2 - Markov, Z.

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

Y2 - 15 May 2005 through 17 May 2005

ER -