![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
Journal of Artificial Intelligence Research, Volume 51
Volume 51, September 2014
- Roberto Micalizio
, Pietro Torasso:
Cooperative Monitoring to Diagnose Multiagent Plans. 1-70 - Michael Winikoff, Stephen Cranefield:
On the Testability of BDI Agent Systems. 71-131 - Kristian Woodsend, Mirella Lapata:
Text Rewriting Improves Semantic Role Labeling. 133-164 - Zohar Feldman, Carmel Domshlak:
Simple Regret Optimization in Online Planning for Markov Decision Processes. 165-205 - Abhijin Adiga, Chris J. Kuhlman, Henning S. Mortveit, Anil Vullikanti:
Sensitivity of Diffusion Dynamics to Network Uncertainty. 207-226 - Zhiqiang Zhuang, Maurice Pagnucco:
Entrenchment-Based Horn Contraction. 227-254 - Christer Bäckström, Anders Jonsson, Peter Jonsson:
Automaton Plans. 255-291 - Raz Nissim, Ronen I. Brafman:
Distributed Heuristic Forward Search for Multi-agent Planning. 293-332 - Francesco Belardinelli
, Alessio Lomuscio
, Fabio Patrizi
:
Verification of Agent-Based Artifact Systems. 333-376 - Amit Metodi, Roni Stern, Meir Kalech, Michael Codish:
A Novel SAT-Based Approach to Model Based Diagnosis. 377-411 - Shaowei Cai
, Chuan Luo, Kaile Su
:
Scoring Functions Based on Second Level Score for k-SAT with Long Clauses. 413-441 - Boris de Wilde, Adriaan ter Mors, Cees Witteveen:
Push and Rotate: a Complete Multi-agent Pathfinding Algorithm. 443-492 - Anthony G. Cohn, Sanjiang Li
, Weiming Liu, Jochen Renz:
Reasoning about Topological and Cardinal Direction Relations Between 2-Dimensional Spatial Objects. 493-532 - Alejandro López-Ortiz, Spyros Angelopoulos, Angèle M. Hamel:
Optimal Scheduling of Contract Algorithms for Anytime Problem-Solving. 533-554 - David A. Cohen, Jason Crampton, Andrei Gagarin, Gregory Z. Gutin, Mark Jones:
Iterative Plan Construction for the Workflow Satisfiability Problem. 555-577 - Ian A. Kash, Ariel D. Procaccia, Nisarg Shah:
No Agent Left Behind: Dynamic Fair Division of Multiple Resources. 579-603 - P. Nguyen, Melanie Hilario, Alexandros Kalousis:
Using Meta-mining to Support Data Mining Workflow Planning and Optimization. 605-644 - Giorgio Stefanoni, Boris Motik, Markus Krötzsch, Sebastian Rudolph
:
The Complexity of Answering Conjunctive and Navigational Queries over OWL 2 EL Knowledge Bases. 645-705 - Ondrej Cepek, Stefan Gurský, Petr Kucera:
On Minimum Representations of Matched Formulas. 707-723 - Christian R. Shelton, Gianfranco Ciardo
:
Tutorial on Structured Continuous-Time Markov Processes. 725-778 - Peter Kissmann, Jörg Hoffmann:
BDD Ordering Heuristics for Classical Planning. 779-804 - Davide Zilli, Oliver Parson, Geoff V. Merrett
, Alex Rogers:
A Hidden Markov Model-Based Acoustic Cicada Detector for Crowdsourced Smartphone Biodiversity Monitoring. 805-827 - Branislav Bosanský, Christopher Kiekintveld, Viliam Lisý, Michal Pechoucek
:
An Exact Double-Oracle Algorithm for Zero-Sum Extensive-Form Games with Imperfect Information. 829-866
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.