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.
Since June 2007, I am an assistant professor at the
Database and Artificial Intelligence Group. 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. 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.
Since January 2020, I am head of the group and
Vicedean of Academic Affairs of the
Faculty of Computer Science
Current projects I am involved in:
Previous projects (selection):
CV (in German); and a
shorter version (in English).
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,
KR'12 (distinguished student paper prize)
(
Photo),
and
ICLP'21.
In 2013, I received the prestigous
START Prize of the Austrian Science Fund (FWF) (
Photo).
In 2018, I became a
fellow
of the
European Association for Artificial Intelligence (
Photo).
Steering Commitee member:
KR Inc.,
COMMA (2013--2020),
FoIKS,
and
NMR.
Associate Editor:
Artificial Intelligence Journal.
Editorial Board member:
JAIR,
A&C.
Area Editor of the
ALP Newsletter (2012-2013).
Editor of special issues on
Argumentation in
Argument and Computation,
Multi-Agent Systems in
JLC,
and on Answer-Set Programming in
AICOM and
Künstliche Intelligenz,
and selected papers of
FoIKS 2018 and
LPNMR 2019.
Full member of the
Wolfgang Pauli Institute (WPI) Vienna.
Faculty member:
Doctoral Program "COFUND LogiCS".
Faculty member:
Doctoral Program "Logical Methods in Computer Science".
Faculty member:
Doctoral Program
"Mathematical Logic in Computer Science".
Local Board member:
Vienna Center for Logic and Algorithms (VCLA).
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)
Slides: Towards Preprocessing for Abstract Argumentation Frameworks (DARe 2017 - Invited Talk)
Slides: Expressibility of Argumentation Frameworks and its
Relation to the Dynamics of Argumentation (AMANDE 2018 - Invited Talk)
Slides: Solving (Q)SAT Problems via Tree Decomposition and Dynamic Programming (JIAF/JFPC 2018 - Invited Talk)
Slides: Computational Argumentation -- Formal Models and Complexity Results (CILC 2020 - Invited Talk)
Survey: Methods for solving reasoning problems in abstract argumentation - A survey (AIJ 220:28-63, 2015)
Survey: Abstract Dialectical Frameworks. An Overview (IfCoLog Journal of Logics and their Applications 4(8):2263-2318, 2017)
Activities: Co-organizer of
DPSW'20,
NTFA'19,
TAASP'18,
ÖGAI Prize 2013--2016,
ICCMA'17
NTFA'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.
Local (co-)Chair for
IJCAI-ECAI 2022.
(co-) PC-Chair for
LPNMR'19,
FoIKS'18,
NMR'12.
Area-Chair/Senior PC-member for
IJCAI'20,
AAAI'20,
ECAI'20,
KR'20,
IJCAI'19,
IJCAI-ECAI'18,
KR'18,
IJCAI'17,
KR'16,
IJCAI'15 (KR-track),
ECAI'14.
Workshop-Chair for
ICLP'18
at
FLoC'18.
PC-member (recent) for
COMMA'20,
FoIKS'20,
CLAR'20,
STACS'19,
AAAI'19,
JELIA'19,
ICLP'19,
ADT'19,
ECSQARU'19,
KI'19,
IEA/AIE'19,
EPIA'19,
RCRA'19,
ASPOCP'19,
EduAI'19,
EELP'19,
DKB/KIK'19,
PADL'18,
SAC'18 (KRR Track),
NMR'18,
SAFA'18,
LaSh 2018,
LPNMR'17,
Commonsense'17,
TAFA'17, ...
Journals: Reviews for
AIJ,
ACM TOCL,
AMAI,
TPLP,
FI,
KER,
Semantic Web Journal,
JANCL,
A&C,
JAIR,
IJAR,
JETAI,
AI Magazine,...
Teaching
See the
teaching and courses sections for my current courses and seminars.
Former PhD Students:
Michael Abseher,
Bernhard Bliem,
Günther Charwat,
Wolfgang Dvořák,
Sarah Alice Gaggl,
Thomas Linsbichler,
Sylwia Polberg,
Johannes Wallner.
Other Activities and Interests
FAK,
ostliga,
FavAC,
theater,
sektion8,
BSA,...
[earlier life:
SID Music
(
Games,
Demos)]
Contact Information
Top