This paper concerns the probabilistic evaluation of the effects of actions in the presence of
unmeasured variables. We show that the identification of causal effect between a singleton …

The introduction of defeasible reasoning in Description Logics has been a main research
topic in the field in the last years. Despite the fact that various interesting formalizations of …

We enrich description logics with non-monotonic reasoning features. We start by
investigating a notion of defeasible subsumption relation in the spirit of KLM-style defeasible …

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 …

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 …

Nonmonotonic logics are usually characterized by the presence of some notion
of'conditional'that fails monotonicity. Research on nonmonotonic logics is therefore largely …

Nested sequent calculi are a useful generalization of ordinary sequent calculi, where
sequents are allowed to occur within sequents. Nested sequent calculi have been profitably …

In this chapter, we first provide a general introduction to the research area methodology and
relevance, then we discuss normative reasoning for multiagent systems, and finally we …

This piece proposes a style of thinking using modal frame correspondence that puts
Segerberg's dynamic doxastic logic and 'Dutch'dynamic-epistemic logic for belief change in …

Entitlement is conceived as a kind of positive epistemic status, attaching to certain
propositions, that involves no cognitive or intellectual accomplishment on the part of the …