Homepage of Stefan Woltran
|
|
About me
I studied Computer Science at Vienna University of Technology and received my diploma in February 2001. In May 2003, I received my PhD in Computer Science. From July 2001 to May 2007 I was working as a project research assistant in the Knowledge-Based Systems Group on projects funded by the Austrian Research Fund (FWF). They were about QBF encodings and afterwards about ASP-equivalence. Since June 2007, I am an assistant professor at the Database and Artificial Intelligence Group (184/2). In November 2008, I received my Habilitation in the area of ``Information Systems'' at the Faculty of Computer Science of the Vienna University of Technology
Current projects I am involved in:- New Methods for Analyzing, Comparing, and Solving Argumentation Problems
(Project leader) - dynASP - Dynamic Programming and Answer Set Programming
(Project leader) - Turning Theoretical Tractability into Efficient Computation
- Service-Oriented Data Integration
- Bilateral Project "Complexity of Argumentation"(Amadee FR 17/2011) with Nadia Creignou (Univ. Marseille)
Research
My research concentrates on problems in the areas of Knowledge Representation and Reasoning; complexity analysis in AI, Logic Programming, and the Semantic Web; design and analysis of algorithms.
Selected Publications (at the DB&LP Bibliography Server).Awards: In 2002, I received the OCG-Förderpreis, an award for oustanding master theses in the field of Computer Science. (Photo)
Activities (Upcoming): Co-organizer of COMMA'12, NMR'12, ICLP'12 DC.
Activities (Past): Co-organizer of ICLP'11 DC, ASPOCP'11, ASPOCP'10, PCCR'10, CENT'07, WLP'06.
Steering Commitee: Doctoral Programme "Mathematical Logic in Computer Science" at Vienna University of Technology.
Area Editor of the ALP Newsletter.
Editor of a special issue on Answer-Set Programming in AICOM.
PC-member for ECAI'12, KR'12, ICLP'12, ASPOCP'12, AIW'12, FoIKS'12, Datalog 2.0 workshop, ICAART'12, IJCAI'11, AAAI'11, ICLP'11, LPNMR'11, ECAI'10, ICLP'10, CILC'10, NONMON@30,...
Journals: Reviews for AIJ, AMAI, TPLP, FI, JAIR, IJAR,
Teaching
See the teaching and courses sections for my current courses and seminars.Other Activities and Interests
FAK, ostliga, FavAC, theater, BSA,...[earlier life: SID Music (Games, Demos)]
Contact Information
-
Institute of Information Systems
- Database and Artificial Intelligence Group 184/2
- Favoritenstraße 9-11
- A-1040 Vienna
- Phone: (43) 1 58801 18429
- Fax: (43) 1 58801 18493
- Email: woltran@dbai.tuwien.ac.at
- Database and Artificial Intelligence Group 184/2
Top