Skip to Content

TU Wien Fakultät für Informatik DBAI Database and Artificial Intelligence Group
Top-level Navigation: Current-level Navigation:

Path: DBAI > staff >

Tools: Drucken

Homepage of Stefan Woltran

About me

I studied Computer Science at TU Wien (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 TU Wien. 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), see also here.

Current projects I am involved in:

Previous projects (selection):

CV (in German); and a shorter version (in English).


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. (2012--2016), COMMA, and NMR.
Editorial Board member: JAIR, A&C.
Area Editor of the ALP Newsletter (2012-2013).
Editor of a special issue on Argumentation in Argument and Computation, and on Answer-Set Programming in AICOM.
Faculty member: Doctoral Programme "Mathematical Logic in Computer Science" at TU Wien.
See also Doctoral Program Logical Methods in Computer Science.

Slides: Abstract Argumentation - All Problems Solved? (ECAI 2014 - Frontiers of Artificial Intelligence)
Slides: Dynamic Programming on Tree Decompositions in Practice -- Some Lessons Learned} (SYNASC 2015 - Invited Talk)
Slides: Towards Advanced Systems for Abstract Argumentation (SAFA 2016 - Invited Talk)
Slides: Dynamic Programming on Tree Decompositions in Practice (STAIRS 2016 - Invited Talk)

Survey: Methods for solving reasoning problems in abstract argumentation -A survey (AIJ 220:28-63, 2015)

Activities: Co-organizer of ICCMA'17 NTBC'16, TAASP'16, KR'14, CLIMA XIV, GKR'13, COMMA'12, ICLP'12 DC. ICLP'11 DC, ASPOCP'11, ASPOCP'10, PCCR'10, CENT'07, WLP'06.

(co-) PC-Chair for FoIKS'18, NMR'12.

Aera-Chair/Senior PC-member for IJCAI'17, KR'16, IJCAI'15 (KR-track), ECAI'14.

PC-member for AAAI'17, LPNMR'17, ADT'17, EPIA'17, KI'17, IEA/AIE'17, SAC'17 (KRR Track), ASPOCP'17, IULP'17, IJCAI'16, ECAI'16, COMMA'16, JELIA'16, ICLP'16, FoIKS'16, GCAI'16, STAIRS'16, NMR'16, Arg-LPNMR'16, SAFA'16, CLAR'16, SUM'15, AAA'15, GTTV'15, SKILL'15, TAFA'15, ArgLP'15, ONTOLP-15, GKR'15, KR'14, CLIMA XV, ISAIM'14, ICCS'14, ICAART'14, NMR'14, AIWK'14, RCRA'14, ASPOCP'14, AGI'13, DKB'13, GTTV'13, Datalog 2.0 workshop, CILC'10, NONMON@30,...

Journals: Reviews for AIJ, ACM TOCL, AMAI, TPLP, FI, KER, A&C, JAIR, IJAR, JETAI, AI Magazine,...


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


Home / Kontakt / Webmaster / Offenlegung gemäß § 25 Mediengesetz: Inhaber der Website ist die Fakultät für Informatik an der Technischen Universität Wien, 1040 Wien. Die TU Wien distanziert sich von den Inhalten aller extern gelinkten Seiten und übernimmt diesbezüglich keine Haftung. / Disclaimer.