Search Results for author:
Found 5 papers, 0 papers with code
Region-Based Merging of Open-Domain Terminological Knowledge
This paper introduces a novel method for merging open-domain terminological knowledge.
Situated Conditional Reasoning
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.
Theoretical Foundations of Defeasible Description Logics
Besides showing that our semantics is appropriate, these results pave the way for more effective decision procedures for defeasible reasoning in DLs.
On Rational Entailment for Propositional Typicality Logic
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.
On the Link between Partial Meet, Kernel, and Infra Contraction and its Application to Horn Logic
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.
