Handbook of Knowledge Representation describes the essential foundations of Knowledge
Representation, which lies at the core of Artificial Intelligence (AI). The book provides an up …

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 …

This paper presents FAMA, a novel approach for learning Strips action models from
observations of plan executions that compiles the learning task into a classical planning …

Techniques for reasoning about actions an change in the physical world is one of the
classical research topics in artificial intelligence. It is motivated by the needs of autonomous …

For many commonsense reasoning tasks associated with action domains, only a relatively
simple kind of causal knowledge (previously studied by Ge ner and Lin) is required. We de …

Abstract Reasoning about change is an important aspect of commonsense reasoning and
planning. In this paper we describe an approach to reasoning about change for rich …

This paper considers the problem of specifying the e ects of actions in the situation calculus
using domain constraints. We argue that normal state constraints that refer to only the truth …

We pursue the perspective of Reiter that in situation calculus one can formalize primitive,
determinate actions with axioms which, among others, include two disjoint sets: a set of …

This paper is concerned with the problem of determining the indirect e ects or rami cations of
actions. We argue that the standard framework in which background knowledge is given in …

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 …