2 papers
cs.AI2024
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…
cs.LO2024
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…