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 Ross Kinsella 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
Last update Fri May 24 20:31:12 2013
CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
