In artificial intelligence, there has been a great deal of work done on how to introduce
nonmonotonic reasoning capabilities in logic-based knowledge representation systems …

Incorporating new information into a knowledge base is an important problem which has
been widely investigated. In this paper, we study this problem in a formal framework for …

We extend the Description Logic ALC with preferential role restrictions as class constructs,
and argue that preferential universal restriction represents a defeasible version of standard …

Cerebral aneurysms and arteriovenous malformations (AVMs) are well‐known sources of
intracranial hemorrhage, but can also manifest as other clinical symptoms or remain …

Traditionally, consistency is the only criterion for the quality of a theory in logic-based
approaches to reasoning about actions. This work goes beyond that and contributes to the …

The aim of this book is to present a formal theory of action and to show the relations of this
theory with logic and other disciplines. The book concerns the semantic, mathematical, and …

We focus on the aspect of sensing in reasoning about actions under qualitative and
probabilistic uncertainty. We first define the action language E for reasoning about actions …

As historically acknowledged in the Reasoning about Actions and Change community,
intuitiveness of a logical domain description cannot be fully automated. Moreover, like any …

In this work we address the problem of elaborating domain descriptions (alias action
theories), in particular those that are expressed in dynamic logic. We define a general …

We focus on the aspect of sensing in reasoning about actions under qualitative and
probabilistic uncertainty. We extend an A-related action language by actions with …