Similar Items: Knowledge Compilation for Quantification in Alternating Automata
- Set Automata and Limits of Decidability of Two-Variable Logic on Data Words
- Intuitionistic Common Knowledge
- Zero-Knowledge Model Checking
- Runtime Verification: Monitoring, Knowledge, and Uncertainty (Lecture Notes)
- ABox Abduction for Inconsistent Knowledge Bases under Repair Semantics
- Efficient Incremental #SAT via Cross-Instance Knowledge Reuse