Artificial Intelligence
Cooperative concurrent games
Publication date: Available online 28 October 2022Source: Artificial IntelligenceAuthor(s): Julian Gutierrez, Szymon Kowara, Sarit Kraus, Thomas Steeples, Michael Wooldridge
Artificial Intelligence
Risk Bounded Nonlinear Robot Motion Planning With Integrated Perception & Control
Publication date: Available online 28 October 2022Source: Artificial IntelligenceAuthor(s): Venkatraman Renganathan, Sleiman Safaoui, Aadi Kothari, Benjamin Gravell, Iman Shames, Tyler Summers
Artificial Intelligence
Solving projected model counting by utilizing treewidth and its limits
Publication date: Available online 27 October 2022Source: Artificial IntelligenceAuthor(s): Johannes K. Fichte, Markus Hecher, Michael Morak, Patrick Thier, Stefan Woltran
Artificial Intelligence
Portioning Using Ordinal Preferences: Fairness and Efficiency
Publication date: Available online 25 October 2022Source: Artificial IntelligenceAuthor(s): Stéphane Airiau, Haris Aziz, Ioannis Caragiannis, Justin Kruger, Jérôme Lang, Dominik Peters
Artificial Intelligence
Sim-to-Lab-to-Real: Safe Reinforcement Learning with Shielding and Generalization Guarantees
Publication date: Available online 26 October 2022Source: Artificial IntelligenceAuthor(s): Kai-Chieh Hsu, Allen Z. Ren, Duy P. Nguyen, Anirudha Majumdar, Jaime F. Fisac
Artificial Intelligence
Simple and Efficient Bi-Objective Search Algorithms via Fast Dominance Checks
Publication date: Available online 13 October 2022Source: Artificial IntelligenceAuthor(s): Carlos Hernández, William Yeoh, Jorge A. Baier, Han Zhang, Luis Suazo, Sven Koenig, Oren Salzman
Artificial Intelligence
Value Functions for Depth-Limited Solving in Zero-Sum Imperfect-Information Games
Publication date: Available online 19 October 2022Source: Artificial IntelligenceAuthor(s): Vojtěch Kovařík, Dominik Seitz, Viliam Lisý, Jan Rudolf, Shuo Sun, Karel Ha
Artificial Intelligence
Answering Regular Path Queries Mediated by Unrestricted <math xmlns:mml=”http://www.w3.org/1998/Math/MathML” altimg=”si1.svg” class=”math”><mi mathvariant=”script”>SQ</mi></math> Ontologies
Publication date: Available online 21 October 2022Source: Artificial IntelligenceAuthor(s): Víctor Gutiérrez-Basulto, Yazmín Ibáñez-García, Jean Christoph Jung, Filip Murlak
Artificial Intelligence
Learning MAX-SAT from contextual examples for combinatorial optimisation
Publication date: Available online 13 October 2022Source: Artificial IntelligenceAuthor(s): Mohit Kumar, Samuel Kolb, Stefano Teso, Luc De Raedt
Artificial Intelligence
Actions of the hyperoctahedral group to compute minimal contractors
Publication date: December 2022Source: Artificial Intelligence, Volume 313Author(s): Luc Jaulin