Similar Items: Efficient Temporal Datalog Materialisation for Composite Event Recognition
- Multiset semantics in SPARQL, Relational Algebra and Datalog
- Value Functions for Temporal Logic: Optimal Policies and Safety Filters
- Efficient Decision Procedures for RNmatrix Semantics
- Quantum Bayesian Networks: Compositionality and Typing via Linear Logic
- Grounding vs. Compositionality: On the Non-Complementarity of Reasoning in Neuro-Symbolic Systems
- Efficient Incremental #SAT via Cross-Instance Knowledge Reuse