The event calculus is a logical language for representing and reasoning about events and their effects first presented by Robert Kowalski and Marekâ€¦Â (More)

Semantic Scholar uses AI to extract papers important to this topic.

2004

2004

- Erik T. Mueller
- J. Log. Comput.
- 2004

We present an implemented method for encoding reasoning problems of a discrete version of the classical logic event calculus inâ€¦Â (More)

Is this relevant?

Highly Cited

2003

Highly Cited

2003

- Arosha K. Bandara, Emil C. Lupu, Alessandra Russo
- POLICY
- 2003

As the interest in using policy-based approaches for systems management grows, it is becoming increasingly important to developâ€¦Â (More)

Is this relevant?

Highly Cited

2002

Highly Cited

2002

- Pinar Yolum, Munindar P. Singh
- AAMAS
- 2002

Protocols represent the allowed interactions among communicating agents. Protocols are essential in applications such asâ€¦Â (More)

Is this relevant?

Highly Cited

2002

Highly Cited

2002

- Rob Miller, Murray Shanahan
- Computational Logic: Logic Programming and Beyond
- 2002

The Event Calculus is a narrative based formalism for reasoning about actions and change originally proposed in logic programmingâ€¦Â (More)

Is this relevant?

Highly Cited

1999

Highly Cited

1999

- Murray Shanahan
- Artificial Intelligence Today
- 1999

This article presents the event calculus, a logic-based formalism for representing actions and their effects. A circumscriptiveâ€¦Â (More)

Is this relevant?

1997

1997

- Murray Shanahan
- ECP
- 1997

In 1969 Cordell Green presented his seminal description of planning as theorem proving with the situation calculus. The mostâ€¦Â (More)

Is this relevant?

1995

1995

- Fariba Sadri, Robert A. Kowalski
- ICLP
- 1995

The event calculus was proposed as a formalism for reasoning about time and events. Through the years, however, a much simplerâ€¦Â (More)

Is this relevant?

1995

1995

In this paper we study the diierences between two logic theories for temporal reasoning, the Situation Calculus and the Eventâ€¦Â (More)

Is this relevant?

Highly Cited

1992

Highly Cited

1992

- Robert A. Kowalski
- J. Log. Program.
- 1992

D This paper investigates a special case of the event calculus, concerned with database updates. It discusses the way relationalâ€¦Â (More)

Is this relevant?

Highly Cited

1990

Highly Cited

1990

- Murray Shanahan
- ECAI
- 1990

The Event Calculus of Kowalski and Sergot only deals with discrete change. This paper introduces a simplified version of theâ€¦Â (More)

Is this relevant?