Torsten Schaub

Torsten Schaub received his diploma and dissertation in informatics in 1990 and 1992, respectively, from the Technical University of Darmstadt, Germany. He received his habilitation in informatics in 1995 from the University of Rennes I, France. From 1990 to 1993 he was a Researcher at the Technical University at Darmstadt. From 1993 to 1995, he was a Research Associate at IRISA/INRIA at Rennes. From 1995 to 1997, he was University Professor at the University of Angers. At Angers he founded the research group FLUX dealing with the automatisation of reasoning from incomplete, contradictory, and evolutive information. Since 1997, he is University Professor for knowledge processing and information systems at the University of Potsdam. In 1999, he became Adjunct Professor at the School of Computing Science at Simon Fraser University, Canada; and since 2006 he is also an Adjunct Professor in the Institute for Integrated and Intelligent Systems at Griffiths University, Australia. His research interests range from the theoretic foundations to the practical implementation of methods for reasoning from incomplete and/or inconsistent information, in particular Answer set programming.

Research

Answer set programming
Automated reasoning
Belief change
Bioinformatics
Knowledge representation and reasoning
Logic programming
Nonmonotonic reasoning
Preference handling

Publications (or visit the Computer Science Bibliography Server)

Potassco, the Potsdam Answer Set Solving Collection, bundling tools for Answer Set Programming developed at the University of Potsdam.

Book: The Automation of Reasoning with Incomplete Information
Book: Inconsistency Tolerance (with Leopoldo Bertossi and Anthony Hunter)

Teaching

Courses (in German)

Answer Set Solving in Practice, a tutorial at IJCAI'11 with Martin Gebser

Book: Wissensrepräsentation und Inferenz (in German; with Wolfgang Bibel and Steffen Hoelldobler)

Activities

Member of AAAI, ALP, GI and KI.
Member of the BMBF Research Group GoFORSYS
Member of the DFG Research Group Conflicting Rules
Member of the EU Working Group on Answer Set Programming (WASP)

Anything else?

Join me in visiting Rüsselsheim, Darmstadt, Rennes, Angers, Potsdam, and lately Werder (in historical order) !
This is our library !
The comments.sty latex style!
... and even profs do it !
Our lovely labs!

Try my appointment slot (This is a beta test :))