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:- dynASP - Dynamic Programming and Answer Set Programming
(Project leader) - Bilateral Project "New Directions in Abstract Argumentation "(OEAD/SAIA 2012-03-15-0001) with J. Siska (Comenius Univ. Bratislava)
- Bilateral Project "Towards tractable belief merging" (Amadee FR 12/2013) with O. Papini (Univ. Marseille) and R. Pichler (TU Wien)
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). Best paper awards at RR'10, and with my students at COMMA'10 (best student paper award), and KR'12 (distinguished student paper prize) (Photo).
Steering Commitee member: KR Inc., COMMA, and NMR.
Area Editor of the ALP Newsletter.
Editor of a special issue on Answer-Set Programming in AICOM.
Faculty member: Doctoral Programme "Mathematical Logic in Computer Science" at Vienna University of Technology.
Activities (Upcoming): Local organization for KR'14. Invited Presentation at ACAI'13. Co-organizer of GKR'13, and of a special session at CLIMA XIV.
Activities (Past): Co-organizer of COMMA'12, NMR'12, ICLP'12 DC. ICLP'11 DC, ASPOCP'11, ASPOCP'10, PCCR'10, CENT'07, WLP'06.
PC-member for IJCAI'13, LPNMR'13, AAAI'13 (AI-Web Track), AGI'13, ICAART'13, TAFA'13, DKB'13, ASPOCP'13, ECAI'12, KR'12, ICLP'12, JELIA'12, FoIKS'12, ASPOCP'12, AIW'12, Datalog 2.0 workshop, 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, sektion8, 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