JAIR 2017

68 papers

A Game Theoretic Analysis of the Adversarial Retrieval Setting Ran Ben-Basat, Moshe Tennenholtz, Oren Kurland

A Knowledge Level Account of Forgetting James P. Delgrande

A Model-Theoretic View on Qualitative Constraint Reasoning Manuel Bodirsky, Peter Jonsson

A Neural Probabilistic Structured-Prediction Method for Transition-Based Natural Language Processing Hao Zhou, Yue Zhang, Chuan Cheng, Shujian Huang, Xinyu Dai, Jiajun Chen

A Probabilistic Formalization of the Appraisal for the OCC Event-Based Emotions João Carlos Gluz, Patrícia Augustin Jaques

A Survey on Lexical Simpli Cation Gustavo H. Paetzold, Lucia Specia

Adopting the Cascade Model in Ad Auctions: Efficiency Bounds and Truthful Algorithmic Mechanisms Gabriele Farina, Nicola Gatti

AND/OR Branch-and-Bound on a Computational Grid Lars Otten, Rina Dechter

Axiomatising Incomplete Preferences Through Sets of Desirable Gambles Marco Zaffalon, Enrique Miranda

Bayesian Network Structure Learning with Integer Programming: Polytopes, Facets and Complexity James Cussens, Matti Järvisalo, Janne H. Korhonen, Mark Bartlett

Chamberlin-Courant Rule with Approval Ballots: Approximating the MaxCover Problem with Bounded Frequencies in FPT Time Piotr Skowron, Piotr Faliszewski

Combinatorial Multi-Armed Bandits for Real-Time Strategy Games Santiago Ontañón

Combining Lexical and Syntactic Features for Detecting Content-Dense Texts in News Yinfei Yang, Ani Nenkova

Complexity of N-Queens Completion Ian P. Gent, Christopher Jefferson, Peter Nightingale

Complexity Results and Algorithms for Extension Enforcement in Abstract Argumentation Johannes Peter Wallner, Andreas Niskanen, Matti Järvisalo

Computational Aspects of Nearly Single-Peaked Electorates Gábor Erdélyi, Martin Lackner, Andreas Pfandler

Confidence Decision Trees via Online and Active Learning for Streaming Data Rocco De Rosa, Nicolò Cesa-Bianchi

Controlled School Choice with Soft Bounds and Overlapping Types Ryoji Kurata, Naoto Hamada, Atsushi Iwasaki, Makoto Yokoo

Decision-Theoretic Planning Under Anonymity in Agent Populations Ekhlas Sonu, Yingke Chen, Prashant Doshi

DESPOT: Online POMDP Planning with Regularization Nan Ye, Adhiraj Somani, David Hsu, Wee Sun Lee

Dynamic Repositioning to Reduce Lost Demand in Bike Sharing Systems Supriyo Ghosh, Pradeep Varakantham, Yossiri Adulyasak, Patrick Jaillet

Elections with Few Voters: Candidate Control Can Be Easy Jiehua Chen, Piotr Faliszewski, Rolf Niedermeier, Nimrod Talmon

Encoding Domain Transitions for Constraint-Based Planning Nina Ghanbari Ghooshchi, Majid Namazi, M. A. Hakim Newton, Abdul Sattar

Explicit Document Modeling Through Weighted Multiple-Instance Learning Nikolaos Pappas, Andrei Popescu-Belis

Finding a Small Vertex Cover in Massive Sparse Graphs: Construct, Local Search, and Preprocess Shaowei Cai, Jinkun Lin, Chuan Luo

Game-Theoretic Question Selection for Tests Yuqian Li, Vincent Conitzer

Improving the Efficiency of Dynamic Programming on Tree Decompositions via Machine Learning Michael Abseher, Nysret Musliu, Stefan Woltran

Indirect Causes in Dynamic Bayesian Networks Revisited Alexander Motzek, Ralf Möller

Kernel Contraction and Base Dependence Mehrdad Oveisi, James P. Delgrande, Francis Jeffry Pelletier, Fred Popowich

Learning Discrete Bayesian Networks from Continuous Data Yi-Chun Chen, Tim Allan Wheeler, Mykel J. Kochenderfer

Learning Neural Audio Embeddings for Grounding Semantics in Auditory Perception Douwe Kiela, Stephen Clark

Local Search for Minimum Weight Dominating Set with Two-Level Configuration Checking and Frequency Based Scoring Function Yiyuan Wang, Shaowei Cai, Minghao Yin

Logical Formalizations of Commonsense Reasoning: A Survey Ernest Davis

Logics of Common Ground Tim Miller, Jens Pfau, Liz Sonenberg, Yoshihisa Kashima

Managing Different Sources of Uncertainty in a BDI Framework in a Principled Way with Tractable Fragments Kim Bauters, Kevin McAreavey, Weiru Liu, Jun Hong, Lluís Godo Lacasa, Carles Sierra

Market Interfaces for Electric Vehicle Charging Sebastian Stein, Enrico H. Gerding, Adrian Nedea, Avi Rosenfeld, Nicholas R. Jennings

Multi-Organ Exchange John P. Dickerson, Tuomas Sandholm

New Canonical Representations by Augmenting OBDDs with Conjunctive Decomposition Yong Lai, Dayou Liu, Minghao Yin

On Hash-Based Work Distribution Methods for Parallel Best-First Search Yuu Jinnai, Alex Fukunaga

On Monte Carlo Tree Search and Reinforcement Learning Tom Vodopivec, Spyridon Samothrakis, Branko Ster

On the Equivalence Between Assumption-Based Argumentation and Logic Programming Martin Caminada, Claudia Schulz

On the Semantics and Complexity of Probabilistic Logic Programs Fábio Gagliardi Cozman, Denis Deratani Mauá

Parliamentary Voting Procedures: Agenda Control, Manipulation, and Uncertainty Robert Bredereck, Jiehua Chen, Rolf Niedermeier, Toby Walsh

Perturbation Training for Human-Robot Teams Ramya Ramakrishnan, Chongjie Zhang, Julie A. Shah

Preference-Based Inconsistency Management in Multi-Context Systems Thomas Eiter, Antonius Weinzierl

Prime Implicate Generation in Equational Logic Mnacho Echenim, Nicolas Peltier, Sophie Tourret

Privacy Preserving Implementation of the Max-Sum Algorithm and Its Variants Tamir Tassa, Tal Grinshpoun, Roie Zivan

Probabilistic Description Logics for Subjective Uncertainty Víctor Gutiérrez-Basulto, Jean Christoph Jung, Carsten Lutz, Lutz Schröder

Probabilistic Reasoning with Abstract Argumentation Frameworks Anthony Hunter, Matthias Thimm

Randomized Social Choice Functions Under Metric Preferences Elliot Anshelevich, John Postl

Rationalisation of Profiles of Abstract Argumentation Frameworks: Characterisation and Complexity Stéphane Airiau, Elise Bonzon, Ulle Endriss, Nicolas Maudet, Julien Rossit

Residual-Guided Look-Ahead in AND/OR Search for Graphical Models William Lam, Kalev Kask, Javier Larrosa, Rina Dechter

Resolving Over-Constrained Temporal Problems with Uncertainty Through Conflict-Directed Relaxation Peng Yu, Brian Charles Williams, Cheng Fang, Jing Cui, Patrik Haslum

Robots in Retirement Homes: Applying Off-the-Shelf Planning and Scheduling to a Team of Assistive Robots Tony T. Tran, Tiago Stegun Vaquero, Goldie Nejat, J. Christopher Beck

Sample-Based Tree Search with Fixed and Adaptive State Abstractions Jesse Hostetler, Alan Fern, Thomas G. Dietterich

Sampling Based Approaches for Minimizing Regret in Uncertain Markov Decision Processes (MDPs) Asrar Ahmed, Pradeep Varakantham, Meghna Lowalekar, Yossiri Adulyasak, Patrick Jaillet

Some Properties of Batch Value of Information in the Selection Problem Shahaf S. Shperberg, Solomon Eyal Shimony

Subset Selection via Implicit Utilitarian Voting Ioannis Caragiannis, Swaprava Nath, Ariel D. Procaccia, Nisarg Shah

The Computational Complexity of Structure-Based Causality Gadi Aleksandrowicz, Hana Chockler, Joseph Y. Halpern, Alexander Ivrii

The Length of Shortest Vertex Paths in Binary Occupancy Grids Compared to Shortest R-Constrained Ones Patrick Chisan Hew

The Linear Programming Approach to Reach-Avoid Problems for Markov Decision Processes Nikolaos Kariotoglou, Maryam Kamgarpour, Tyler H. Summers, John Lygeros

The Price of Anarchy in Auctions Tim Roughgarden, Vasilis Syrgkanis, Éva Tardos

The Sixth Answer Set Programming Competition Martin Gebser, Marco Maratea, Francesco Ricca

Tie-Breaking Strategies for Cost-Optimal Best First Search Masataro Asai, Alex Fukunaga

Time and Space Bounds for Planning Christer Bäckström, Peter Jonsson

Uniform Random Generation and Dominance Testing for CP-Nets Thomas E. Allen, Judy Goldsmith, Hayden Elizabeth Justice, Nicholas Mattei, Kayla Raines

Viewpoint: A Critical View on Smart Cities and AI Daniela Inclezan, Luis Pradanos

Welfare Effects of Market Making in Continuous Double Auctions Elaine Wah, Mason Wright, Michael P. Wellman