Editorial Board
SAT-based explicit LTLf satisfiability checking
When security games hit traffic: A deployed optimal traffic enforcement system
Dashed strings for string constraint solving
Autoepistemic answer set programming
So, what exactly is a qualitative calculus?
Intrinsic approaches to prioritizing diagnoses in multi-context systems
Explanation in AI and law: Past, present and future
Real-time reasoning in OWL2 for GDPR compliance
Artificial Intelligence requires more than deep learning — but what, exactly?
Understanding the power of Max-SAT resolution through UP-resilience
Quantifying controllability in temporal networks with uncertainty
On composition of bounded-recall plans