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. From August 2013 to January 2015, I have been associate professor at the Database and Artificial Intelligence Group (184/2). In Winter Term 2013, I held a deputy professorship at Leipzig University. Since February 2015, I am full professor for "Formal Foundations of Artificial Intelligence" at the Database and Artificial Intelligence Group (184/2).
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, SUM'15, SKILL'15, TAFA'15, ONTOLP-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