default search action
Artificial Intelligence, Volume 336
Volume 336, 2024
- Benjamin Böhm, Tomás Peitl, Olaf Beyersdorff:
QCDCL with cube learning or pure literal elimination - What is best? 104194 - Matthew Olckers, Toby Walsh:
Manipulation and peer mechanisms: A survey. 104196 - Paolo Liberatore:
Representing states in iterated belief revision. 104200 - Aksel Vaaler, Svein Jostein Husa, Daniel Menges, Thomas Nakken Larsen, Adil Rasheed:
Modular control architecture for safe marine navigation: Reinforcement learning with predictive safety filters. 104201 - Prithvi Akella, Anushri Dixit, Mohamadreza Ahmadi, Joel W. Burdick, Aaron D. Ames:
Sample-based bounds for coherent risk measures: Applications to policy synthesis and verification. 104195 - Vimukthini Pinto, Chathura Nagoda Gamage, Cheng Xue, Peng Zhang, Ekaterina Nikonova, Matthew Stephenson, Jochen Renz:
NovPhy: A physical reasoning benchmark for open-world AI systems. 104198 - Pietro Baroni, Federico Cerutti, Massimiliano Giacomin:
On generalized notions of consistency and reinstatement and their preservation in formal argumentation. 104202 - Jinsheng Chen, Beishui Liao, Leendert van der Torre:
Bisimulation between base argumentation and premise-conclusion argumentation. 104203 - Martin Waltz, Ostap Okhrin:
Addressing maximization bias in reinforcement learning with two-sample testing. 104204 - Gianvincenzo Alfano, Sergio Greco, Domenico Mandaglio, Francesco Parisi, Irina Trubitsyna:
Abstract argumentation frameworks with strong and weak constraints. 104205 - Kai Ming Ting, Takashi Washio, Ye Zhu, Yang Xu, Kaifeng Zhang:
Is it possible to find the single nearest neighbor of a query in high dimensions? 104206 - Nicolau Andrés-Thió, Mario Andrés Muñoz, Kate Smith-Miles:
Characterising harmful data sources when constructing multi-fidelity surrogate models. 104207 - Lars Malmqvist, Tangming Yuan, Peter Nightingale:
Approximating problems in abstract argumentation with graph convolutional networks. 104209 - Junqi Jiang, Francesco Leofante, Antonio Rago, Francesca Toni:
Interval abstractions for robust counterfactual explanations. 104218
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.