JAIR 2014

68 papers

A Decision-Theoretic Model of Assistance Alan Fern, Sriraam Natarajan, Kshitij Judah, Prasad Tadepalli

A Hidden Markov Model-Based Acoustic Cicada Detector for Crowdsourced Smartphone Biodiversity Monitoring Davide Zilli, Oliver Parson, Geoff V. Merrett, Alex Rogers

PDF

A Multivariate Complexity Analysis of Lobbying in Multiple Referenda Robert Bredereck, Jiehua Chen, Sepp Hartung, Stefan Kratsch, Rolf Niedermeier, Ondrej Suchý, Gerhard J. Woeginger

PDF

A Novel SAT-Based Approach to Model Based Diagnosis Amit Metodi, Roni Stern, Meir Kalech, Michael Codish

PDF

A Procedural Characterization of Solution Concepts in Games Joseph Y. Halpern, Yoram Moses

PDF

Algorithms and Applications for the Same-Decision Probability Suming Jeremiah Chen, Arthur Choi, Adnan Darwiche

PDF

Algorithms for Argumentation Semantics: Labeling Attacks as a Generalization of Labeling Arguments Samer Nofal, Katie Atkinson, Paul E. Dunne

PDF

An Efficient Algorithm for Estimating State Sequences in Imprecise Hidden Markov Models Jasper De Bock, Gert de Cooman

PDF

An Empirical Evaluation of Ranking Measures with Respect to Robustness to Noise Daniel P. Berrar

PDF

An Exact Double-Oracle Algorithm for Zero-Sum Extensive-Form Games with Imperfect Information Branislav Bosanský, Christopher Kiekintveld, Viliam Lisý, Michal Pechoucek

PDF

Arbitration and Stability in Cooperative Games with Overlapping Coalitions Yair Zick, Evangelos Markakis, Edith Elkind

PDF

Automaton Plans Christer Bäckström, Anders Jonsson, Peter Jonsson

PDF

BDD Ordering Heuristics for Classical Planning Peter Kissmann, Jörg Hoffmann

PDF

Belief Tracking for Planning with Sensing: Width, Complexity and Approximations Blai Bonet, Hector Geffner

PDF

Closure and Consistency in Logic-Associated Argumentation Phan Minh Dung, Phan Minh Thang

PDF

Comparative Evaluation of Link-Based Approaches for Candidate Ranking in Link-to-Wikipedia Systems Norberto Fernández García, Jesús Arias-Fisteus, Luis Sánchez Fernández

PDF

Convergence of a Q-Learning Variant for Continuous States and Actions S. W. Carden

PDF

Cooperative Monitoring to Diagnose Multiagent Plans Roberto Micalizio, Pietro Torasso

PDF

Demand Side Energy Management via Multiagent Coordination in Consumer Cooperatives Andreas Veit, Ying Xu, Ronghuo Zheng, Nilanjan Chakraborty, Katia P. Sycara

PDF

Distributed Heuristic Forward Search for Multi-Agent Planning Raz Nissim, Ronen I. Brafman

PDF

Efficient HEX-Program Evaluation Based on Unfounded Sets Thomas Eiter, Michael Fink, Thomas Krennwallner, Christoph Redl, Peter Schüller

PDF

Enhanced Partial Expansion a Meir Goldenberg, Ariel Felner, Roni Stern, Guni Sharon, Nathan R. Sturtevant, Robert C. Holte, Jonathan Schaeffer

PDF

Entrenchment-Based Horn Contraction Zhiqiang Zhuang, Maurice Pagnucco

PDF

False-Name Manipulation in Weighted Voting Games Is Hard for Probabilistic Polynomial Time Anja Rey, Jörg Rothe

PDF

Finding Optimal Solutions for Voting Game Design Problems Bart de Keijzer, Tomas B. Klos, Yingqian Zhang

PDF

Game-Theoretic Patrolling with Dynamic Execution Uncertainty and a Case Study on a Real Transit System Francesco Maria Delle Fave, Albert Xin Jiang, Zhengyu Yin, Chao Zhang, Milind Tambe, Sarit Kraus, John P. Sullivan

PDF

HC-Search: A Learning Framework for Search-Based Structured Prediction Janardhan Rao Doppa, Alan Fern, Prasad Tadepalli

PDF

Improved Separations of Regular Resolution from Clause Learning Proof Systems Maria Luisa Bonet, Sam Buss, Jan Johannsen

PDF

Improving Delete Relaxation Heuristics Through Explicitly Represented Conjunctions Emil Ragip Keyder, Jörg Hoffmann, Patrik Haslum

PDF

Inapproximability of Treewidth and Related Problems Yu Wu, Per Austrin, Toniann Pitassi, David Liu

PDF

Information-Theoretic Multi-View Domain Adaptation: A Theoretical and Empirical Study Pei Yang, Wei Gao

PDF

Integrating Queueing Theory and Scheduling for Dynamic Scheduling Problems Daria Terekhov, Tony T. Tran, Douglas G. Down, J. Christopher Beck

PDF

Iterative Plan Construction for the Workflow Satisfiability Problem David A. Cohen, Jason Crampton, Andrei Gagarin, Gregory Z. Gutin, Mark Jones

PDF

Knowledge Forgetting in Answer Set Programming Yisong Wang, Yan Zhang, Yi Zhou, Mingyi Zhang

PDF

Large-Scale Optimization for Evaluation Functions with Minimax Search Kunihito Hoki, Tomoyuki Kaneko

PDF

MDD Propagation for Sequence Constraints David Bergman, André A. Ciré, Willem Jan van Hoeve

PDF

Mechanisms for Fair Allocation Problems: No-Punishment Payment Rules in Verifiable Settings Gianluigi Greco, Francesco Scarcello

PDF

Monotone Temporal Planning: Tractability, Extensions and Applications Martin C. Cooper, Frederic Maris, Pierre Régnier

PDF

Multiagent Only Knowing in Dynamic Systems Vaishak Belle, Gerhard Lakemeyer

PDF

Multimodal Distributional Semantics Elia Bruni, Nam-Khanh Tran, Marco Baroni

PDF

No Agent Left Behind: Dynamic Fair Division of Multiple Resources Ian A. Kash, Ariel D. Procaccia, Nisarg Shah

PDF

On Minimum Representations of Matched Formulas Ondrej Cepek, Stefan Gurský, Petr Kucera

PDF

On the Testability of BDI Agent Systems Michael Winikoff, Stephen Cranefield

PDF

Optimal Scheduling of Contract Algorithms for Anytime Problem-Solving Alejandro López-Ortiz, Spyros Angelopoulos, Angèle M. Hamel

PDF

Planning Through Automatic Portfolio Configuration: The PbP Approach Alfonso Gerevini, Alessandro Saetti, Mauro Vallati

PDF

Policy Iteration Based on Stochastic Factorization André da Motta Salles Barreto, Joelle Pineau, Doina Precup

PDF

Probabilistic Inference in Credal Networks: New Complexity Results Denis Deratani Mauá, Cassio P. de Campos, Alessio Benavoli, Alessandro Antonucci

PDF

Property Directed Reachability for Automated Planning Martin Suda

PDF

Push and Rotate: A Complete Multi-Agent Pathfinding Algorithm Boris de Wilde, Adriaan ter Mors, Cees Witteveen

PDF

Reasoning About Topological and Cardinal Direction Relations Between 2-Dimensional Spatial Objects Anthony G. Cohn, Sanjiang Li, Weiming Liu, Jochen Renz

PDF

Reconnection with the Ideal Tree: A New Approach to Real-Time Search Nicolas Rivera, Leon Illanes, Jorge A. Baier, Carlos Hernández

PDF

Representing and Reasoning About the Rules of General Games with Imperfect Information Stephan Schiffel, Michael Thielscher

PDF

Robustness and Stability in Constraint Programming Under Dynamism and Uncertainty Laura Climent, Richard J. Wallace, Miguel A. Salido, Federico Barber

PDF

Scoring Functions Based on Second Level Score for K-SAT with Long Clauses Shaowei Cai, Chuan Luo, Kaile Su

PDF

Selfishness Level of Strategic Games Krzysztof R. Apt, Guido Schäfer

PDF

Sensitivity of Diffusion Dynamics to Network Uncertainty Abhijin Adiga, Chris J. Kuhlman, Henning S. Mortveit, Anil Vullikanti

PDF

Sentiment Analysis of Short Informal Texts Svetlana Kiritchenko, Xiaodan Zhu, Saif M. Mohammad

PDF

Simple Regret Optimization in Online Planning for Markov Decision Processes Zohar Feldman, Carmel Domshlak

PDF

Speeding up Iterative Ontology Alignment Using Block-Coordinate Descent Uthayasanker Thayasivam, Prashant Doshi

PDF

Symmetric Subgame-Perfect Equilibria in Resource Allocation Ludek Cigler, Boi Faltings

PDF

Text Rewriting Improves Semantic Role Labeling Kristian Woodsend, Mirella Lapata

PDF

Text-Based Twitter User Geolocation Prediction Bo Han, Paul Cook, Timothy Baldwin

PDF

The Complexity of Answering Conjunctive and Navigational Queries over OWL 2 EL Knowledge Bases Giorgio Stefanoni, Boris Motik, Markus Krötzsch, Sebastian Rudolph

PDF

Topic-Based Dissimilarity and Sensitivity Models for Translation Rule Selection Min Zhang, Xinyan Xiao, Deyi Xiong, Qun Liu

PDF

Towards Minimizing Disappointment in Repeated Games Jacob W. Crandall

PDF

Tutorial on Structured Continuous-Time Markov Processes Christian R. Shelton, Gianfranco Ciardo

PDF

Using Meta-Mining to Support Data Mining Workflow Planning and Optimization P. Nguyen, Melanie Hilario, Alexandros Kalousis

PDF

Verification of Agent-Based Artifact Systems Francesco Belardinelli, Alessio Lomuscio, Fabio Patrizi

PDF