Editorial Board
Mind the gaps: Assuring the safety of autonomous systems from an engineering, ethical, and legal perspective
Recursively modeling other agents for decision making: A research perspective
Clause vivification by unit propagation in CDCL SAT solvers
New models for generating hard random boolean formulas and disjunctive logic programs
Preference elicitation and robust winner determination for single- and multi-winner social choice
Train-O-Matic: Supervised Word Sense Disambiguation with no (manual) effort
Design and results of the Second International Competition on Computational Models of Argumentation
Governing convergence of Max-sum on DCOPs through damping and splitting
Landmark-based approaches for goal recognition as planning