Dynamic preference logic meets iterated belief change: Representation results and postulates characterization
AGM's belief revision is one of the main paradigms in the study of belief change operations.
Recently, several logics for belief and information change have been proposed in the …
Recently, several logics for belief and information change have been proposed in the …
[PDF][PDF] A Modal Logic of Defeasible Reasoning
We propose a default modal logic for defeasible reasoning by modeling defaults using the
notions of consistency and preference. A default sentence “from ϕ, presuming the …
notions of consistency and preference. A default sentence “from ϕ, presuming the …
Repairing classical ontologies using defeasible reasoning techniques
S Coetzer - 2021 - scholar.sun.ac.za
Abstract ENGLISH SUMMARY: Ontologies provide knowledge engineers with the ability to
represent and encode knowledge in a formal language so that it can be reasoned over by a …
represent and encode knowledge in a formal language so that it can be reasoned over by a …