Editorial Board
Foundations of explanations as model reconciliation
A general multi-agent epistemic planner based on higher-order belief change
Local and global explanations of agent behavior: Integrating strategy summaries with saliency maps
Using state abstractions to compute personalized contrastive explanations for AI agent behavior
SAT Competition 2020
Pairwise symmetry reasoning for multi-agent path finding search
Multi-instance learning of pretopological spaces to model complex propagation phenomena: Application to lexical taxonomy learning
Picking sequences and monotonicity in weighted fair division
Schelling games on graphs
Coalitional permutation manipulations in the Gale-Shapley algorithm
Path-length analysis for grid-based path planning
Distributed optimization for degenerate loss functions arising from over-parameterization