Similar Items: ABox Abduction for Inconsistent Knowledge Bases under Repair Semantics
- Efficient Decision Procedures for RNmatrix Semantics
- Continuations and Completeness in Proof-theoretic Semantics
- Non-negative Rational Semantic Numeration Systems
- Multiset semantics in SPARQL, Relational Algebra and Datalog
- Evidence-Tracked Tape Semantics for Probabilistic Computation
- Algebraic Semantics of Governed Execution: Monoidal Categories, Effect Algebras, and Coterminous Boundaries