Intelligent Systems Department
Computer Science Institute
University of Leipzig
Augustusplatz 10, Room P823
brewka <the symbol you know> informatik dot uni-leipzig dot
phone: please get in touch via email
fax: ++49 341 9 73 22 99
Information for visitors: our group is located on 8th floor of the Paulinum, the part of the university building remembering (and looking like) a church.
To find us enter the building from Augustusplatz and use one of the elevators to the right of the entrance hall to the 8th floor.
I was born in 1955 in Regensburg, Germany. I am married and have 3 daughters and 3 grandchildren. I received the diploma in Computer Science from University of Bonn in 1984 and the Ph.D. in Computer Science from University of Hamburg in 1989. I was a member of the Artificial Intelligence Group of Gesellschaft für Mathematik und Datenverarbeitung, Sankt Augustin, from 1984 to 1994 and visiting researcher at the International Computer Science Institute, Berkeley, CA, from 1991 to 1992. In January 1995 I became full professor for Knowledge Based Systems at the Technical University of Vienna. Since September 1996 I am chair for Intelligent Systems at the University of Leipzig where I was heading the doctoral programme in knowledge representation from 1998 to 2008. Since 2002 I am an ECCAI Fellow selected by the European Coordinating Committee of Artificial Intelligence.
answer set programming
preference and inconsistency handling
reasoning about action
models of argumentation
qualitative decision making
I was the program chair respectively co-chair of various conferences, e.g. ECAI-06, the 17th European Conference on Artificial Intelligence (Riva del Garda, Italy, August 28th to Sep. 1st 2006). LPNMR 2007 (Logic Programming and Nonmonotonic Reasoning) (Tempe, Arizona, May 2007), KR-2008, the International Conference on Principles of Knowledge Representation and Reasoning (Sydney, September 2008).
In 2007 I received the AAAI outstanding senior PC member award.
I am/was an associate editor of the Artificial Intelligence Journal (2008-2013) and of the Journal of Artificial Intelligence Research (JAIR) (2008-2011).
I was invited speaker at various conferences and workshops, e.g. CAEPIA 2005, the Swedish AI-workshop (SAIS-06), ICLP 2007, COMMA (Computational Models of Argument) 2010, NMR 2010, JELIA 2010, RR 2012, LPNMR/CLIMA 2013, JURIX 2013, and KI 2017 (German Conference on Artificial Intelligence).
I was a member of the ECCAI-board (executive board of the European Coordinating Committee for Artificial Intelligence representing 29 national European AI societies) from August 2006 to 2012. From July 2008 onwards I was president of ECCAI for 4 years. ECCAI changed its name to EurAI in 2016.
I was general chair of KR-2012, the International Conference on Principles of Knowledge Representation and Reasoning, Rome, June 2012. Since that date I was president of KR, inc. For 2years.
I was a member of the advisory board of IJCAI-09 and IJCAI-13. Since 2013 I am an IJCAI trustee and was general chair of IJCAI 2016 in New York.
In Oct. 2012 QuantLA (Quantitative Logics and Automata), a new joint PhD programme of TU Dresden and Leipzig University, will start. Please check the web pages for topics and open positions.
Click here if you are interested in a selection of my recent publications
Click here if you are looking for teaching material (most of it in German)
Last update: 8.10.2016