Abstract Syntax splitting is a property of inductive inference operators that ensures we can
restrict our attention to parts of the conditional belief base that share atoms with a given …

The usage of formal logic to solve problems in artificial intelligence has a long history in the
field. Information is represented in a formal language, which facilitates algorithmic reasoning …

The paper describes a preferential approach for dealing with exceptions in KLM preferential
logics, based on the rational closure. It is well known that rational closure does not allow an …

Lexicographic inference is a well-known and popular approach to reasoning with non-
monotonic conditionals. It is a logic of very high-quality, as it extends rational closure and …

Inductive inference operators have been introduced to formalize the process of completing a
conditional belief base to a full inference relation. In this paper, we investigate the …

In this article, we investigate approximations of the inductive inference operator system W
that has been shown to exhibit desirable inference properties and to extend both system Z …

The recently introduced notion of an inductive inference operator captures the process of
completing a given conditional belief base to an inference relation. System W is such an …

We extend the expressivity of classical conditional reasoning by introducing context as a
new parameter. The enriched conditional logic generalises the defeasible setting in the style …

It has been shown that c-inference is an inductive inference operator, mapping belief bases
to inference relations, that exhibits many desirable properties put forward for nonmonotonic …

Inductive inference operators capture the process of completing a conditional belief base to
an inference relation. One such operator is c-inference which is based on the c …