The DL-Lite Family and Relations.
Approximate Strong Equilibrium in Job Scheduling Games.
Cross-lingual Annotation Projection for Semantic Roles.
Prime Implicates and Prime Implicants: From Propositional to Modal Logic.
Hypertableau Reasoning for Description Logics.
Soft Goals Can Be Compiled Away.
RoxyBot-06: Stochastic Prediction and Optimization in TAC Travel.
Relaxed Survey Propagation for The Weighted Maximum Satisfiability Problem.
Multilingual Part-of-Speech Tagging: Two Unsupervised Approaches.
Friends or Foes? On Planning as Satisfiability and Abstract CNF Encodings.
The Role of Macros in Tractable Planning.
ParamILS: An Automatic Algorithm Configuration Framework.
Content Modeling Using Latent Permutations.