To endow computers with common sense is one of the major long-term goals of artificial
intelligence research. One approach to this problem is to formalize commonsense reasoning …

In 1969, John McCarthy and Pat Hayes uncovered a problem that has haunted the field of
artificial intelligence ever since--the frame problem. The problem arises when logic is used …

This collection represents the primary reference work for researchers and students in the
area of Temporal Reasoning in Artificial Intelligence. Temporal reasoning has a vital role to …

Abstract The Event Calculus is a narrative based formalism for reasoning about actions and
change originally proposed in logic programming form by Kowalski and Sergot. In this paper …

We propose a modificationL 1 of the action description languageA. The languageL 1 allows
representation of hypothetical situations and hypothetical occurrence of actions (as inA) as …

Time is one of the most relevant topics in AI. It plays a major role in several areas, ranging
from logical foundations to applications of knowledge‐based systems. In this paper, we …

We describe a simple declarative languageEfor describing the effects of a series of action
occurrences within a narrative. Eis analogous to Gelfond and Lifschitz's LanguageAand its …

We present the basic principles and possible applications of systems capable of meta-
reasoning and reflection. After a discussion of the seminal approaches, we outline our own …

Circumscription and logic programs under the stable model semantics are two well-known
nonmonotonic formalisms. The former has served as a basis of classical logic based action …

The event calculus was proposed as a formalism for reasoning about time and events.
Through the years, however, a much simpler variant (SEC) of the original calculus (EC) has …