Possibilistic logic is a weighted logic introduced and developed since the mid-1980s, in the
setting of artificial intelligence, with a view to develop a simple and rigorous approach to …

This paper presents and discusses several methods for reasoning from inconsistent
knowledge bases. A so-called argued consequence relation, taking into account the …

Qualitative choice logic (QCL) is a propositional logic for representing alternative, ranked
options for problem solutions. The logic adds to classical propositional logic a new …

In the last decade defeasible argumentation frameworks have evolved to become a sound
setting to formalize commonsense, qualitative reasoning. The logic programming paradigm …

This paper contains a unified characterization of adaptive logics. The general structure is
presented in the simplest possible guise, both for flat and prioritized adaptive logics. The …

Possibilistic logic bases and possibilistic graphs are two different frameworks of interest for
representing knowledge. The former ranks the pieces of knowledge (expressed by logical …

The representation of human-originated information and the formalization of commonsense
reasoning has motivated different schools of research in Artificial or Computational …

In this paper, we propose a reconstruction of logic-based approaches to abductive
reasoning in terms of ampliative adaptive logics. A main advantage of this reconstruction is …

The ability to handle exceptions, to perform iterated belief revision and to integrate
information from multiple sources is essential for a commonsense reasoning agent. These …

Managing inconsistency in DL-Lite knowledge bases where the assertional base is
prioritized is a crucial problem in many applications. This is especially true when the …