Journal of Artificial Intelligence Research
Volume Thirty-One
Please Note: To view the abstract of a given article, select the link that is activated by the article title. The abstract will appear in a separate browser window. Full text of a given article can be selected in a similar manner from the link activitated by the title in the abstract window. (Most, but no all abstracts will link to full text.) PDF file sizes may be large!
This journal is also available in book and CD format.
This journal is also available in book and CD format.
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
AAAI Digital Library
AAAI relies on your generous support through membership and donations. If you find these resources useful, we would be grateful for your support.