23 citations · 66 across the 11 of their papers we have counts for
12 papers
Interval Orders, Biorders and Credibility-limited Belief Revision
Richard Booth, Ivan Varzinczak
Rational belief revision is commonly viewed as being based on a preference order between possible worlds, with the resulting new belief set being those sentences true in all the mo…
Extending Defeasibility for Propositional Standpoint Logics
Nicholas Leisegang, Thomas Meyer, Ivan Varzinczak
In this paper, we introduce a new defeasible version of propositional standpoint logic by integrating Kraus et al.'s defeasible conditionals, Britz and Varzinczak's notions of defe…
A connection method for a defeasible extension of
Renan Fernandes, Fred Freitas, Ivan Varzinczak +1
This paper proposes a connection method à la Bibel for an exception-tolerant family of description logics (DLs). As for the language, we assume the DL extended wit…
Region-Based Merging of Open-Domain Terminological Knowledge
Zied Bouraoui, Sebastien Konieczny, Thanh Ma +2
This paper introduces a novel method for merging open-domain terminological knowledge. It takes advantage of the Region Connection Calculus (RCC5), a formalism used to represent re…
Situated Conditional Reasoning
Giovanni Casini, Thomas Meyer, Ivan Varzinczak
Conditionals are useful for modelling, but are not always sufficiently expressive for capturing information accurately. In this paper we make the case for a form of conditional tha…
Theoretical Foundations of Defeasible Description Logics
Katarina Britz, Giovanni Casini, Thomas Meyer +3
We extend description logics (DLs) with non-monotonic reasoning features. We start by investigating a notion of defeasible subsumption in the spirit of defeasible conditionals as s…
On Rational Entailment for Propositional Typicality Logic
Richard Booth, Giovanni Casini, Thomas Meyer +1
Propositional Typicality Logic (PTL) is a recently proposed logic, obtained by enriching classical propositional logic with a typicality operator capturing the most typical (alias…
On the Link between Partial Meet, Kernel, and Infra Contraction and its Application to Horn Logic
Richard Booth, Thomas Meyer, Ivan Varzinczak +1
Standard belief change assumes an underlying logic containing full classical propositional logic. However, there are good reasons for considering belief change in less expressive l…
On Action Theory Change
Ivan José Varzinczak
As historically acknowledged in the Reasoning about Actions and Change community, intuitiveness of a logical domain description cannot be fully automated. Moreover, like any other…
Defeasible Modalities
Katarina Britz, Ivan Varzinczak
Nonmonotonic logics are usually characterized by the presence of some notion of 'conditional' that fails monotonicity. Research on nonmonotonic logics is therefore largely concerne…
Action Theory Evolution
Ivan Varzinczak
Like any other logical theory, domain descriptions in reasoning about actions may evolve, and thus need revision methods to adequately accommodate new information about the behavio…
Metatheory of actions: beyond consistency
Andreas Herzig, Ivan Varzinczak
Consistency check has been the only criterion for theory evaluation in logic-based approaches to reasoning about actions. This work goes beyond that and contributes to the metatheo…