4 papers
Standpoint Logics with Defeasible Beliefs
Nicholas Leisegang, Thomas Meyer, Sebastian Rudolph
In this paper, we integrate the defeasible logic of Kraus, Lehmann and Magidor (KLM) with the standpoint logic framework of Gómez Ãlvarez and Rudolph. This is done with the goal…
Putting Perspective into OWL [sic]: Complexity-Neutral Standpoint Reasoning for Ontology Languages via Monodic S5 over Counting Two-Variable First-Order Logic (Extended Version with Appendix)
LucÃa Gómez Ãlvarez, Sebastian Rudolph
Standpoint extensions of knowledge representation formalisms have been recently introduced as a means to incorporate multi-perspective modelling and reasoning through modal operato…
Towards Propositional KLM-Style Defeasible Standpoint Logics
Nicholas Leisegang, Thomas Meyer, Sebastian Rudolph
The KLM approach to defeasible reasoning introduces a weakened form of implication into classical logic. This allows one to incorporate exceptions to general rules into a logical s…
Non-monotonic Extensions to Formal Concept Analysis via Object Preferences
Lucas Carr, Nicholas Leisegang, Thomas Meyer +1
Formal Concept Analysis (FCA) is an approach to creating a conceptual hierarchy in which a \textit{concept lattice} is generated from a \textit{formal context}. That is, a triple c…