JAIR Volume 51 (2014)
Craig Boutilier, Editor in Chief
7 x 10, 872 pp., references, index, illus., $100.00 softcover, ISBN 978-1-57735-729-2
Contents
Cooperative Monitoring to Diagnose Multiagent Plans / 1
Roberto Micalizio, Pietro Torasso
On the Testability of BDI Agent Systems / 71
Michael Winikoff, Stephen Cranefield
Text Rewriting Improves Semantic Role Labeling / 133
Kristian Woodsend, Mirella Lapata
Simple Regret Optimization in Online Planning for Markov Decision Processes / 165
Zohar Feldman, Carmel Domshlak
Sensitivity of Diffusion Dynamics to Network Uncertainty / 207
Abhijin Adiga, Chris J. Kuhlman, Henning S. Mortveit, Anil Kumar S. Vullikanti
Entrenchment-Based Horn Contraction / 227
Zhiqiang Zhuang, Maurice Pagnucco
Automaton Plans / 255
Christer Bäckström, Anders Jonsson, Peter Jonsson
Distributed Heuristic Forward Search for Multi-agent Planning / 293
Raz Nissim, Ronen Brafman
Verification of Agent-Based Artifact Systems / 333
Francesco Belardinelli, Alessio Lomuscio, Fabio Patrizi
A Novel SAT-Based Approach to Model Based Diagnosis / 377
Amit Metodi, Roni Stern, Meir Kalech, Michael Codish
Scoring Functions Based on Second Level Score for k-SAT with Long Clauses / 413
Shaowei Cai, Chuan Luo, Kaile Su
Push and Rotate: A Complete Multi-Agent Pathfinding Algorithm / 443
Boris de Wilde, Adriaan W. ter Mors, Cees Witteveen
Reasoning about Topological and Cardinal Direction Relations Between 2-Dimensional Spatial Objects / 493
Anthony G. Cohn, Sanjiang Li, Weiming Liu, Jochen Renz
Optimal Scheduling of Contract Algorithms for Anytime Problem-Solving / 533
Alejandro López-Ortiz, Spyros Angelopoulos, Angèle M. Hamel
Iterative Plan Construction for the Workflow Satisfiability Problem / 555
David Cohen, Jason Crampton, Andrei Gagarin, Gregory Gutin, Mark Jones
No Agent Left Behind: Dynamic Fair Division of Multiple Resources / 579
Ian Kash, Ariel D. Procaccia, Nisarg Shah
Using Meta-Mining to Support Data Mining Workflow Planning and Optimization / 605
Phong Nguyen, Melanie Hilario, Alexandros Kalousis
The Complexity of Answering Conjunctive and Navigational Queries over OWL 2 EL Knowledge Bases / 645
Giorgio Stefanoni, Boris Motik, Markus Krötzsch, Sebastian Rudolph
On Minimum Representations of Matched Formulas / 707
Ondřej Čepek, Štefan Gurský, Petr Kučera
Tutorial on Structured Continuous-Time Markov Processes / 725
Christian R. Shelton, Gianfranco Ciardo
Research Note: BDD Ordering Heuristics for Classical Planning / 779
Peter Kissmann, Jörg Hoffmann
A Hidden Markov Model-Based Acoustic Cicada Detector for Crowdsourced Smartphone Biodiversity Monitoring / 805
Davide Zilli, Oliver Parson, Geoff V. Merrett, Alex Rogers
An Exact Double-Oracle Algorithm for Zero-Sum Extensive-Form Games with Imperfect Information / 829
Branislav Bošanský, Christopher Kiekintveld, Viliam Lisý, Michal PĕchouDek
Index / 867