Conrad Drescher
Dr Conrad Drescher
Interests
- Now I work on Constraint Satisfaction for Configuration (includes Constraint Programming and Knowledge Representation for Configuration)
- Previously I worked on Logic-based Knowledge Representation (includes Action Calculi, Logic Programming and Databases, Description Logics)
Biography
- Research Assistant, the Department of Computer Science, University of Oxford (2010 - 2012)
- Research Assistant and DPhil Student, Dresden University of Technology (2005 - 2010)
- Master (German 'Diplom') in Computer Science, Wuerzburg University (1998 - 2005)
Roles
- PC member
- Co-Chair
- PC member
Selected Publications
-
The Partner Units Problem − A Constraint Programming Case Study
Conrad Drescher
In Proceedings of the 24th IEEE International Conference on Tools with Artificial Intelligence‚ ICTAI'12. 2012.
Details about The Partner Units Problem − A Constraint Programming Case Study | BibTeX data for The Partner Units Problem − A Constraint Programming Case Study | Download (pdf) of The Partner Units Problem − A Constraint Programming Case Study
-
Unifying Software and Product Configuration: A Research Roadmap
Arnaud Hubaux‚ Dietmar Jannach‚ Conrad Drescher‚ Leonardo Murta‚ Tomi Mannisto‚ Krzysztof Czarnecki‚ Patrick Heymans‚ Tien Nguyen and Markus Zanker
In Proceedings of the ECAI 2012 Workshop on Configuration. 2012.
Details about Unifying Software and Product Configuration: A Research Roadmap | BibTeX data for Unifying Software and Product Configuration: A Research Roadmap | Download (pdf) of Unifying Software and Product Configuration: A Research Roadmap
-
LoCo — A Logic for Configuration Problems
Markus Aschinger‚ Conrad Drescher and Heribert Vollmer
In Proceedings of the 20th European Conference on Artificial Intelligence‚ ECAI 2012. 2012.
Details about LoCo — A Logic for Configuration Problems | BibTeX data for LoCo — A Logic for Configuration Problems | Download (pdf) of LoCo — A Logic for Configuration Problems