![](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 (JAIR), Volume 31
Volume 31, 2008
- Federico Heras, Javier Larrosa, Albert Oliveras
:
MiniMaxSAT: An Efficient Weighted Max-SAT solver. 1-32 - Mausam
, Daniel S. Weld:
Planning with Durative Actions in Stochastic Domains. 33-82 - Yagil Engel, Michael P. Wellman:
CUI Networks: A Graphical Representation for Conditional Utility Independence. 83-112 - Yan Zhang, Yulin Ding:
CTL Model Update for System Modifications. 113-155 - Birte Glimm, Carsten Lutz, Ian Horrocks, Ulrike Sattler:
Conjunctive Query Answering for the Description Logic SHIQ. 157-204 - Ka-Shu Wong:
Sound and Complete Inference Rules for SE-Consequence. 205-216 - Menkes Hector Louis van den Briel, Thomas Vossen, Subbarao Kambhampati:
Loosely Coupled Formulations for Automated Planning: An Integer Programming Perspective. 217-257 - Yongmei Liu, Gerhard Lakemeyer:
On the Expressiveness of Levesque's Normal Form. 259-272 - Bernardo Cuenca Grau, Ian Horrocks, Yevgeny Kazakov, Ulrike Sattler:
Modular Reuse of Ontologies: Theory and Practice. 273-318 - Omer Giménez, Anders Jonsson:
The Complexity of Planning Problems With Simple Causal Graphs. 319-351 - Jacob Eisenstein, Regina Barzilay, Randall Davis:
Gesture Salience as a Hidden Variable for Coreference Resolution and Keyframe Extraction. 353-398 - James Clarke, Mirella Lapata:
Global Inference for Sentence Compression: An Integer Linear Programming Approach. 399-429 - Chenggang Wang, Saket Joshi, Roni Khardon:
First Order Decision Diagrams for Relational MDPs. 431-472 - Alon Altman, Moshe Tennenholtz:
Axiomatic Foundations for Ranking Systems. 473-495 - Malcolm R. K. Ryan:
Exploiting Subgraph Structure in Multi-Robot Path Planning. 497-542 - Matthew Michelson, Craig A. Knoblock:
Creating Relational Data from Unstructured and Ungrammatical Data Sources. 543-590 - Kurt M. Dresner, Peter Stone:
A Multiagent Approach to Autonomous Intersection Management. 591-656
![](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.