JAIR Volume 31 (2008)
Toby Walsh, Editor in Chief
658 pp., references, index, illus., $85.00 softcover, ISBN 978-1-57735-402-4
[Add to Cart]
[View Cart]
Contents
MiniMaxSAT: An Efficient Weighted Max-SAT Solver / 1
F. Heras, J. Larrosa, and A. Oliveras
Planning with Durative Actions in Stochastic Domains / 33
Mausam and D. S. Weld
CUI Networks: A Graphical Representation for Conditional Utility Independence / 83
Y. Engel and M. P. Wellman
CTL Model Update for System Modifications / 113
Y. Zhang and Y. Ding
Conjunctive Query Answering for the Description Logic SHIQ / 157
B. Glimm, C. Lutz, I. Horrocks, and U. Sattler
Sound and Complete Inference Rules for SE-Consequence / 205
K. Wong
Loosely Coupled Formulations for Automated Planning: An Integer Programming Perspective / 217
M. H. L. van den Briel, T. Vossen, and S. Kambhampati
On the Expressiveness of Levesque's Normal Form / 259
Y. Liu and G. Lakemeyer
Modular Reuse of Ontologies: Theory and Practice / 273
B. Cuenca Grau, I. Horrocks, Y. Kazakov, and U. Sattler
The Complexity of Planning Problems with Simple Causal Graphs / 319
O. Gimenez and A. Jonsson
Gesture Salience as a Hidden Variable for Coreference Resolution and Keyframe Extraction / 353
J. Eisenstein, R. Barzilay, and R. Davis
Global Inference for Sentence Compression: An Integer Linear Programming Approach / 399
J. Clarke and M. Lapata
First Order Decision Diagrams for Relational MDPs / 431
C. Wang, S. Joshi, and R. Khardon
Axiomatic Foundations for Ranking Systems / 473
A. Altman and M. Tennenholtz
Exploiting Subgraph Structure in Multi-Robot Path Planning / 497
M. R. K. Ryan
Creating Relational Data from Unstructured and Ungrammatical Data Sources / 543
M. Michelson and C. A. Knoblock
A Multiagent Approach to Autonomous Intersection Management / 591
K. Dresner and P. Stone
Index / 657