Volume 36, September - December 2009
- Alessandro Artale, Diego Calvanese, Roman Kontchakov, Michael Zakharyaschev:
The DL-Lite Family and Relations.
1-69
- Meghyn Bienvenu:
Prime Implicates and Prime Implicants: From Propositional to Modal Logic.
71-128
- Harr Chen, S. R. K. Branavan, Regina Barzilay, David R. Karger:
Content Modeling Using Latent Permutations.
129-163
- Boris Motik, Rob Shearer, Ian Horrocks:
Hypertableau Reasoning for Description Logics.
165-228
- Hai Leong Chieu, Wee Sun Lee:
Relaxed Survey Propagation for The Weighted Maximum Satisfiability Problem.
229-266
- Frank Hutter, Holger H. Hoos, Kevin Leyton-Brown, Thomas Stützle:
ParamILS: An Automatic Algorithm Configuration Framework.
267-306
- Sebastian Padó, Mirella Lapata:
Cross-lingual Annotation Projection for Semantic Roles.
307-340
- Tahira Naseem, Benjamin Snyder, Jacob Eisenstein, Regina Barzilay:
Multilingual Part-of-Speech Tagging: Two Unsupervised Approaches.
341-385
- Michal Feldman, Tami Tamir:
Approximate Strong Equilibrium in Job Scheduling Games.
387-414
- Carmel Domshlak, Jörg Hoffmann, Ashish Sabharwal:
Friends or Foes? On Planning as Satisfiability and Abstract CNF Encodings.
415-469
- Anders Jonsson:
The Role of Macros in Tractable Planning.
471-511
- Amy Greenwald, Seong Jae Lee, Victor Naroditskiy:
RoxyBot-06: Stochastic Prediction and Optimization in TAC Travel.
513-546
- Emil Keyder, Hector Geffner:
Soft Goals Can Be Compiled Away.
547-556
Last update Sat May 18 20:38:41 2013
CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
