5 citations · 7 across the 4 of their papers we have counts for
5 papers
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…
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…
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…