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). In Winter Term 2013, I held a deputy professorship at Leipzig University.
Current projects I am involved in:- Decodyn: Treating Hard Problems with Decomposition and Dynamic Programming (FWF Y698)
(Project leader) - 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) - Bilateral Project "Towards tractable belief merging" (Amadee FR 12/2013) with O. Papini (Univ. Marseille) and R. Pichler (TU Wien)
- New Methods for Analyzing, Comparing, and Solving Argumentation Problems
(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)
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 (2012-2013).
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.
See also Doctoral Program Logical Methods in Computer Science.
Slides: Abstract Argumentation - All Problems Solved? (ECAI 2014 - Frontiers of Artificial Intelligence)
New Survey: Methods for solving reasoning problems in abstract argumentation -A survey (AIJ 220:28-63, 2015)
Activities (Past): Co-organizer of KR'14, CLIMA XIV, GKR'13, COMMA'12, NMR'12, ICLP'12 DC. ICLP'11 DC, ASPOCP'11, ASPOCP'10, PCCR'10, CENT'07, WLP'06.
SPC-member for IJCAI'15 (KR-track). ECAI'14.
PC-member for AAAI'15, LPNMR'15, ICLP'15, TAFA'15, KR'14, COMMA'14, STAIRS'14, JELIA'14, CLIMA XV, ISAIM'14, FoIKS'14, ICCS'14, ICAART'14, NMR'14, AIWK'14, RCRA'14, ASPOCP'14, IJCAI'13, AAA'13, AGI'13, DKB'13, GTTV'13, ECAI'12, Datalog 2.0 workshop, IJCAI'11, AAAI'11, CILC'10, NONMON@30,...
Journals: Reviews for AIJ, ACM TOCL, 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, Johannes Wallner.
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