Published: 2018-05-13

Axiomatic Characterization of Game-Theoretic Centrality

Oskar Skibski, Tomasz P. Michalak, Talal Rahwan

33 - 68

Lifted Relational Neural Networks: Efficient Learning of Latent Relational Structures

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


Verification of Distributed Epistemic Gossip Protocols

Krzysztof R. Apt, Dominik Wojtczak


A COP Model For Graph-Constrained Coalition Formation

Filippo Bistaffa, Alessandro Farinelli

133 - 153

MCTS-Minimax Hybrids with State Evaluations

Hendrik Baier, Mark H. M. Winands

193 - 231

Solving Multi-agent Path Finding on Strongly Biconnected Digraphs

Adi Botea, Davide Bonusi, Pavel Surynek

273 - 314

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

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

315 - 371

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

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

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

433 - 458

The Power of Verification for Greedy Mechanism Design

Dimitris Fotakis, Piotr Krysta, Carmine Ventre

459 - 488

Column Generation Algorithms for Constrained POMDPs

Erwin Walraven, Matthijs T. J. Spaan

489 - 533

ScottyActivity: Mixed Discrete-Continuous Planning with Convex Optimization

Enrique Fernandez-Gonzalez, Brian Williams, Erez Karpas

579 - 664

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

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


Computing Hierarchical Finite State Controllers With Classical Planning

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

755 - 797

A Review of Inference Algorithms for Hybrid Bayesian Networks

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

799 - 828

Querying Log Data with Metric Temporal Logic

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

829 - 877