Christoph Wernhard @ TU Dresden

Research Interests

Logic-Based Knowledge Representation. In particular, expressing knowledge processing operations in semantically founded and integrable ways by means of projection computation (a variant of second-order quantifier elimination).

Papers

Software Systems

including the KRHyper Model Generation and Theorem Proving System

Teaching

I work in the Knowledge Representation and Reasoning Group at TU Dresden

which is active in: The European PhD Program in Computational Logic (EPCL) | The European Master's Program in Computational Logic (EMCL) | Organizing the GI-Dissertationspreis

Links to the Past

Deduktionstreffen 2005 in Koblenz | DFG Project MoDeDok: Model Based Deduction (2003-06 at Koblenz University) | BMBF Project In2Math (2001-03 at Koblenz University) | Persist AG – Database and Semantic Web Technology (1999-2001, Teltow) | DFG Project ILF: Integrating Logical Functions (1996-98 at Humboldt-Universität, Berlin) | before...