Articles:
1) Cooperative Monitoring to Diagnose Multiagent Plans. --R. Micalizio and P. Torasso.
2) On the Testability of BDI Agent Systems. --M. Winikoff and S. Cranefield.
3) Text Rewriting Improves Semantic Role Labeling. --K. Woodsend and M. Lapata.
4) Simple Regret Optimization in Online Planning for Markov Decision Processes. --Z. Feldman and C. Domshlak.
5) Sensitivity of Diffusion Dynamics to Network Uncertainty. --A. Adiga, C. J. Kuhlman, H. S. Mortveit and A. K. S. Vullikanti.
6) Entrenchment-Based Horn Contraction. --Z. Zhuang and M. Pagnucco.
7) Automaton Plans. --C. Bäckström, A. Jonsson and P. Jonsson.
8) Distributed Heuristic Forward Search for Multi-agent Planning. --R. Nissim and R. Brafman.
9) Verification of Agent-Based Artifact Systems. --F. Belardinelli, A. Lomuscio and F. Patrizi.
10) A Novel SAT-Based Approach to Model Based Diagnosis. --A. Metodi, R. Stern, M. Kalech and M. Codish.
11) Scoring Functions Based on Second Level Score for k-SAT with Long Clauses. --S. Cai, C. Luo and K. Su.
12) Push and Rotate: a Complete Multi-agent Pathfinding Algorithm. --B. de Wilde, A. W. ter Mors and C. Witteveen.
13) Reasoning about Topological and Cardinal Direction Relations Between 2-Dimensional Spatial Objects. --A. G. Cohn, S. Li, W. Liu and J. Renz.
14) Optimal Scheduling of Contract Algorithms for Anytime Problem-Solving. --A. Lopez-Ortiz, S. Angelopoulos and A. M. Hamel.
15) Iterative Plan Construction for the Workflow Satisfiability Problem. --D. Cohen, J. Crampton, A. Gagarin, G. Gutin and M. Jones.
16) No Agent Left Behind: Dynamic Fair Division of Multiple Resources. --I. Kash, A. D. Procaccia and N. Shah.
17) Using Meta-mining to Support Data Mining Workflow Planning and Optimization. --P. Nguyen, M. Hilario and A. Kalousis.
18) The Complexity of Answering Conjunctive and Navigational Queries over OWL 2 EL Knowledge Bases. --G. Stefanoni, B. Motik, M. Kroetzsch and S. Rudolph.
19) On Minimum Representations of Matched Formulas. --O. Cepek, S. Gursky and P. Kucera.
20) Tutorial on Structured Continuous-Time Markov Processes. --C. R. Shelton and G. Ciardo.
21) BDD Ordering Heuristics for Classical Planning. --P. Kissmann and J. Hoffmann.
22) A Hidden Markov Model-Based Acoustic Cicada Detector for Crowdsourced Smartphone Biodiversity Monitoring. --D. Zilli, O. Parson, G. V. Merrett and A. Rogers.
23) An Exact Double-Oracle Algorithm for Zero-Sum Extensive-Form Games with Imperfect Information. --B. Bosansky, C. Kiekintveld, V. Lisy and M. Pechoucek.