Similar Items: A Horn extension of DL-Lite with NL data complexity
- Pseudo-Complex Quantifier Elimination
- On the Complexity of Robust Markov Decision Processes and Bisimulation Metrics
- Set Automata and Limits of Decidability of Two-Variable Logic on Data Words
- Inference of Qualitative Models from Steady-State Data via Weighted MaxSMT
- Verification of Neural Networks (Lecture Notes)
- Quantum Bayesian Networks: Compositionality and Typing via Linear Logic