MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Variants of the Event Calculus." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

21 documents found, showing 1 through 10. Next 10 →

ATOM

Variants of the Event Calculus
by Iclp Fariba Sadri, Fariba Sadri, Robert Kowalski — 1995
…Variants of the Event Calculus ICLP 95 Fariba Sadri and Robert Kowalski Department of Computing…
Cited by 29 (2 self) – Add To MetaCart

Some alternative formulations of the event calculus
by Rob Miller, Murray Shanahan — 2002 — Computer Science; Computational Logic; Logic programming and Beyond
…Some Alternative Formulations of the Event Calculus Rob Miller 1 and Murray Shanahan 2 1…
Cited by 19 (0 self) – Add To MetaCart

A Logic Programming Framework for Modelling Temporal Objects
by F. Nihan Kesim, Marek Sergot — 1995 — IEEE Transactions on Knowledge and Data Engineering
… develops a variant of the event calculus for representing changes to objects, including change in internal…
Cited by 6 (0 self) – Add To MetaCart

Flexible Protocol Specification and Execution: Applying Event Calculus Planning using Commitments
by Pinar Yolum, Munindar R Singh — 2002
…’ commitments to one another. We formalize commitments in a variant of the event calculus. We provide operations…
Cited by 72 (8 self) – Add To MetaCart

The Abductive Event Calculus as a General Framework for Temporal Databases
by Kristof Van Belleghem, Marc Denecker, Danny De Schreye — 1994
… order logic. We have shown how the combination of this formalism with a variant of the Event Calculus…
Cited by 11 (7 self) – Add To MetaCart

Designing and Executing Protocols Using The Event Calculus
by Pinar Yolum, Munindar P. Singh — 2001 — The Proceedings of the Fifth International Conference on Autonomous Agents
…Designing and Executing Protocols Using The Event Calculus Pnar Yolum and Munindar P. Singh…
Cited by 2 (1 self) – Add To MetaCart

Modal Event Calculus in Lolli
by Iliano Cervesato, Luca Chittaro, Angelo Montanari, Torino Italy — 1994
… decreases with respect to updates. We nickname these two variants of EC skeptical Event Calculus (SKEC…
Cited by 1 (0 self) – Add To MetaCart

Planning partially for situated agents
by Paolo Mancarella, Fariba Sadri, Giacomo Terreni, Francesca Toni — 2004 — In Proceedings of 5th CLIMA Workshop
…, or that they will never hold. We adopt a novel variant of the event calculus [10], based upon abduction, to represent…
Cited by 7 (2 self) – Add To MetaCart

Ramifications: An Extension and Correspondence Result for the Event Calculus
by unknown authors
…. The formalism is elaboration tolerant and may be integrated with the standard variants of the Event Calculus…
Add To MetaCart

Situation Calculus Specifications for Event Calculus Logic Programs
by Rob Miller Department, Rob Miller — 1995 — in Proceedings of the Third International Conference on Logic Programming and Non-monotonic Reasoning
…Situation Calculus Specifications for Event Calculus Logic Programs Rob Miller Department…
Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB