DialPort: Connecting the spoken dialog research community to real user data
Elicitation for Preferences Single Peaked on Trees
The Dichotomy for Conservative Constraint Satisfaction is Polynomially Decidable
HordeQBF: A Modular and Massively Parallel QBF Solver
Towards Analytics Aware Ontology Based Access to Static and Streaming Data
Exploiting deep semantics and compositionality of natural language for Human-Robot-Interaction