Similar Items: Type-elimination-based reasoning for the description logic SHIQbs using decision diagrams and disjunctive datalog
- Rewritability in Monadic Disjunctive Datalog, MMSNP, and Expressive Description Logics
- Disjunctive bases: normal forms and model theory for modal logics
- $n$-permutability and linear Datalog implies symmetric Datalog
- Causal Unfoldings and Disjunctive Causes
- The Complexity of Datalog on Linear Orders
- Actris 2.0: Asynchronous Session-Type Based Reasoning in Separation Logic