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 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