| Original language | English (US) |
|---|---|
| Title of host publication | Proceedings of the Eighteenth International Florida Artificial Intelligence Research Society Conference, FLAIRS 2005 - Recent Advances in Artifical Intelligence |
| Editors | I. Russell, Z. Markov |
| Pages | 840-841 |
| Number of pages | 2 |
| State | Published - 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 |
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 |
Fingerprint
ASJC Scopus subject areas
- Engineering(all)
Cite this
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 proceeding › Conference contribution
}
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
AN - SCOPUS:32844473986
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 -