default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDJournal of Artificial Intelligence Research, Volume 62
Volume 62, 2018
- Umut Oztok, Adnan Darwiche:
An Exhaustive DPLL Algorithm for Model Counting. 1-32 - Oskar Skibski, Tomasz P. Michalak
, Talal Rahwan:
Axiomatic Characterization of Game-Theoretic Centrality. 33-68 - Gustav Sourek, Vojtech Aschenbrenner, Filip Zelezný, Steven Schockaert, Ondrej Kuzelka:
Lifted Relational Neural Networks: Efficient Learning of Latent Relational Structures. 69-100 - Krzysztof R. Apt, Dominik Wojtczak:
Verification of Distributed Epistemic Gossip Protocols. 101-132 - Filippo Bistaffa, Alessandro Farinelli:
A COP Model For Graph-Constrained Coalition Formation. 133-153 - Natalia Criado:
Resource-bounded Norm Monitoring In Multi-agent Systems. 153-192 - Hendrik Baier, Mark H. M. Winands:
MCTS-Minimax Hybrids with State Evaluations. 193-231 - Matthew Hatem, Ethan Burns, Wheeler Ruml:
Solving Large Problems with Heuristic Search: General-Purpose Parallel External-Memory Search. 233-268 - Mohanad Halaweh:
Viewpoint: Artificial Intelligence Government (Gov. 3.0): The UAE Leading Model. 269-272 - Adi Botea, Davide Bonusi, Pavel Surynek:
Solving Multi-agent Path Finding on Strongly Biconnected Digraphs. 273-314 - Vittorio Bilò, Angelo Fanelli, Michele Flammini, Gianpiero Monaco, Luca Moscardelli:
Nash Stable Outcomes in Fractional Hedonic Games: Existence, Efficiency and Computation. 315-371 - Patrik Haslum, Franc Ivankovic, Miquel Ramírez, Dan Gordon, Sylvie Thiébaux, Vikas Shivashankar, Dana S. Nau:
Extending Classical Planning with State Constraints: Heuristics and Search for Optimal Planning. 373-431 - Natasha Alechina, Joseph Y. Halpern, Ian A. Kash, Brian Logan:
Incentive-Compatible Mechanisms for Norm Monitoring in Open Multi-Agent Systems. 433-458 - Dimitris Fotakis, Piotr Krysta, Carmine Ventre:
The Power of Verification for Greedy Mechanism Design. 459-488 - Erwin Walraven, Matthijs T. J. Spaan:
Column Generation Algorithms for Constrained POMDPs. 489-533 - Jendrik Seipp, Malte Helmert:
Counterexample-Guided Cartesian Abstraction Refinement for Classical Planning. 535-577 - Enrique Fernández-González, Brian C. Williams, Erez Karpas:
ScottyActivity: Mixed Discrete-Continuous Planning with Convex Optimization. 579-664 - Thomas Eiter, Tobias Kaminski, Christoph Redl, Antonius Weinzierl:
Exploiting Partial Assignments for Efficient Evaluation of Answer Set Programs with External Source Access. 665-727 - Katja Grace, John Salvatier, Allan Dafoe, Baobao Zhang, Owain Evans:
Viewpoint: When Will AI Exceed Human Performance? Evidence from AI Experts. 729-754 - Javier Segovia-Aguas, Sergio Jiménez, Anders Jonsson:
Computing Hierarchical Finite State Controllers With Classical Planning. 755-797 - Antonio Salmerón, Rafael Rumí, Helge Langseth, Thomas D. Nielsen, Anders L. Madsen:
A Review of Inference Algorithms for Hybrid Bayesian Networks. 799-828 - Sebastian Brandt, Elem Güzel Kalayci, Vladislav Ryzhikov, Guohui Xiao, Michael Zakharyaschev:
Querying Log Data with Metric Temporal Logic. 829-877
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.
last updated on 2025-02-21 19:36 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
