Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDJournal 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
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-25 05:28 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:
