no code implementations • 5 May 2022 • Zied Bouraoui, Sebastien Konieczny, Thanh Ma, Nicolas Schwind, Ivan Varzinczak
This paper introduces a novel method for merging open-domain terminological knowledge.
no code implementations • 3 Sep 2021 • Giovanni Casini, Thomas Meyer, Ivan Varzinczak
With the semantics in place, we proceed to define a form of entailment for situated conditional knowledge bases, which we refer to as minimal closure.
no code implementations • 16 Apr 2019 • Katarina Britz, Giovanni Casini, Thomas Meyer, Kody Moodley, Uli Sattler, Ivan Varzinczak
Besides showing that our semantics is appropriate, these results pave the way for more effective decision procedures for defeasible reasoning in DLs.
no code implementations • 28 Sep 2018 • Richard Booth, Giovanni Casini, Thomas Meyer, Ivan Varzinczak
Propositional Typicality Logic (PTL) is a recently proposed logic, obtained by enriching classical propositional logic with a typicality operator capturing the most typical (alias normal or conventional) situations in which a given sentence holds.
no code implementations • 16 Jan 2014 • Richard Booth, Thomas Meyer, Ivan Varzinczak, Renata Wassermann
The use of belief bases to obtain this result provides evidence for the conjecture that Horn belief change is best viewed as a hybrid version of belief set change and belief base change.