23 citations · 66 across the 11 of their papers we have counts for
8 papers · 1 filter
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…
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…
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…