Editorial Board
Resolving distributed knowledge
Minimal sets on propositional formulae. Problems and reductions
Towards breaking more composition symmetries in partial symmetry breaking
Forward bounding on pseudo-trees for DCOPs and ADCOPs
Iterative voting and acyclic games
Three-valued semantics for hybrid MKNF knowledge bases revisited
Generalized possibilistic logic: Foundations and applications to qualitative reasoning about uncertainty
The MADLA planner: Multi-agent planning by combination of distributed and local heuristic search
Intelligent agent supporting human–multi-robot team collaboration
MM: A bidirectional search algorithm that is guaranteed to meet in the middle
The first international competition on computational models of argumentation: Results and analysis
Common Sense, The Turing Test, and The Quest for Real AI, Hector Levesque. The MIT Press (2017), 142 pp., plus End Notes, Bibliography and Index