324 citations found. Retrieving documents...
R. Kowalski, M. Sergot: "A Logic-based Calculus of Events", in New Generation Computing, Vol. 4, Ohmsha Ltd and Springer-Verlag, 1986, pp 67-95.

 Home/Search   Document Not in Database   Summary   Related Articles   Check  

This paper is cited in the following contexts:

First 50 documents  Next 50

Using The Event Calculus For Tracking The Normative State.. - Farrell, Sergot, Al.   Self-citation (Sergot)   (Correct)

No context found.

R.Kowalski and M.Sergot. A Logic-Based Calculus of Events. New Generation Computing, 4:67--95, 1986.


Using the Event Calculus for the Performance.. - Farrell, Sergot.. (2004)   Self-citation (Sergot)   (Correct)

No context found.

R.Kowalski, M.Sergot. "A Logic-Based Calculus of Events". In New Generation Computing, 4:67-95, 1986.


Modal Event Calculus in Lolli - Iliano Cervesato Luca   (Correct)

No context found.

R. Kowalski, M. Sergot: "A Logic-based Calculus of Events", in New Generation Computing, Vol. 4, Ohmsha Ltd and Springer-Verlag, 1986, pp 67-95.


NéoGanesh: a Working System for the.. - Dojat, Pachet..   (Correct)

No context found.

R. A. Kowalski and M. J. Sergot, A logic-based calculus of events, New generation computing, 4 (1986) 67-95.


Legal Knowledge Based Systems - Jurix Model-Based Legal   (Correct)

No context found.

R. Kowalski and M. Sergot. A logic-based calculus of events. New Generation Computing, 4(1):67-95, January 1986.


Reasoning Methods for Personalization on the Semantic Web - Antoniou, Baldoni.. (2004)   (Correct)

No context found.

KOWALSKI, R., AND SERGOT, M. A Logic-based Calculus of Events. New Generation of Computing 4 (1986), 67--95.


The Refined Extension Principle for Semantics of.. - Alferes, Banti..   (Correct)

No context found.

Kowalski, R. A., and M. J. Sergot, `A logic-based calculus of events', New Generation Computing, 4:67--95, 1986.


Semantics for a Useful Fragment of the Situation Calculus - Lakemeyer, Levesque (2005)   (Correct)

No context found.

R. Kowalski and M. Sergot. A logic based calculus of events. New Generation Computing, 4:67--95, 1986.


Modelling the Future with Event Choice DATALOG - Guzzo, Sacca (2002)   (Correct)

No context found.

Kowalski, R., A., and Sergot, M.J., A Logic-Based Calculus of Events, New Generation Computing, Vol 4, pp. 267, 1986.


An Event Detection Algebra for Reactive Systems - Carlson, Lisper (2004)   (Correct)

No context found.

R. A. Kowalski and M. J. Sergot. A logic-based calculus of events. New Generation Computing, 4:67--95, 1986.


Propositional Planning in BDI Agents - Felipe Rech Meneguzzi (2004)   (Correct)

No context found.

R. A. Kowalski and M. J. Sergot. A logic-based calculus of events. New Generation Computing, 4(1):67--95, 1986.


Propositional Planning in BDI Agents - Meneguzzi (2004)   (Correct)

No context found.

R. A. Kowalski and M. J. Sergot. A logic-based calculus of events. New Generation Computing, 4(1):67--95, 1986.


An Interval-Based Algebra for Restricted Event Detection - Carlson, Lisper (2003)   (Correct)

No context found.

R. Kowalski and M. Sergot. A logic-based calculus of events. In J. W. Schmidt and C. Thanos, editors, Foundations of Knowledge Base Management: Contributions from Logic, Databases, and Arti cial Intelligence, pages 23-55. Springer, Berlin, Heidelberg, 1989.


Performance Monitoring of Service Level Agreements.. - Farrell, Trastour.. (2004)   (Correct)

No context found.

R. Kowalski and M. Sergot. A Logic-Based Calculus of Events. New Generation Computing, 4:67--95, 1986.


The KGP Model of Agency - Kakas, Mancarella, Sadri, Stathis.. (2004)   (1 citation)  (Correct)

No context found.

R. A. Kowalski and M. Sergot, `A logic-based calculus of events', New Generation Computing, 4(1), 67--95, (1986).


An Improved Algebra for Restricted Event Detection - Carlson, Lisper (2004)   (Correct)

No context found.

R. A. Kowalski and M. J. Sergot. A logic-based calculus of events. New Generation Computing, 4:67-95, 1986.


The KGP Model of Agency for Global Computing.. - Bracciali.. (2004)   (Correct)

No context found.

R. A. Kowalski and M. Sergot. A logic-based calculus of events. New Generation Computing, 4(1):67--95, 1986.


Using Vehicular Communication to Support - Older Drivers At (2004)   (Correct)

No context found.

Kowalski R., Sergot M., " A logic-based calculus of events", New Generation Computing No. 4, pp.6795, Springer-Verlag, 1986.


Temporal Languages for Simulation and Analysis of - The Dynamics Within   (Correct)

No context found.

Kowalski, R. & Sergot, M. (1986). A logic-based calculus of events. New Generation Computing, 4:67-95, 1986.


Reconciling Point-based and Interval-based Semantics in.. - Terenziani, Snodgrass (2001)   (Correct)

No context found.

R. Kowalski, M. Sergot, "A Logic-Based Calculus Of Events," New Generation Computing 4, pp. 67--95, 1986.


TEMPORAL LOGICS OF COMPUTATIONS - Introductory course - Goranko (2000)   (Correct)

No context found.

R. Kowalski and M. Sergot. A logic-based calculus of events. New Generation Computing, 4:67--95, 1986.


The Proper Treatment of Events - Michiel Van Lambalgen (2004)   (1 citation)  (Correct)

No context found.

R. A. Kowalski and M. Sergot. A logic-based calculus of events. New Generation Computing, 4:65--97, 1986.


Semantics for Dynamic Logic Programming: A.. - Alferes, Banti, Brogi.. (2004)   (Correct)

No context found.

R. Kowalski and M. Sergot. A logic-based calculus of events. New Generation Computing, 4(1):67--95, 1986.


Abductive Logic Programming with CIFF.. - Endriss.. (2004)   (Correct)

No context found.

R. A. Kowalski and M. Sergot. A logic-based calculus of events. New Generation Computing, 4(1):67--95, 1986.


Attribute Meta-Properties for Knowledge Sharing - Tamma, Capon   (Correct)

No context found.

R. Kowalski and M. Sergot, `A logic-based calculus of events', New Generation Computing, 4, 67--95, (1986).

First 50 documents  Next 50

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC