default search action
Artificial Intelligence, Volume 313
Volume 313, December 2022
- Fabrizio Angiulli, Rachel Ben-Eliyahu-Zohary, Fabio Fassetti, Luigi Palopoli:
Graph-based construction of minimal models. 103754 - Matthew Cleaveland, Lars Lindemann, Radoslav Ivanov, George J. Pappas:
Risk verification of stochastic systems with neural network controllers. 103782 - Edith Elkind, Erel Segal-Halevi, Warut Suksompong:
Mind the gap: Cake cutting with separation. 103783 - Argyrios Deligkas, Aris Filos-Ratsikas, Alexandros Hollender:
Two's company, three's a crowd: Consensus-halving for a constant number of agents. 103784 - Jean Christoph Jung, Carsten Lutz, Hadrien Pulcini, Frank Wolter:
Logical separability of labeled data examples under ontologies. 103785 - André Hottung, Kevin Tierney:
Neural large neighborhood search for routing problems. 103786 - Ao Liu, Xiaoyu Chen, Sijia Liu, Lirong Xia, Chuang Gan:
Certifiably robust interpretation via Rényi differential privacy. 103787 - Wei Gao, Fan Xu, Zhi-Hua Zhou:
Towards convergence rate analysis of random forests for classification. 103788 - Kebing Jin, Hankz Hankui Zhuo, Zhanhao Xiao, Hai Wan, Subbarao Kambhampati:
Gradient-based mixed planning with symbolic and numeric action parameters. 103789 - Luc Jaulin:
Actions of the hyperoctahedral group to compute minimal contractors. 103790 - Jiarui Gan, Edith Elkind, Sarit Kraus, Michael J. Wooldridge:
Defense coordination in security games: Equilibrium analysis and mechanism design. 103791 - Oskar Skibski, Takamasa Suzuki, Tomasz Grabowski, Yuko Sakurai, Tomasz P. Michalak, Makoto Yokoo:
Measuring power in coalitional games with friends, enemies and allies. 103792 - Davide Grossi, Wiebe van der Hoek, Louwe B. Kuijer:
Reasoning about general preference relations. 103793 - Ioannis Caragiannis, Nisarg Shah, Alexandros A. Voudouris:
The metric distortion of multiwinner voting. 103802 - Jian Li, Yong Liu, Weiping Wang:
Convolutional spectral kernel learning with generalization guarantees. 103803
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.