0004-3702

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

本期论文列表
Graph-based construction of minimal models

Two's company, three's a crowd: Consensus-halving for a constant number of agents

Risk verification of stochastic systems with neural network controllers

Mind the gap: Cake cutting with separation

Logical separability of labeled data examples under ontologies

Certifiably robust interpretation via Rényi differential privacy

Towards convergence rate analysis of random forests for classification

Gradient-based mixed planning with symbolic and numeric action parameters

Neural large neighborhood search for routing problems

Actions of the hyperoctahedral group to compute minimal contractors

Reasoning about general preference relations

Measuring power in coalitional games with friends, enemies and allies

The metric distortion of multiwinner voting

Defense coordination in security games: Equilibrium analysis and mechanism design

Convolutional spectral kernel learning with generalization guarantees