0004-3702

Artificial Intelligence (AI) - Volume 252 论文列表

本期论文列表
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