Showing 2025Show all
3 papers · 1 filter
cs.AI2025
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…
cs.LO2025
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…
cs.AI2025
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 t…