Showing 2025 · cs.AIShow all
2 papers · 2 filters
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.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…