Volume 36 Masthead

Published: 2009-10-01

Articles

The DL-Lite Family and Relations

A. Artale, D. Calvanese, R. Kontchakov, M. Zakharyaschev

1-69

PDF PS

Prime Implicates and Prime Implicants: From Propositional to Modal Logic

M. Bienvenu

71-128

PDF PS

Content Modeling Using Latent Permutations

H. Chen, S.R.K. Branavan, R. Barzilay, D. R. Karger

129-163

PDF PS

Hypertableau Reasoning for Description Logics

B. Motik, R. Shearer, I. Horrocks

165-228

PDF PS

Relaxed Survey Propagation for The Weighted Maximum Satisfiability Problem

H.L. Chieu, W.S. Lee

229-266

PDF PS

ParamILS: An Automatic Algorithm Configuration Framework

F. Hutter, H. H. Hoos, K. Leyton-Brown, T. Stuetzle

267-306

PDF PS

Cross-lingual Annotation Projection for Semantic Roles

S. Pado, M. Lapata

307-340

PDF PS

Multilingual Part-of-Speech Tagging: Two Unsupervised Approaches

T. Naseem, B. Snyder, J. Eisenstein, R. Barzilay

341-385

PDF PS

Approximate Strong Equilibrium in Job Scheduling Games

M. Feldman, T. Tamir

387-414

PDF PS

Friends or Foes? On Planning as Satisfiability and Abstract CNF Encodings

C. Domshlak, J. Hoffmann, A. Sabharwal

415-469

PDF PS

The Role of Macros in Tractable Planning

A. Jonsson

471-511

PDF PS

RoxyBot-06: Stochastic Prediction and Optimization in TAC Travel

A. Greenwald, S. Lee, V. Naroditskiy

513-546

PDF PS

Soft Goals Can Be Compiled Away

E. Keyder, H. Geffner

547-556

PDF PS