default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDJournal of Artificial Intelligence Research (JAIR), Volume 36
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, Robert D. C. 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
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-10-21 20:34 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
