Similar Items: Non-negative Rational Semantic Numeration Systems
- Efficient Decision Procedures for RNmatrix Semantics
- Continuations and Completeness in Proof-theoretic Semantics
- Multiset semantics in SPARQL, Relational Algebra and Datalog
- Evidence-Tracked Tape Semantics for Probabilistic Computation
- ABox Abduction for Inconsistent Knowledge Bases under Repair Semantics
- Grounding vs. Compositionality: On the Non-Complementarity of Reasoning in Neuro-Symbolic Systems