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 updated on Sat May 18 06:19:10 2013 by the dblp team
data released under the ODC-BY 1.0 license
see also our legal information page