JAIR Volume 36 (2009)
Adnan Darwiche, Editor in Chief
7x10, 560 pp., references, index, illus., $85.00 softcover, ISBN 978-1-57735-477-2
[Add to Cart] [View Cart]
Contents
The DL-Lite Family and Relations / 1
A. Artale, D. Calvanese, R. Kontchakov, and M. Zakharyaschev
Prime Implicates and Prime Implicants: From Propositional to Modal Logic / 71
M. Bienvenu
Content Modeling Using Latent Permutations / 129
H. Chen, S. R. K. Branavan, R. Barzilay, and D. R. Karger
Hypertableau Reasoning for Description Logics / 165
B. Motik, R. Shearer, and I. Horrocks
Relaxed Survey Propagation for the Weighted Maximum Satisfiability Problem / 229
H. L. Chieu and W. S. Lee
ParamILS: An Automatic Algorithm Configuration Framework / 267
F. Hutter, H. H. Hoos, K. Leyton-Brown, and T. Stützle
Cross-Lingual Annotation Projection for Semantic Roles / 307
S. Padó and M. Lapata
Multilingual Part-of-Speech Tagging: Two Unsupervised Approaches / 341
T. Naseem, B. Snyder, J. Eisenstein, and R. Barzilay
Approximate Strong Equilibrium in Job Scheduling Games / 387
M. Feldman and T. Tamir
Friends or Foes? On Planning as Satisfiability and Abstract CNF Encodings / 415
C. Domshlak, J. Hoffmann, and A. Sabharwal
The Role of Macros in Tractable Planning / 471
A. Jonsson
RoxyBot-06: Stochastic Prediction and Optimization in TAC Travel / 513
A. Greenwald, S. J. Lee, and V. Naroditskiy
Soft Goals Can Be Compiled Away / 547
E. Keyder and H. Geffner
Index / 557