Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDJournal 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
a service of 
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.
last updated on 2024-04-18 20:20 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
