JAIR Volume 51 Articles
Each entry in this table of contents provides links to an individual article and its appendices (if any):
R. Micalizio and P. Torasso (2014) "Cooperative Monitoring to Diagnose Multiagent Plans", Volume 51, pages 1-70
M. Winikoff and S. Cranefield (2014) "On the Testability of BDI Agent Systems", Volume 51, pages 71-131
K. Woodsend and M. Lapata (2014) "Text Rewriting Improves Semantic Role Labeling", Volume 51, pages 133-164
Z. Feldman and C. Domshlak (2014) "Simple Regret Optimization in Online Planning for Markov Decision Processes", Volume 51, pages 165-205
A. Adiga, C. J. Kuhlman, H. S. Mortveit and A. K. S. Vullikanti (2014) "Sensitivity of Diffusion Dynamics to Network Uncertainty", Volume 51, pages 207-226
AAAI 2013 Honorable Mention for Best Paper
Abstract | PDF | PostScript | doi:10.1613/jair.4330
Appendix - Data Plots
Z. Zhuang and M. Pagnucco (2014) "Entrenchment-Based Horn Contraction", Volume 51, pages 227-254
C. Bäckström, A. Jonsson and P. Jonsson (2014) "Automaton Plans", Volume 51, pages 255-291
R. Nissim and R. Brafman (2014) "Distributed Heuristic Forward Search for Multi-agent Planning", Volume 51, pages 293-332
F. Belardinelli, A. Lomuscio and F. Patrizi (2014) "Verification of Agent-Based Artifact Systems", Volume 51, pages 333-376
A. Metodi, R. Stern, M. Kalech and M. Codish (2014) "A Novel SAT-Based Approach to Model Based Diagnosis", Volume 51, pages 377-411
S. Cai, C. Luo and K. Su (2014) "Scoring Functions Based on Second Level Score for k-SAT with Long Clauses", Volume 51, pages 413-441
B. de Wilde, A. W. ter Mors and C. Witteveen (2014) "Push and Rotate: a Complete Multi-agent Pathfinding Algorithm", Volume 51, pages 443-492
A. G. Cohn, S. Li, W. Liu and J. Renz (2014) "Reasoning about Topological and Cardinal Direction Relations Between 2-Dimensional Spatial Objects", Volume 51, pages 493-532
A. Lopez-Ortiz, S. Angelopoulos and A. M. Hamel (2014) "Optimal Scheduling of Contract Algorithms for Anytime Problem-Solving", Volume 51, pages 533-554
D. Cohen, J. Crampton, A. Gagarin, G. Gutin and M. Jones (2014) "Iterative Plan Construction for the Workflow Satisfiability Problem", Volume 51, pages 555-577
I. Kash, A. D. Procaccia and N. Shah (2014) "No Agent Left Behind: Dynamic Fair Division of Multiple Resources", Volume 51, pages 579-603
P. Nguyen, M. Hilario and A. Kalousis (2014) "Using Meta-mining to Support Data Mining Workflow Planning and Optimization", Volume 51, pages 605-644
G. Stefanoni, B. Motik, M. Kroetzsch and S. Rudolph (2014) "The Complexity of Answering Conjunctive and Navigational Queries over OWL 2 EL Knowledge Bases", Volume 51, pages 645-705
O. Cepek, S. Gursky and P. Kucera (2014) "On Minimum Representations of Matched Formulas", Volume 51, pages 707-723
C. R. Shelton and G. Ciardo (2014) "Tutorial on Structured Continuous-Time Markov Processes", Volume 51, pages 725-778
P. Kissmann and J. Hoffmann (2014) "BDD Ordering Heuristics for Classical Planning", Volume 51, pages 779-804
D. Zilli, O. Parson, G. V. Merrett and A. Rogers (2014) "A Hidden Markov Model-Based Acoustic Cicada Detector for Crowdsourced Smartphone Biodiversity Monitoring", Volume 51, pages 805-827
B. Bosansky, C. Kiekintveld, V. Lisy and M. Pechoucek (2014) "An Exact Double-Oracle Algorithm for Zero-Sum Extensive-Form Games with Imperfect Information", Volume 51, pages 829-866
