Similar Items: Weighted Rules under the Stable Model Semantics
- ABox Abduction for Inconsistent Knowledge Bases under Repair Semantics
- Induction rules for Transition Algebra
- On Higher-Order Probabilistic Verification via the Weighted Relational Model of Linear Logic
- Preservation Theorems in Semiring Semantics
- Inference of Qualitative Models from Steady-State Data via Weighted MaxSMT
- ANDRE: An Attention-based Neuro-symbolic Differentiable Rule Extractor