Conrad Drescher

Dr Conrad Drescher

Research Assistant

conrad.drescher@cs.ox.ac.uk

0044 (0)1865 273886

Wolfson Building, Parks Road, Oxford OX1 3QD

Interests

Now I work on Constraint Satisfaction for Configuration (includes SAT, Constraint Programming, Formal Logic)
Previously I worked on Logic-based Knowledge Representation (includes Action Calculi, Logic Programming and Databases, Description Logics)

Research Assistant, the Department of Computer Science, University of Oxford (2010 - 2012)
Research Assistant and DPhil Student, Dresden University of Technology (2005 - 2010)
Diploma in Computer Science, Wuerzburg University (1998 - 2005)

IJCAI'11 , PC member

ALPprolog — A New Logic Programming Method for Dynamic Domains

Conrad Drescher and Michael Thielscher

In Theory and Practice of Logic Programming. 2011.

Proceedings of the 27th International Conference on Logic Programming (ICLP 2011) − Special Issue of TPLP

Introducing LoCo‚ a Logic for Configuration Problems

Markus Aschinger‚ Conrad Drescher and Georg Gottlob

In Proceedings of the 2nd Workshop on Logics for Component Configuration‚ LoCoCo 2011. Perugia‚ Italy. 2011.

Tackling the Partner Units Configuration Problem

Markus Aschinger‚ Conrad Drescher‚ Georg Gottlob‚ Peter Jeavons and Evgenĳ Thorstensen

In Proceedings of the 22nd International Joint Conference on Artificial Intelligence (IJCAI 2011). Barcelona‚ Spain. 2011.

Themes	Foundations, Logic and Structures \| Information Systems
Activities	Databases \| Constraints Group
Projects	Constraint Satisfaction for Configuration: Logical Fundamentals, Algorithms, and Complexity