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. Since August 2013, I am associate professor at the Database and Artificial Intelligence Group (184/2).
Current projects I am involved in:- Abstract Dialectical Frameworks: Advanced Tools for Formal Argumentation (DFG/FWF I1102)
(Project leader together with G. Brewka (Univ. Leipzig)) - DFLAT: Extending the Answer-Set Programming Paradigm to Decomposed
Problem Solving (FWF P25607)
(Project leader) - Fragment-Driven Belief Change (FWF P25521)
(Project leader) - 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, COMMA'10 , and KR'12 (distinguished student paper prize) (Photo). In 2013, I received the prestigous START Prize of the Austrian Science Fund (FWF) (Photo).
Steering Commitee member: KR Inc., COMMA, and NMR.
Editorial Board member: JAIR.
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.
Activities (Past): Co-organizer of CLIMA XIV, GKR'13, COMMA'12, NMR'12, ICLP'12 DC. ICLP'11 DC, ASPOCP'11, ASPOCP'10, PCCR'10, CENT'07, WLP'06.
PC-member for KR'14, ICLP'14, ISAIM'14, FoIKS'14, ICCS'14, ICAART'14, IJCAI'13, LPNMR'13, AAA'13, AAAI'13 (AI-Web Track), AGI'13, TAFA'13, DKB'13, ASPOCP'13, GTTV'13, ECAI'12, KR'12, JELIA'12, Datalog 2.0 workshop, IJCAI'11, AAAI'11, 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.Former PhD Students: Wolfgang Dvořák, Sarah Alice Gaggl.
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