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).
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. (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.
Full member of the
Wolfgang Pauli Institute (WPI) Vienna.
Faculty member:
Doctoral Program "Logical Methods in Computer Science".
Faculty member:
Doctoral Program
"Mathematical Logic 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)
Slides: Towards Preprocessing for Abstract Argumentation Frameworks (DARe 2017 - Invited Talk)
Survey: Methods for solving reasoning problems in abstract argumentation - A survey (AIJ 220:28-63, 2015)
Activities: Co-organizer of
ÖGAI Prize 2013--2016,
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.
Area-Chair/Senior PC-member for
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 for
AAAI'18,
ICLP'18,
PADL'18,
SAC'18 (KRR Track),
CLAR'18,
SAFA'18,
ASPOCP'18,
LPNMR'17,
ADT'17,
EPIA'17,
KI'17,
Commonsense'17,
IEA/AIE'17,
TAFA'17,
RCRA'17,
AAA'17,
WASPIQ'17,
IULP'17,
GKR'17,
LaSh'17,
LPNMR DC'17,
IJCAI'16
ECAI'16,
COMMA'16,
JELIA'16,
FoIKS'16,
GCAI'16,
STAIRS'16,
NMR'16,
Arg-LPNMR'16,
SUM'15,
GTTV'15,
SKILL'15,
ArgLP'15,
ONTOLP-15,
KR'14,
CLIMA XV,
ISAIM'14,
ICCS'14,
ICAART'14,
NMR'14,
AIWK'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,
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