Volume 51 Masthead

Published: 2014-09-01

Articles

Cooperative Monitoring to Diagnose Multiagent Plans

R. Micalizio, P. Torasso

1-70

PDF PS

On the Testability of BDI Agent Systems

M. Winikoff, S. Cranefield

71-131

PDF PS

Text Rewriting Improves Semantic Role Labeling

K. Woodsend, M. Lapata

133-164

PDF PS

Simple Regret Optimization in Online Planning for Markov Decision Processes

Z. Feldman, C. Domshlak

165-205

PDF PS

Sensitivity of Diffusion Dynamics to Network Uncertainty

A. Adiga, C. J. Kuhlman, H. S. Mortveit, A. K. S. Vullikanti

207-226

PDF PS

Entrenchment-Based Horn Contraction

Z. Zhuang, M. Pagnucco

227-254

PDF PS

Automaton Plans

C. Bäckström, A. Jonsson, P. Jonsson

255-291

PDF PS

Distributed Heuristic Forward Search for Multi-agent Planning

R. Nissim, R. Brafman

293-332

PDF PS

Verification of Agent-Based Artifact Systems

F. Belardinelli, A. Lomuscio, F. Patrizi

333-376

PDF PS

A Novel SAT-Based Approach to Model Based Diagnosis

A. Metodi, R. Stern, M. Kalech, M. Codish

377-411

PDF PS

Scoring Functions Based on Second Level Score for k-SAT with Long Clauses

S. Cai, C. Luo, K. Su

413-441

PDF PS

Push and Rotate: a Complete Multi-agent Pathfinding Algorithm

B. de Wilde, A. W. ter Mors, C. Witteveen

443-492

PDF PS

Reasoning about Topological and Cardinal Direction Relations Between 2-Dimensional Spatial Objects

A. G. Cohn, S. Li, W. Liu, J. Renz

493-532

PDF PS

Optimal Scheduling of Contract Algorithms for Anytime Problem-Solving

A. Lopez-Ortiz, S. Angelopoulos, A. M. Hamel

533-554

PDF PS

Iterative Plan Construction for the Workflow Satisfiability Problem

D. Cohen, J. Crampton, A. Gagarin, G. Gutin, M. Jones

555-577

PDF

No Agent Left Behind: Dynamic Fair Division of Multiple Resources

I. Kash, A. D. Procaccia, N. Shah

579-603

PDF PS

Using Meta-mining to Support Data Mining Workflow Planning and Optimization

P. Nguyen, M. Hilario, A. Kalousis

605-644

PDF PS

The Complexity of Answering Conjunctive and Navigational Queries over OWL 2 EL Knowledge Bases

G. Stefanoni, B. Motik, M. Kroetzsch, S. Rudolph

645-705

PDF PS

On Minimum Representations of Matched Formulas

O. Cepek, S. Gursky, P. Kucera

707-723

PDF PS

Tutorial on Structured Continuous-Time Markov Processes

C. R. Shelton, G. Ciardo

725-778

PDF

BDD Ordering Heuristics for Classical Planning

P. Kissmann, J. Hoffmann

779-804

PDF PS

A Hidden Markov Model-Based Acoustic Cicada Detector for Crowdsourced Smartphone Biodiversity Monitoring

D. Zilli, O. Parson, G. V. Merrett, A. Rogers

805-827

PDF PS

An Exact Double-Oracle Algorithm for Zero-Sum Extensive-Form Games with Imperfect Information

B. Bosansky, C. Kiekintveld, V. Lisy, M. Pechoucek

829-866

PDF PS