Published: 2017-09-01

The Sixth Answer Set Programming Competition

Martin Gebser, Marco Maratea, Francesco Ricca

41-95

Kernel Contraction and Base Dependence

Mehrdad Oveisi, James P. Delgrande, Francis Jeffry Pelletier, Fred Popowich

97-148

Rationalisation of Profiles of Abstract Argumentation Frameworks: Characterisation and Complexity

Stéphane Airiau, Elise Bonzon, Ulle Endriss, Nicolas Maudet, Julien Rossit

149-177

On the Semantics and Complexity of Probabilistic Logic Programs

Fabio Gagliardi Cozman, Denis Deratani Mauá

221-262

The Linear Programming Approach to Reach-Avoid Problems for Markov Decision Processes

Nikolaos Kariotoglou, Maryam Kamgarpour, Tyler H. Summers, John Lygeros

263-285

Residual-Guided Look-Ahead in AND/OR Search for Graphical Models

William Lam, Kalev Kask, Javier Larrosa, Rina Dechter

287-346

A Survey on Lexical Simplification

Gustavo H. Paetzold, Lucia Specia

549-593

Time and Space Bounds for Planning

Christer Bäckström, Peter Jonsson

595-638

Multi-Organ Exchange

John P. Dickerson, Tuomas Sandholm

639-679

Viewpoint: A Critical View on Smart Cities and AI

Daniela Inclezan, Luis I. Pradanos

681-686

Sample-Based Tree Search with Fixed and Adaptive State Abstractions

Jesse Hostetler, Alan Fern, Thomas Dietterich

717-777

Prime Implicate Generation in Equational Logic

Mnacho Echenim, Nicolas Peltier, Sophie Tourret

827-880

On Monte Carlo Tree Search and Reinforcement Learning

Tom Vodopivec, Spyridon Samothrakis, Branko Ster

881-936

Elections with Few Voters: Candidate Control Can Be Easy

Jiehua Chen, Piotr Faliszewski, Rolf Niedermeier, Nimrod Talmon

937-1002

A Game Theoretic Analysis of the Adversarial Retrieval Setting

Ran Ben Basat, Moshe Tennenholtz, Oren Kurland

1127-1164