Journal of Artificial Intelligence Research
Volume Thirty-Six
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 not all abstracts will link to full text.) PDF file sizes may be large!
This journal is also available in book and CD format.
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
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.