Published: 2018-09-17

Human-Machine Collaborative Optimization via Apprenticeship Scheduling

Matthew Gombolay, Reed Jensen, Jessica Stigile, Toni Golen, Neel Shah, Sung-Hyun Son, Julie Shah

1 - 49

A Core Method for the Weak Completion Semantics with Skeptical Abduction

Emmanuelle-Anna Dietz Saldanha, Steffen Hölldobler, Carroline Dewi Puspa Kencana Ramli, Luis Palacios Medinacelli

51 - 86

Efficient Computation of Semivalues for Game-Theoretic Network Centrality

Mateusz K. Tarkowski, Piotr L. Szczepański, Tomasz P. Michalak, Paul Harrenstein, Michael Wooldridge

145 - 189

Query Answering with Transitive and Linear-Ordered Data

Antone Amarilli, Michael Benedikt, Pierre Bourhis, Michael Vanden Boom

191 - 264

Graphical Model Market Maker for Combinatorial Prediction Markets

Kathryn Blackmond Laskey, Wei Sun, Robin Hanson, Charles Twardy, Shou Matsumoto, Brandon Goldfedder

421 - 460

Proximal Gradient Temporal Difference Learning: Stable Reinforcement Learning with Polynomial Sample Complexity

Bo Liu, Ian Gemp, Mohammad Ghavamzadeh, Ji Liu, Sridhar Mahadevan, Marek Petrik

461 - 494

Approximation and Parameterized Complexity of Minimax Approval Voting

Marek Cygan, Łukasz Kowalik, Arkadiusz Socała, Krzysztof Sornat

495 - 513

A Complexity Approach for Core-Selecting Exchange under Conditionally Lexicographic Preferences

Etsushi Fujita, Julien Lesca, Akihisa Sonoda, Taiki Todo, Makoto Yokoo

515 - 555

Consequence-Based Reasoning for Description Logics with Disjunctions and Number Restrictions

Andrew Bate, Boris Motik, Bernardo Cuenca Grau, David Tena Cucala, František Simančík, Ian Horrocks

625 - 690

From Word To Sense Embeddings: A Survey on Vector Representations of Meaning

Jose Camacho-Collados, Mohammad Taher Pilehvar

743 - 788

State-Space Abstractions for Probabilistic Inference: A Systematic Review

Stefan Lüdtke, Max Schröder, Frank Krüger, Sebastian Bader, Thomas Kirste

789 - 848