Volume 62 Masthead

Published: 2018-05-13

Articles

An Exhaustive DPLL Algorithm for Model Counting

Umut Oztok, Adnan Darwiche

1-32

PDF

Axiomatic Characterization of Game-Theoretic Centrality

Oskar Skibski, Tomasz P. Michalak, Talal Rahwan

33 - 68

PDF

Lifted Relational Neural Networks: Efficient Learning of Latent Relational Structures

Gustav Sourek, Vojtech Aschenbrenner, Filip Zelezny, Steven Schockaert, Ondrej Kuzelka

69-100

PDF

Verification of Distributed Epistemic Gossip Protocols

Krzysztof R. Apt, Dominik Wojtczak

101-132

PDF

A COP Model For Graph-Constrained Coalition Formation

Filippo Bistaffa, Alessandro Farinelli

133 - 153

PDF

Resource-bounded Norm Monitoring In Multi-agent Systems

Natalia Criado

153 - 192

PDF

MCTS-Minimax Hybrids with State Evaluations

Hendrik Baier, Mark H. M. Winands

193 - 231

PDF

Solving Large Problems with Heuristic Search: General-Purpose Parallel External-Memory Search

Matthew Hatem, Ethan Burns, Wheeler Ruml

233 - 268

PDF

Viewpoint: Artificial Intelligence Government (Gov. 3.0): The UAE Leading Model

Mohanad Halaweh

269 - 272

PDF

Solving Multi-agent Path Finding on Strongly Biconnected Digraphs

Adi Botea, Davide Bonusi, Pavel Surynek

273 - 314

PDF

Nash Stable Outcomes in Fractional Hedonic Games: Existence, Efficiency and Computation

Vittorio Bilò, Angelo Fanelli, Michele Flammini, Gianpiero Monaco, Luca Moscardelli

315 - 371

PDF

Extending Classical Planning with State Constraints: Heuristics and Search for Optimal Planning

Patrik Haslum, Franc Ivankovic, Miquel Ramirez, Dan Gordon, Sylvie Thiebaux, Vikas Shivashankar, Dana S. Nau

373 - 431

PDF

Incentive-Compatible Mechanisms for Norm Monitoring in Open Multi-Agent Systems

Natasha Alechina, Joseph Y. Halpern, Ian A. Kash, Brian Logan

433 - 458

PDF

The Power of Verification for Greedy Mechanism Design

Dimitris Fotakis, Piotr Krysta, Carmine Ventre

459 - 488

PDF

Column Generation Algorithms for Constrained POMDPs

Erwin Walraven, Matthijs T. J. Spaan

489 - 533

PDF

Counterexample-Guided Cartesian Abstraction Refinement for Classical Planning

Jendrik Seipp, Malte Helmert

535 - 577

PDF

ScottyActivity: Mixed Discrete-Continuous Planning with Convex Optimization

Enrique Fernandez-Gonzalez, Brian Williams, Erez Karpas

579 - 664

PDF

Exploiting Partial Assignments for Efficient Evaluation of Answer Set Programs with External Source Access

Thomas Eiter, Tobias Kaminski, Christoph Redl, Antonius Weinzierl

665 - 727

PDF

Viewpoint: When Will AI Exceed Human Performance? Evidence from AI Experts

Katja Grace, John Salvatier, Allan Dafoe, Baobao Zhang, Owain Evans

729-754

PDF

Computing Hierarchical Finite State Controllers With Classical Planning

Javier Segovia-Aguas, Sergio Jiménez, Anders Jonsson

755 - 797

PDF

A Review of Inference Algorithms for Hybrid Bayesian Networks

Antonio Salmerón, Rafael Rumí, Helge Langseth, Thomas D. Nielsen, Anders L. Madsen

799 - 828

PDF

Querying Log Data with Metric Temporal Logic

Sebastian Brandt, Elem Güzel Kalaycı, Vladislav Ryzhikov, Guohui Xiao, Michael Zakharyaschev

829 - 877

PDF