JAIR 2020

84 papers

A Differential Privacy Mechanism That Accounts for Network Effects for Crowdsourcing Systems Yuan Luo, Nicholas R. Jennings

A General Approach to Multimodal Document Quality Assessment Aili Shen, Bahar Salehi, Jianzhong Qi, Timothy Baldwin

A Global Constraint for the Exact Cover Problem: Application to Conceptual Clustering Maxime Chabert, Christine Solnon

A Set of Recommendations for Assessing Human-Machine Parity in Language Translation Samuel Läubli, Sheila Castilho, Graham Neubig, Rico Sennrich, Qinlan Shen, Antonio Toral

Adapting Behavior via Intrinsic Reward: A Survey and Empirical Study Cam Linke, Nadia M. Ady, Martha White, Thomas Degris, Adam White

Adaptive Stress Testing: Finding Likely Failure Events with Reinforcement Learning Ritchie Lee, Ole J. Mengshoel, Anshu Saksena, Ryan W. Gardner, Daniel Genin, Joshua Silbermann, Michael P. Owen, Mykel J. Kochenderfer

Adversarial Attacks on Crowdsourcing Quality Control Alessandro Checco, Jo Bates, Gianluca Demartini

Agreement on Target-Bidirectional Recurrent Neural Networks for Sequence-to-Sequence Learning Lemao Liu, Andrew M. Finch, Masao Utiyama, Eiichiro Sumita

AMP Chain Graphs: Minimal Separators and Structure Learning Algorithms Mohammad Ali Javidian, Marco Valtorta, Pooyan Jamshidi

An Evaluation of Communication Protocol Languages for Engineering Multiagent Systems Amit K. Chopra, H. V. Samuel Christie, Munindar P. Singh

Annotator Rationales for Labeling Tasks in Crowdsourcing Mücahid Kutlu, Tyler McDonnell, Tamer Elsayed, Matthew Lease

ASNets: Deep Learning for Generalised Planning Sam Toyer, Sylvie Thiébaux, Felipe W. Trevizan, Lexing Xie

Automated Conjecturing II: Chomp and Reasoned Game Play Alexander Bradford, J. Kain Day, Laura Hutchinson, Bryan Kaperick, Craig E. Larson, Matthew Mills, David Muncy, Nico Van Cleemput

Belief Change and 3-Valued Logics: Characterization of 19, 683 Belief Change Operators Nerio Borges, Ramón Pino Pérez

Best-First Enumeration Based on Bounding Conflicts, and Its Application to Large-Scale Hybrid Estimation Eric Timmons, Brian Charles Williams

Blind Spot Detection for Safe Sim-to-Real Transfer Ramya Ramakrishnan, Ece Kamar, Debadeepta Dey, Eric Horvitz, Julie Shah

Bounds on the Size of PC and URC Formulas Petr Kucera, Petr Savický

Bridging the Gap Between Probabilistic Model Checking and Probabilistic Planning: Survey, Compilations, and Empirical Comparison Michaela Klauck, Marcel Steinmetz, Jörg Hoffmann, Holger Hermanns

Catching Cheats: Detecting Strategic Manipulation in Distributed Optimisation of Electric Vehicle Aggregators Alvaro Perez-Diaz, Enrico H. Gerding, Frank McGroarty

Compositionality Decomposed: How Do Neural Networks Generalise? Dieuwke Hupkes, Verna Dankers, Mathijs Mul, Elia Bruni

Computing Bayes-Nash Equilibria in Combinatorial Auctions with Verification Vitor Bosshard, Benedikt Bünz, Benjamin Lubin, Sven Seuken

Conservative Extensions in Horn Description Logics with Inverse Roles Jean Christoph Jung, Carsten Lutz, Mauricio Martel, Thomas Schneider

Constraint and Satisfiability Reasoning for Graph Coloring Emmanuel Hebrard, George Katsirelos

Contiguous Cake Cutting: Hardness Results and Approximation Algorithms Paul W. Goldberg, Alexandros Hollender, Warut Suksompong

Contrasting the Spread of Misinformation in Online Social Networks Marco Amoruso, Daniele Anello, Vincenzo Auletta, Raffaele Cerulli, Diodato Ferraioli, Andrea Raiconi

Credibility-Limited Base Revision: New Classes and Their Characterizations Marco Garapa, Eduardo Fermé, Maurício D. Luís Reis

Deep Reinforcement Learning: A State-of-the-Art Walkthrough Aristotelis Lazaridis, Anestis Fachantidis, Ioannis P. Vlahavas

Diagnosis of Deep Discrete-Event Systems Gianfranco Lamperti, Marina Zanella, Xiangfu Zhao

Epistemic Argumentation Framework: Theory and Computation Chiaki Sakama, Tran Cao Son

Fair Allocation with Diminishing Differences Erel Segal-Halevi, Avinatan Hassidim, Haris Aziz

Gradient-Based Learning Methods Extended to Smooth Manifolds Applied to Automated Clustering Alkis Koudounas, Simone G. O. Fiori

Hedonic Games with Ordinal Preferences and Thresholds Anna Maria Kerkmann, Jérôme Lang, Anja Rey, Jörg Rothe, Hilmar Schadrack, Lena Schend

How to Do Things with Words: A Bayesian Approach Piotr J. Gmytrasiewicz

HTN Planning as Heuristic Progression Search Daniel Höller, Pascal Bercher, Gregor Behnke, Susanne Biundo

Image Captioning Using Facial Expression and Attention Omid Mohamad Nezami, Mark Dras, Stephen Wan, Cécile Paris

Improved High Dimensional Discrete Bayesian Network Inference Using Triplet Region Construction Peng Lin, Martin Neil, Norman E. Fenton

Improving Nash Social Welfare Approximations Peter McGlaughlin, Jugal Garg

Incompatibilities Between Iterated and Relevance-Sensitive Belief Revision Theofanis I. Aravanis, Pavlos Peppas, Mary-Anne Williams

Incomplete Preferences in Single-Peaked Electorates Zack Fitzsimmons, Martin Lackner

Jointly Improving Parsing and Perception for Natural Language Commands Through Human-Robot Dialog Jesse Thomason, Aishwarya Padmakumar, Jivko Sinapov, Nick Walker, Yuqian Jiang, Harel Yedidsion, Justin W. Hart, Peter Stone, Raymond J. Mooney

Learning the Language of Software Errors Hana Chockler, Pascal Kesseli, Daniel Kroening, Ofer Strichman

Lifted Bayesian Filtering in Multiset Rewriting Systems Stefan Lüdtke, Thomas Kirste

Mapping the Landscape of Artificial Intelligence Applications Against COVID-19 Joseph Bullock, Alexandra Sasha Luccioni, Katherine Hoffmann Pham, Cynthia Sin Nga Lam, Miguel A. Luengo-Oroz

Maximin Share Allocations on Cycles Miroslaw Truszczynski, Zbigniew Lonc

Modular Structures and Atomic Decomposition in Ontologies Chiara Del Vescovo, Matthew Horridge, Bijan Parsia, Uli Sattler, Thomas Schneider, Haoruo Zhao

Neural Machine Translation: A Review Felix Stahlberg

On Sparse Discretization for Graphical Games Luis E. Ortiz

On the Complexity of Learning a Class Ratio from Unlabeled Data Benjamin Fish, Lev Reyzin

Ontology Reasoning with Deep Neural Networks Patrick Hohenecker, Thomas Lukasiewicz

Planning for Hybrid Systems via Satisfiability Modulo Theories Michael Cashmore, Daniele Magazzeni, Parisa Zehtabi

Planning High-Level Paths in Hostile, Dynamic, and Uncertain Environments Jacopo Banfi, Vikram Shree, Mark E. Campbell

Point at the Triple: Generation of Text Summaries from Knowledge Base Triples Pavlos Vougiouklis, Eddy Maddalena, Jonathon S. Hare, Elena Simperl

Predicting Strategic Behavior from Free Text Omer Ben-Porat, Sharon Hirsch, Lital Kuchy, Guy Elad, Roi Reichart, Moshe Tennenholtz

Preferences Single-Peaked on a Circle Dominik Peters, Martin Lackner

Properties of Switch-List Representations of Boolean Functions Milos Chromý, Ondrej Cepek

Qualitative Numeric Planning: Reductions and Complexity Blai Bonet, Hector Geffner

Regret Bounds for Reinforcement Learning via Markov Chain Concentration Ronald Ortner

Representing Fitness Landscapes by Valued Constraints to Understand the Complexity of Local Search Artem Kaznatcheev, David A. Cohen, Peter Jeavons

Reviewing Autoencoders for Missing Data Imputation: Technical Trends, Applications and Outcomes Ricardo Cardoso Pereira, Miriam Seoane Santos, Pedro Pereira Rodrigues, Pedro Henriques Abreu

Revisiting Graph Width Measures for CNF-Encodings Romain Wallon, Stefan Mengel

Robust Multi-Agent Path Finding and Executing Dor Atzmon, Roni Stern, Ariel Felner, Glenn Wagner, Roman Barták, Neng-Fa Zhou

Saturated Cost Partitioning for Optimal Classical Planning Jendrik Seipp, Thomas Keller, Malte Helmert

Scalable Planning with Deep Neural Network Learned Transition Models Ga Wu, Buser Say, Scott Sanner

Simulating Offender Mobility: Modeling Activity Nodes from Large-Scale Human Activity Data Raquel Rosés, Cristina Kadar, Charlotte Gerritsen, Ovi Chris Rouly

Sliding-Window Thompson Sampling for Non-Stationary Settings Francesco Trovò, Marcello Restelli, Nicola Gatti

Solving Delete Free Planning with Relaxed Decision Diagram Based Heuristics Margarita P. Castro, Chiara Piacentini, André Augusto Ciré, J. Christopher Beck

Structure from Randomness in Halfspace Learning with the Zero-One Loss Ata Kabán, Robert J. Durrant

Subgoaling Techniques for Satisficing and Optimal Numeric Planning Enrico Scala, Patrik Haslum, Sylvie Thiébaux, Miquel Ramírez

TensorLog: A Probabilistic Database Implemented Using Deep-Learning Infrastructure William W. Cohen, Fan Yang, Kathryn Mazaitis

The 2k Neighborhoods for Grid Path Planning Nicolás Rivera, Carlos Hernández, Nicolás Hormazábal, Jorge A. Baier

The Bottleneck Simulator: A Model-Based Deep Reinforcement Learning Approach Iulian Vlad Serban, Chinnadhurai Sankar, Michael Pieper, Joelle Pineau, Yoshua Bengio

The Complexity Landscape of Outcome Determination in Judgment Aggregation Ulle Endriss, Ronald de Haan, Jérôme Lang, Marija Slavkovik

The Effects of Experience on Deception in Human-Agent Negotiation Johnathan Mell, Gale M. Lucas, Sharon Mozgai, Jonathan Gratch

The Force Awakens: Artificial Intelligence for Consumer Law Marco Lippi, Giuseppe Contissa, Agnieszka Jablonowska, Francesca Lagioia, Hans-Wolfgang Micklitz, Przemyslaw Palka, Giovanni Sartor, Paolo Torroni

The Impact of Treewidth on Grounding and Solving of Answer Set Programs Bernhard Bliem, Michael Morak, Marius Moldovan, Stefan Woltran

The Parameterized Complexity of Motion Planning for Snake-like Robots Siddharth Gupta, Guy Sa'ar, Meirav Zehavi

The PETLON Algorithm to Plan Efficiently for Task-Level-Optimal Navigation Shih-Yun Lo, Shiqi Zhang, Peter Stone

To Regulate or Not: A Social Dynamics Analysis of an Idealised AI Race The Anh Han, Luís Moniz Pereira, Francisco C. Santos, Tom Lenaerts

Towards Knowledgeable Supervised Lifelong Learning Systems Diana Benavides Prado, Yun Sing Koh, Patricia Riddle

Towards Partial Order Reductions for Strategic Ability Wojciech Jamroga, Wojciech Penczek, Teofil Sidoruk, Piotr Dembinski, Antoni W. Mazurkiewicz

Using Machine Learning for Decreasing State Uncertainty in Planning Senka Krivic, Michael Cashmore, Daniele Magazzeni, Sándor Szedmák, Justus H. Piater

Using Task Descriptions in Lifelong Machine Learning for Improved Performance and Zero-Shot Transfer Mohammad Rostami, David Isele, Eric Eaton

Variational Bayes in Private Settings (VIPS) Mijung Park, James R. Foulds, Kamalika Chaudhuri, Max Welling

Vocabulary Alignment in Openly Specified Interactions Paula Daniela Chocron