5 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…
Towards Non-Monotonic Entailment in Propositional Defeasible Standpoint Logic
Nicholas Leisegang, Thomas Meyer, Ivan Varzniczak
Recent work in defeasible reasoning has seen notions of preferential semantics and entailment in the style of Kraus et al. applied to modal logics. However, work in this field has…
Semantic Bridges Between First Order c-Representations and Cost-Based Semantics: An Initial Perspective
Nicholas Leisegang, Giovanni Casini, Thomas Meyer
Weighted-knowledge bases and cost-based semantics represent a recent formalism introduced by Bienvenu et al. for Ontology Mediated Data Querying in the case where a given knowledge…
Extending Defeasibility for Propositional Standpoint Logics
Nicholas Leisegang, Thomas Meyer, Ivan Varzinczak
In this paper, we introduce a new defeasible version of propositional standpoint logic by integrating Kraus et al.'s defeasible conditionals, Britz and Varzinczak's notions of defe…
Rational Inference in Formal Concept Analysis
Lucas Carr, Nicholas Leisegang, Thomas Meyer +1
Defeasible conditionals are a form of non-monotonic inference which enable the expression of statements like "if then normally ". The KLM framework defines a semantics for…