Abstract Syntax splitting, first introduced by Parikh in 1999, is a natural and desirable
property of KR systems. Syntax splitting combines two aspects: it requires that the outcome …

There are multiple ways of defining nonmonotonic inference relations based on a
conditional knowledge base. While the axiomatic system P is an important standard for such …

For nonmonotonic reasoning in the context of a knowledge base R containing conditionals
of the form If A then usually B, system P provides generally accepted axioms. Inference …

Logical proportions are a type of propositional connector that involves four variables,
expressed as a formula that encodes the conjunction of two equivalences. These …

As a semantics for conditional knowledge bases, ranking functions order possible worlds by
map** them to a degree of plausibility. c-Representations are special ranking functions …

This paper presents an investigation on the structure of conditional events and on the
probability measures which arise naturally in that context. In particular we introduce a …

In this paper we develop a concept aware multi-preferential semantics for dealing with
typicality in description logics, where preferences are associated with concepts, starting from …

InfOCF-Web provides implementations of system P and system Z inference, and of inference
relations based on c-representation with respect to various inference modes and different …

In this paper, we investigate inductive inference with system W from conditional belief bases
with respect to syntax splitting. The concept of syntax splitting for inductive inference states …

A qualitative conditional “If A then usually B” establishes a plausible connection between the
antecedent A and the consequent B. As a semantics for conditional knowledge bases …