JAIR 2019

75 papers

A Coupled Operational Semantics for Goals and Commitments Pankaj R. Telang, Munindar P. Singh, Neil Yorke-Smith

A Generalisation of AGM Contraction and Revision to Fragments of First-Order Logic Zhiqiang Zhuang, Zhe Wang, Kewen Wang, James P. Delgrande

A Sampling Approach for Proactive Project Scheduling Under Generalized Time-Dependent Workability Uncertainty Wen Song, Donghun Kang, Jie Zhang, Zhiguang Cao, Hui Xi

A Semantic Characterization ASP Base Revision Laurent Garcia, Claire Lefèvre, Igor Stéphan, Odile Papini, Éric Würbel

A Survey of Cross-Lingual Word Embedding Models Sebastian Ruder, Ivan Vulic, Anders Søgaard

A Survey on Temporal Reasoning for Temporal Information Extraction from Text Artuur Leeuwenberg, Marie-Francine Moens

A Survey on Transfer Learning for Multiagent Reinforcement Learning Systems Felipe Leno da Silva, Anna Helena Reali Costa

Acceptable Planning: Influencing Individual Behavior to Reduce Transportation Energy Expenditure of a City Shiwali Mohan, Hesham Rakha, Matthew Klenk

AI Generality and Spearman's Law of Diminishing Returns José Hernández-Orallo

Approximating Weighted and Priced Bribery in Scoring Rules Orgad Keller, Avinatan Hassidim, Noam Hazon

Automatic Language Identification in Texts: A Survey Tommi Jauhiainen, Marco Lui, Marcos Zampieri, Timothy Baldwin, Krister Lindén

Autonomous Target Search with Multiple Coordinated UAVs Chiara Piacentini, Sara Bernardini, J. Christopher Beck

Classifying Inconsistency Measures Using Graphs Glauber De Bona, John Grant, Anthony Hunter, Sébastien Konieczny

Community Structure in Industrial SAT Instances Carlos Ansótegui, Maria Luisa Bonet, Jesús Giráldez-Cru, Jordi Levy, Laurent Simon

Computing and Explaining Query Answers over Inconsistent DL-Lite Knowledge Bases Meghyn Bienvenu, Camille Bourgaux, François Goasdoué

Computing Multi-Modal Journey Plans Under Uncertainty Adi Botea, Akihiro Kishimoto, Evdokia Nikolova, Stefano Braghin, Michele Berlingerio, Elizabeth Daly

Conditional Simple Temporal Networks with Uncertainty and Resources Carlo Combi, Roberto Posenato, Luca Viganò, Matteo Zavatteri

Context Vectors Are Reflections of Word Vectors in Half the Dimensions Zhenisbek Assylbekov, Rustem Takhanov

Cost-Based Goal Recognition in Navigational Domains Peta Masters, Sebastian Sardiña

Deep Dialog Act Recognition Using Multiple Token, Segment, and Context Information Representations Eugénio Ribeiro, Ricardo Ribeiro, David Martins de Matos

Dependency Learning for QBF Tomás Peitl, Friedrich Slivovsky, Stefan Szeider

Distributed Gibbs: A Linear-Space Sampling-Based DCOP Algorithm Duc Thien Nguyen, William Yeoh, Hoong Chuin Lau, Roie Zivan

DSTL: Solution to Limitation of Small Corpus in Speech Emotion Recognition Ying Chen, Zhongzhe Xiao, Xiaojun Zhang, Zhi Tao

Dynamic Controllability of Controllable Conditional Temporal Problems with Uncertainty Jing Cui, Patrik Haslum

Embedding Projection for Targeted Cross-Lingual Sentiment: Model Comparisons and a Real-World Study Jeremy Barnes, Roman Klinger

Enhancing Statement Evaluation in Argumentation via Multi-Labelling Systems Pietro Baroni, Régis Riveret

Fair Allocation of Indivisible Goods to Asymmetric Agents Alireza Farhadi, Mohammad Ghodsi, Mohammad Taghi Hajiaghayi, Sébastien Lahaie, David M. Pennock, Masoud Seddighin, Saeed Seddighin, Hadi Yami

Formulas Free from Inconsistency: An Atom-Centric Characterization in Priest's Minimally Inconsistent LP Kedian Mu

From Support Propagation to Belief Propagation in Constraint Programming Gilles Pesant

Full Characterization of Parikh's Relevance-Sensitive Axiom for Belief Revision Theofanis I. Aravanis, Pavlos Peppas, Mary-Anne Williams

General Game Playing with Imperfect Information Michael John Schofield, Michael Thielscher

Goal Recognition Design in Deterministic Environments Sarah Keren, Avigdor Gal, Erez Karpas

If Nothing Is Accepted - Repairing Argumentation Frameworks Markus Ulbricht, Ringo Baumann

IKBT: Solving Symbolic Inverse Kinematics with Behavior Tree Dianmu Zhang, Blake Hannaford

Implicitly Coordinated Multi-Agent Path Finding Under Destination Uncertainty: Success Guarantees and Computational Complexity Bernhard Nebel, Thomas Bolander, Thorsten Engesser, Robert Mattmüller

Interpretable Charge Prediction for Criminal Cases with Dynamic Rationale Attention Wenhan Chao, Xin Jiang, Zhunchen Luo, Yakun Hu, Wenjia Ma

Iterative Local Voting for Collective Decision-Making in Continuous Spaces Nikhil Garg, Vijay Kamble, Ashish Goel, David Marn, Kamesh Munagala

Level-0 Models for Predicting Human Behavior in Games James R. Wright, Kevin Leyton-Brown

Logical Foundations of Linked Data Anonymisation Bernardo Cuenca Grau, Egor V. Kostylev

Modeling and Planning with Macro-Actions in Decentralized POMDPs Christopher Amato, George Dimitri Konidaris, Leslie Pack Kaelbling, Jonathan P. How

Multi-Agent Inverse Reinforcement Learning for Certain General-Sum Stochastic Games Xiaomin Lin, Stephen C. Adams, Peter A. Beling

Multi-Fidelity Gaussian Process Bandit Optimisation Kirthevasan Kandasamy, Gautam Dasarathy, Junier B. Oliva, Jeff G. Schneider, Barnabás Póczos

Multi-Scale Hierarchical Residual Network for Dense Captioning Yan Tian, Xun Wang, Jiachen Wu, Ruili Wang, Bailin Yang

Negotiable Votes Umberto Grandi, Davide Grossi, Paolo Turrini

New Approximations for Coalitional Manipulation in Scoring Rules Orgad Keller, Avinatan Hassidim, Noam Hazon

On Inductive Abilities of Latent Factor Models for Relational Learning Théo Trouillon, Éric Gaussier, Christopher R. Dance, Guillaume Bouchard

On Non-Cooperativeness in Social Distance Games Alkida Balliu, Michele Flammini, Giovanna Melideo, Dennis Olivetti

On Overfitting and Asymptotic Bias in Batch Reinforcement Learning with Partial Observability Vincent François-Lavet, Guillaume Rabusseau, Joelle Pineau, Damien Ernst, Raphael Fonteneau

On the Time and Space Complexity of Genetic Programming for Evolving Boolean Conjunctions Andrei Lissovoi, Pietro S. Oliveto

OptStream: Releasing Time Series Privately Ferdinando Fioretto, Pascal Van Hentenryck

Pattern-Based Approach to the Workflow Satisfiability Problem with User-Independent Constraints Daniel Karapetyan, Andrew J. Parkes, Gregory Z. Gutin, Andrei Gagarin

Pitfalls and Best Practices in Algorithm Configuration Katharina Eggensperger, Marius Lindauer, Frank Hutter

Point-Based Value Iteration for Finite-Horizon POMDPs Erwin Walraven, Matthijs T. J. Spaan

Polynomial and Exponential Bounded Logic Programs with Function Symbols: Some New Decidable Classes Vernon Asuncion, Yan Zhang, Heng Zhang, Ruixuan Li

Preference Orders on Families of Sets - When Can Impossibility Results Be Avoided? Jan Maly, Miroslaw Truszczynski, Stefan Woltran

Probabilistic Planning with Reduced Models Luis Enrique Pineda, Shlomo Zilberstein

Rank Pruning for Dominance Queries in CP-Nets Kathryn Laing, Peter Adam Thwaites, John Paul Gosling

REBA: A Refinement-Based Architecture for Knowledge Representation and Reasoning in Robotics Mohan Sridharan, Michael Gelfond, Shiqi Zhang, Jeremy L. Wyatt

Recognizing Top-Monotonic Preference Profiles in Polynomial Time Krzysztof Magiera, Piotr Faliszewski

Revisiting CFR+ and Alternating Updates Neil Burch, Matej Moravcik, Martin Schmid

Revisiting Counting Solutions for the Global Cardinality Constraint Giovanni Lo Bianco, Xavier Lorca, Charlotte Truchet, Gilles Pesant

Solving the Torpedo Scheduling Problem Martin Josef Geiger, Lucas Kletzander, Nysret Musliu

Strategic Abstention Based on Preference Extensions: Positive Results and Computer-Generated Impossibilities Florian Brandl, Felix Brandt, Christian Geist, Johannes Hofbauer

Strong Stubborn Set Pruning for Star-Topology Decoupled State Space Search Daniel Gnad, Jörg Hoffmann, Martin Wehrle

Synthesizing Argumentation Frameworks from Examples Andreas Niskanen, Johannes Peter Wallner, Matti Järvisalo

The Mathematics of Changing One's Mind, via Jeffrey's or via Pearl's Update Rule Bart Jacobs

Timed ATL: Forget Memory, Just Count Michal Knapik, Étienne André, Laure Petrucci, Wojciech Jamroga, Wojciech Penczek

Type-Aware Convolutional Neural Networks for Slot Filling Heike Adel, Hinrich Schütze

Unifying System Health Management and Automated Decision Making Edward Balaban, Stephen B. Johnson, Mykel J. Kochenderfer

Using Collective Behavior of Coupled Oscillators for Solving DCOP Allan Rodrigo Leite, Fabrício Enembreck

Variable Elimination in Binary CSPs Martin C. Cooper, Achref El Mouelhi, Cyril Terrioux

Viewpoint: Human-in-the-Loop Artificial Intelligence Fabio Massimo Zanzotto

Weighted Matching Markets with Budget Constraints Anisse Ismaili, Naoto Hamada, Yuzhe Zhang, Takamasa Suzuki, Makoto Yokoo

What Is This Article About? Extreme Summarization with Topic-Aware Convolutional Neural Networks Shashi Narayan, Shay B. Cohen, Mirella Lapata

Xeggora: Exploiting Immune-to-Evidence Symmetries with Full Aggregation in Statistical Relational Models Mohammad Mahdi Amirian, Saeed Shiry Ghidary