Volume 31 Masthead

Published: 2008-01-01

Articles

MiniMaxSAT: An Efficient Weighted Max-SAT solver

F. Heras, J. Larrosa, A. Oliveras

1-32

PDF PS

Planning with Durative Actions in Stochastic Domains

Mausam, D. S. Weld

33-82

PDF PS

CUI Networks: A Graphical Representation for Conditional Utility Independence

Y. Engel, M. P. Wellman

83-112

PDF PS

CTL Model Update for System Modifications

Y. Zhang, Y. Ding

113-155

PDF PS

Conjunctive Query Answering for the Description Logic SHIQ

B. Glimm, C. Lutz, I. Horrocks, U. Sattler

157-204

PDF PS

Sound and Complete Inference Rules for SE-Consequence

K. Wong

205-216

PDF PS

Loosely Coupled Formulations for Automated Planning: An Integer Programming Perspective

M. H.L. van den Briel, T. Vossen, S. Kambhampati

217-257

PDF PS

On the Expressiveness of Levesque's Normal Form

Y. Liu, G. Lakemeyer

259-272

PDF PS

Modular Reuse of Ontologies: Theory and Practice

B. Cuenca Grau, I. Horrocks, Y. Kazakov, U. Sattler

273-318

PDF PS

The Complexity of Planning Problems With Simple Causal Graphs

O. Gimenez, A. Jonsson

319-351

PDF PS

Gesture Salience as a Hidden Variable for Coreference Resolution and Keyframe Extraction

J. Eisenstein, R. Barzilay, R. Davis

353-398

PDF PS

Global Inference for Sentence Compression: An Integer Linear Programming Approach

J. Clarke, M. Lapata

399-429

PDF PS

First Order Decision Diagrams for Relational MDPs

C. Wang, S. Joshi, R. Khardon

431-472

PDF PS

Axiomatic Foundations for Ranking Systems

A. Altman, M. Tennenholtz

473-495

PDF PS

Exploiting Subgraph Structure in Multi-Robot Path Planning

M. R.K. Ryan

497-542

PDF PS

Creating Relational Data from Unstructured and Ungrammatical Data Sources

M. Michelson, C. A. Knoblock

543-590

PDF PS

A Multiagent Approach to Autonomous Intersection Management

K. Dresner, P. Stone

591-656

PDF PS