Similar Items: Splitting Argumentation Frameworks with Collective Attacks and Supports
- BAss: Symbolic Reasoning in Abstract Dialectical Frameworks
- Verification of Neural Networks (Lecture Notes)
- Quantum Bayesian Networks: Compositionality and Typing via Linear Logic
- Automaton-based Characterisations of First Order Logic over Infinite Trees
- Pseudo-Complex Quantifier Elimination
- Templates in Rewriting Induction