JAIR Volume 31 Articles

Volume 31 MastHead

Each entry in this table of contents provides links to an individual article and its appendices (if any):

F. Heras, J. Larrosa and A. Oliveras (2008) "MiniMaxSAT: An Efficient Weighted Max-SAT solver", Volume 31, pages 1-32

Abstract | PDF | PostScript | doi:10.1613/jair.2347

Mausam and D. S. Weld (2008) "Planning with Durative Actions in Stochastic Domains", Volume 31, pages 33-82

Abstract | PDF | PostScript | doi:10.1613/jair.2269

Y. Engel and M. P. Wellman (2008) "CUI Networks: A Graphical Representation for Conditional Utility Independence", Volume 31, pages 83-112

Abstract | PDF | PostScript | doi:10.1613/jair.2360

Y. Zhang and Y. Ding (2008) "CTL Model Update for System Modifications", Volume 31, pages 113-155

Abstract | PDF | PostScript | doi:10.1613/jair.2420

B. Glimm, C. Lutz, I. Horrocks and U. Sattler (2008) "Conjunctive Query Answering for the Description Logic SHIQ", Volume 31, pages 157-204

Abstract | PDF | PostScript | doi:10.1613/jair.2372

K. Wong (2008) "Sound and Complete Inference Rules for SE-Consequence", Volume 31, pages 205-216

Abstract | PDF | PostScript | doi:10.1613/jair.2472

M. H.L. van den Briel, T. Vossen and S. Kambhampati (2008) "Loosely Coupled Formulations for Automated Planning: An Integer Programming Perspective", Volume 31, pages 217-257

Abstract | PDF | PostScript | doi:10.1613/jair.2443

Y. Liu and G. Lakemeyer (2008) "On the Expressiveness of Levesque's Normal Form", Volume 31, pages 259-272

Abstract | PDF | PostScript | doi:10.1613/jair.2428

B. Cuenca Grau, I. Horrocks, Y. Kazakov and U. Sattler (2008) "Modular Reuse of Ontologies: Theory and Practice", Volume 31, pages 273-318

Abstract | PDF | PostScript | doi:10.1613/jair.2375

O. Gimenez and A. Jonsson (2008) "The Complexity of Planning Problems With Simple Causal Graphs", Volume 31, pages 319-351

Abstract | PDF | PostScript | doi:10.1613/jair.2432

J. Eisenstein, R. Barzilay and R. Davis (2008) "Gesture Salience as a Hidden Variable for Coreference Resolution and Keyframe Extraction", Volume 31, pages 353-398

Abstract | PDF | PostScript | doi:10.1613/jair.2450

J. Clarke and M. Lapata (2008) "Global Inference for Sentence Compression: An Integer Linear Programming Approach", Volume 31, pages 399-429

Abstract | PDF | PostScript | doi:10.1613/jair.2433

C. Wang, S. Joshi and R. Khardon (2008) "First Order Decision Diagrams for Relational MDPs", Volume 31, pages 431-472

Abstract | PDF | PostScript | doi:10.1613/jair.2489

A. Altman and M. Tennenholtz (2008) "Axiomatic Foundations for Ranking Systems", Volume 31, pages 473-495

Abstract | PDF | PostScript | doi:10.1613/jair.2306

M. R.K. Ryan (2008) "Exploiting Subgraph Structure in Multi-Robot Path Planning", Volume 31, pages 497-542

Abstract | PDF | PostScript | doi:10.1613/jair.2408

M. Michelson and C. A. Knoblock (2008) "Creating Relational Data from Unstructured and Ungrammatical Data Sources", Volume 31, pages 543-590

Abstract | PDF | PostScript | doi:10.1613/jair.2409

K. Dresner and P. Stone (2008) "A Multiagent Approach to Autonomous Intersection Management", Volume 31, pages 591-656

Abstract | PDF | PostScript | doi:10.1613/jair.2502