JAIR 2015

48 papers

A Case-Based Reasoning Framework to Choose Trust Models for Different E-Marketplace Environments Athirai Aravazhi Irissappane, Jie Zhang

A Compositional Framework for Grounding Language Inference, Generation, and Acquisition in Video Haonan Yu, N. Siddharth, Andrei Barbu, Jeffrey Mark Siskind

Achieving Goals Quickly Using Real-Time Search: Experimental Results in Video Games Scott Kiesel, Ethan Burns, Wheeler Ruml

Agnostic Pointwise-Competitive Selective Classification Yair Wiener, Ran El-Yaniv

Approximate Value Iteration with Temporally Extended Actions Timothy A. Mann, Shie Mannor, Doina Precup

AutoFolio: An Automatically Configured Algorithm Selector Marius Lindauer, Holger H. Hoos, Frank Hutter, Torsten Schaub

Belief Change with Uncertain Action Histories Aaron Hunter, James P. Delgrande

Bypassing Combinatorial Protections: Polynomial-Time Algorithms for Single-Peaked Electorates Felix Brandt, Markus Brill, Edith Hemaspaandra, Lane A. Hemaspaandra

Clause Elimination for SAT and QSAT Marijn Heule, Matti Järvisalo, Florian Lonsing, Martina Seidl, Armin Biere

Coactive Learning Pannaga Shivaswamy, Thorsten Joachims

Coherent Predictive Inference Under Exchangeability with Imprecise Probabilities Gert De Cooman, Jasper De Bock, Márcio Alves Diniz

Compressing Optimal Paths with Run Length Encoding Ben Strasser, Adi Botea, Daniel Harabor

Computing Convex Coverage Sets for Faster Multi-Objective Coordination Diederik Marijn Roijers, Shimon Whiteson, Frans A. Oliehoek

Constraining Information Sharing to Improve Cooperative Information Gathering Igor Rochlin, David Sarne

Continuing Plan Quality Optimisation Fazlul Hasan Siddiqui, Patrik Haslum

Decision Making with Dynamic Uncertain Events Meir Kalech, Shulamit Reches

Deterministic Oversubscription Planning as Heuristic Search: Abstractions and Reformulations Carmel Domshlak, Vitaly Mirkis

Distributed Evaluation of Nonmonotonic Multi-Context Systems Minh Dao-Tran, Thomas Eiter, Michael Fink, Thomas Krennwallner

Evolutionary Dynamics of Multi-Agent Learning: A Survey Daan Bloembergen, Karl Tuyls, Daniel Hennes, Michael Kaisers

Expressiveness of Two-Valued Semantics for Abstract Dialectical Frameworks Hannes Strass

Inferring Team Task Plans from Human Meetings: A Generative Modeling Approach with Logic-Based Prior Been Kim, Caleb M. Chacha, Julie A. Shah

ITSAT: An Efficient SAT-Based Temporal Planner Masood Feyzbakhsh Rankooh, Gholamreza Ghassem-Sani

Knowledge-Based Textual Inference via Parse-Tree Transformations Roy Bar-Haim, Ido Dagan, Jonathan Berant

Lazy Model Expansion: Interleaving Grounding with Search Broes De Cat, Marc Denecker, Maurice Bruynooghe, Peter J. Stuckey

Learning Relational Event Models from Video Krishna Sandeep Reddy Dubba, Anthony G. Cohn, David C. Hogg, Mehul Bhatt, Frank Dylla

Leveraging Online User Feedback to Improve Statistical Machine Translation Lluís Formiga, Alberto Barrón-Cedeño, Lluís Màrquez, A. Q. Carlos Henríquez, José B. Mariño

Mechanisms for Multi-Unit Combinatorial Auctions with a Few Distinct Goods Piotr Krysta, Orestis Telelis, Carmine Ventre

Model Theory of XPath on Data Trees. Part I: Bisimulation and Characterization Diego Figueira, Santiago Figueira, Carlos Areces

Modeling the Lifespan of Discourse Entities with Application to Coreference Resolution Marie-Catherine de Marneffe, Marta Recasens, Christopher Potts

On a Practical, Integer-Linear Programming Model for Delete-Free Tasks and Its Use as a Heuristic for Cost-Optimal Planning Tatsuya Imai, Alex Fukunaga

On the Subexponential-Time Complexity of CSP Ronald de Haan, Iyad A. Kanj, Stefan Szeider

PAGOdA: Pay-as-You-Go Ontology Query Answering Using a Datalog Reasoner Yujiao Zhou, Bernardo Cuenca Grau, Yavor Nenov, Mark Kaminski, Ian Horrocks

Pay-as-You-Go Description Logic Reasoning by Coupling Tableau and Saturation Procedures Andreas Steigmiller, Birte Glimm

Placement of Loading Stations for Electric Vehicles: No Detours Necessary! Stefan Funke, André Nusser, Sabine Storandt

Possible and Necessary Winners of Partial Tournaments Haris Aziz, Markus Brill, Felix A. Fischer, Paul Harrenstein, Jérôme Lang, Hans Georg Seedig

Probabilistic Inference Techniques for Scalable Multiagent Decision Making Akshat Kumar, Shlomo Zilberstein, Marc Toussaint

Regular Path Queries in Lightweight Description Logics: Complexity and Algorithms Meghyn Bienvenu, Magdalena Ortiz, Mantas Simkus

Relations Between Spatial Calculi About Directions and Orientations Till Mossakowski, Reinhard Moratz

Revision by History Paolo Liberatore

Satsisfiability and Systematicity Matthew L. Ginsberg

Scheduling Conservation Designs for Maximum Flexibility via Network Cascade Optimization Shan Xue, Alan Fern, Daniel Sheldon

Solving #SAT and MAXSAT by Dynamic Programming Sigve Hortemo Sæther, Jan Arne Telle, Martin Vatshelle

The Ceteris Paribus Structure of Logics of Game Forms Davide Grossi, Emiliano Lorini, François Schwarzentruber

Tree-Width and the Computational Complexity of MAP Approximations in Bayesian Networks Johan Kwisthout

Using Machine Translation to Provide Target-Language Edit Hints in Computer Aided Translation Based on Translation Memories Miquel Esplà-Gomis, Felipe Sánchez-Martínez, Mikel L. Forcada

Weighted Electoral Control Piotr Faliszewski, Edith Hemaspaandra, Lane A. Hemaspaandra

Weighted Regret-Based Likelihood: A New Approach to Describing Uncertainty Joseph Y. Halpern

Word vs. Class-Based Word Sense Disambiguation Rubén Izquierdo, Armando Suárez, German Rigau