JAIR 2018

69 papers

A Complexity Approach for Core-Selecting Exchange Under Conditionally Lexicographic Preferences Etsushi Fujita, Julien Lesca, Akihisa Sonoda, Taiki Todo, Makoto Yokoo

A COP Model for Graph-Constrained Coalition Formation Filippo Bistaffa, Alessandro Farinelli

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

A Review of Inference Algorithms for Hybrid Bayesian Networks Antonio Salmerón, Rafael Rumí, Helge Langseth, Thomas D. Nielsen, Anders L. Madsen

Actively Estimating Crowd Annotation Consensus Yunus Emre Kara, Gaye Genç, Oya Aran, Lale Akarun

An Exhaustive DPLL Algorithm for Model Counting Umut Oztok, Adnan Darwiche

AND/OR Search for Marginal MAP Radu Marinescu, Junkyu Lee, Rina Dechter, Alexander Ihler

Approximation and Parameterized Complexity of Minimax Approval Voting Marek Cygan, Lukasz Kowalik, Arkadiusz Socala, Krzysztof Sornat

Axiomatic Characterization of Game-Theoretic Centrality Oskar Skibski, Tomasz P. Michalak, Talal Rahwan

Belief Integration and Source Reliability Assessment Paolo Liberatore

Belief Update Within Propositional Fragments Nadia Creignou, Raïda Ktari, Odile Papini

Bisimulations on Data Graphs Sergio Abriola, Pablo Barceló, Diego Figueira, Santiago Figueira

Bounds on the Cost of Stabilizing a Cooperative Game Yoram Bachrach, Edith Elkind, Enrico Malizia, Reshef Meir, Dmitrii V. Pasechnik, Jeffrey S. Rosenschein, Jörg Rothe, Michael Zuckerman

Column Generation Algorithms for Constrained POMDPs Erwin Walraven, Matthijs T. J. Spaan

Computing Hierarchical Finite State Controllers with Classical Planning Javier Segovia-Aguas, Sergio Jiménez, Anders Jonsson

Consequence-Based Reasoning for Description Logics with Disjunctions and Number Restrictions Andrew Bate, Boris Motik, Bernardo Cuenca Grau, David Tena Cucala, Frantisek Simancik, Ian Horrocks

Cooperative, Dynamics-Based, and Abstraction-Guided Multi-Robot Motion Planning Duong Le, Erion Plaku

Coordinating Measurements in Uncertain Participatory Sensing Settings Alexandros Zenonos, Sebastian Stein, Nicholas R. Jennings

Corpus-Level Fine-Grained Entity Typing Yadollah Yaghoobzadeh, Heike Adel, Hinrich Schütze

Counterexample-Guided Cartesian Abstraction Refinement for Classical Planning Jendrik Seipp, Malte Helmert

Cycles and Intractability in a Large Class of Aggregation Rules William S. Zwicker

Data-Driven Conceptual Spaces: Creating Semantic Representations for Linguistic Descriptions of Numerical Data Hadi Banaee, Erik Schaffernicht, Amy Loutfi

Distributed Constraint Optimization Problems and Applications: A Survey Ferdinando Fioretto, Enrico Pontelli, William Yeoh

Efficient Computation of Semivalues for Game-Theoretic Network Centrality Mateusz Krzysztof Tarkowski, Piotr L. Szczepanski, Tomasz P. Michalak, Paul Harrenstein, Michael J. Wooldridge

Exploiting Partial Assignments for Efficient Evaluation of Answer Set Programs with External Source Access Thomas Eiter, Tobias Kaminski, Christoph Redl, Antonius Weinzierl

Extending Classical Planning with State Constraints: Heuristics and Search for Optimal Planning Patrik Haslum, Franc Ivankovic, Miquel Ramírez, Dan Gordon, Sylvie Thiébaux, Vikas Shivashankar, Dana S. Nau

Fact-Alternating Mutex Groups for Classical Planning Daniel Fiser, Antonín Komenda

From Feature to Paradigm: Deep Learning in Machine Translation Marta R. Costa-jussà

From Skills to Symbols: Learning Symbolic Representations for Abstract High-Level Planning George Dimitri Konidaris, Leslie Pack Kaelbling, Tomás Lozano-Pérez

From Word to Sense Embeddings: A Survey on Vector Representations of Meaning José Camacho-Collados, Mohammad Taher Pilehvar

Fully Observable Non-Deterministic Planning as Assumption-Based Reactive Synthesis Nicolás D'Ippolito, Natalia Rodríguez, Sebastian Sardiña

Graphical Model Market Maker for Combinatorial Prediction Markets Kathryn Blackmond Laskey, Wei Sun, Robin Hanson, Charles Twardy, Shou Matsumoto, Brandon Goldfedder

Grounding Language for Transfer in Deep Reinforcement Learning Karthik Narasimhan, Regina Barzilay, Tommi S. Jaakkola

Human-Machine Collaborative Optimization via Apprenticeship Scheduling Matthew C. Gombolay, Reed Jensen, Jessica Stigile, Toni Golen, Neel Shah, Sung-Hyun Son, Julie A. Shah

Incentive-Compatible Mechanisms for Norm Monitoring in Open Multi-Agent Systems Natasha Alechina, Joseph Y. Halpern, Ian A. Kash, Brian Logan

KABouM: Knowledge-Level Action and Bounding Geometry Motion Planner Andre Gaschler, Ronald P. A. Petrick, Oussama Khatib, Alois C. Knoll

Learning Explanatory Rules from Noisy Data Richard Evans, Edward Grefenstette

Lifted Relational Neural Networks: Efficient Learning of Latent Relational Structures Gustav Sourek, Vojtech Aschenbrenner, Filip Zelezný, Steven Schockaert, Ondrej Kuzelka

Linear Satisfiability Preserving Assignments Kei Kimura, Kazuhisa Makino

LTL on Finite and Process Traces: Complexity Results and a Practical Reasoner Valeria Fionda, Gianluigi Greco

MCTS-Minimax Hybrids with State Evaluations Hendrik Baier, Mark H. M. Winands

Nash Stable Outcomes in Fractional Hedonic Games: Existence, Efficiency and Computation Vittorio Bilò, Angelo Fanelli, Michele Flammini, Gianpiero Monaco, Luca Moscardelli

On the Behavior of Convolutional Nets for Feature Extraction Dario Garcia-Gasulla, Ferran Parés, Armand Vilalta, Jonathan Moreno, Eduard Ayguadé, Jesús Labarta, Ulises Cortés, Toyotaro Suzumura

Optimal Torpedo Scheduling Adrian Goldwaser, Andreas Schutt

Pre-Wiring and Pre-Training: What Does a Neural Network Need to Learn Truly General Identity Rules? Raquel G. Alhama, Willem H. Zuidema

Proximal Gradient Temporal Difference Learning: Stable Reinforcement Learning with Polynomial Sample Complexity Bo Liu, Ian Gemp, Mohammad Ghavamzadeh, Ji Liu, Sridhar Mahadevan, Marek Petrik

Query Answering with Transitive and Linear-Ordered Data Antoine Amarilli, Michael Benedikt, Pierre Bourhis, Michael Vanden Boom

Querying Log Data with Metric Temporal Logic Sebastian Brandt, Elem Güzel Kalayci, Vladislav Ryzhikov, Guohui Xiao, Michael Zakharyaschev

Rademacher Complexity Bounds for a Penalized Multi-Class Semi-Supervised Algorithm Yury Maximov, Massih-Reza Amini, Zaïd Harchaoui

Resource-Bounded Norm Monitoring in Multi-Agent Systems Natalia Criado

Revisiting the Approximation Bound for Stochastic Submodular Cover Lisa Hellerstein, Devorah Kletenik

Revisiting the Arcade Learning Environment: Evaluation Protocols and Open Problems for General Agents Marlos C. Machado, Marc G. Bellemare, Erik Talvitie, Joel Veness, Matthew J. Hausknecht, Michael Bowling

Robust Text Classification Under Confounding Shift Virgile Landeiro, Aron Culotta

ScottyActivity: Mixed Discrete-Continuous Planning with Convex Optimization Enrique Fernández-González, Brian C. Williams, Erez Karpas

SMOTE for Learning from Imbalanced Data: Progress and Challenges, Marking the 15-Year Anniversary Alberto Fernández, Salvador García, Francisco Herrera, Nitesh V. Chawla

Solving Large Problems with Heuristic Search: General-Purpose Parallel External-Memory Search Matthew Hatem, Ethan Burns, Wheeler Ruml

Solving Multi-Agent Path Finding on Strongly Biconnected Digraphs Adi Botea, Davide Bonusi, Pavel Surynek

State-Space Abstractions for Probabilistic Inference: A Systematic Review Stefan Lüdtke, Max Schröder, Frank Krüger, Sebastian Bader, Thomas Kirste

Survey of the State of the Art in Natural Language Generation: Core Tasks, Applications and Evaluation Albert Gatt, Emiel Krahmer

Symbol Grounding Association in Multimodal Sequences with Missing Elements Federico Raue, Andreas Dengel, Thomas M. Breuel, Marcus Liwicki

The Power of Verification for Greedy Mechanism Design Dimitris Fotakis, Piotr Krysta, Carmine Ventre

Transition-Based Neural Word Segmentation Using Word-Level Features Meishan Zhang, Yue Zhang, Guohong Fu

Trust as a Precursor to Belief Revision Richard Booth, Aaron Hunter

Verification of Distributed Epistemic Gossip Protocols Krzysztof R. Apt, Dominik Wojtczak

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

Viewpoint: When Will AI Exceed Human Performance? Evidence from AI Experts Katja Grace, John Salvatier, Allan Dafoe, Baobao Zhang, Owain Evans

Visualisation and 'Diagnostic Classifiers' Reveal How Recurrent and Recursive Neural Networks Process Hierarchical Structure Dieuwke Hupkes, Sara Veldhoen, Willem H. Zuidema

Watching and Acting Together: Concurrent Plan Recognition and Adaptation for Human-Robot Teams Steven James Levine, Brian Charles Williams

When Subgraph Isomorphism Is Really Hard, and Why This Matters for Graph Databases Ciaran McCreesh, Patrick Prosser, Christine Solnon, James Trimble