Torsten Schaub received his diploma and dissertation in informatics in 1990 and 1992, respectively, from the Technical University of Darmstadt, Germany, and his habilitation in informatics in 1995 from the University of Rennes I, France. From 1990 to 1993 he was a research assistant at the Technical University at Darmstadt. From 1993 to 1995, he was a research associate at IRISA/INRIA at Rennes. In 1995 he became University Professor at the University of Angers. 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 Griffith University, Australia. Since 2014, Torsten Schaub holds an Inria International Chair at Inria Rennes - Bretagne Atlantique. Torsten Schaub has become a fellow of ECCAI in 2012. In 2014 he was elected President of the Association of Logic Programming. He served as program (co-)chair of LPNMR'09, ICLP'10, and ECAI'14. The research interests of Torsten Schaub range from the theoretic foundations to the practical implementation of reasoning from incomplete, inconsistent, and evolving information. His current research focus lies on Answer set programming and materializes at potassco.sourceforge.net, the home of the open source project Potassco bundling software for Answer Set Programming developed at the University of Potsdam.
For contacting me, consult my Information Page or send email to torsten(at)cs.uni-potsdam.de .
- Answer set programming
- Automated reasoning
- Belief change
- Knowledge representation and reasoning
- Logic programming
- Nonmonotonic reasoning
- Preference handling
- Publications (or visit the Computer Science Bibliography Server or Google Scholar)
- Potassco, the Potsdam Answer Set Solving Collection, bundling tools for Answer Set Programming developed at the University of Potsdam (see also its Google+ page!)
- Book: The Automation of Reasoning with Incomplete Information
- Book: Inconsistency Tolerance (with Leopoldo Bertossi and Anthony Hunter)
- NEW Book: Answer Set Solving in Practice (with Martin Gebser, Roland Kaminski, and Benjamin Kaufmann)
- Courses (in German)
- Teaching Answer Set Programming
- >>>NEW<<< International MSc program Cognitive Systems: Language, Learning and Reasoning (@UP in English or German; Google+; Facebook; Contact)
- Book: Wissensrepräsentation und Inferenz (in German; with Wolfgang Bibel and Steffen Hölldobler)
- Join me in visiting Rüsselsheim, Darmstadt, Rennes, Angers, Potsdam, and lately Werder (in historical order) !
- The comments.sty latex style!
- ... and even profs do it !
- Our lovely labs!
- An appointment slot (This is a beta test :))