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. 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, see also here.
Current projects I am involved in:- HYPAR - Hybrid Parameterized Problem Solving in Practice (FWF P32830)
(Project leader) - Decodyn: Treating Hard Problems with Decomposition and Dynamic Programming (FWF Y698)
(Project leader) - GRAPPA: A Semantical Framework for Graph-Based Argument Processing (DFG/FWF I2854)
(Project leader together with G. Brewka (Univ. Leipzig)) - EMBArg: Extending Methods in Belief Change to Advance Dynamics in Argumentation (FWF 30168)
(Project partner)
- Fragment-Driven Belief Change (FWF P25521)
(Project leader) - DFLAT: Extending the Answer-Set Programming Paradigm to Decomposed Problem Solving (FWF P25607)
(Project leader) - Abstract Dialectical Frameworks: Advanced Tools for Formal Argumentation (DFG/FWF I1102)
(Project leader together with G. Brewka (Univ. Leipzig)) - New Methods for Analyzing, Comparing, and Solving Argumentation Problems (WWTF ICT08-028)
(Project leader) - dynASP - Dynamic Programming and Answer Set Programming (TU Wien 9006.09/008)
(Project leader) - Bilateral Project "Towards tractable belief merging" (Amadee FR 12/2013) with O. Papini (Univ. Marseille) and R. Pichler (TU Wien)
- 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). In 2018, I became a fellow of the European Association for Artificial Intelligence (Photo).
Steering Commitee member: KR Inc. (2012--2016), COMMA, FoIKS, and NMR.
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.
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".
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)
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.
(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
-
Institute of Logic and Computation
- Database and Artificial Intelligence Group 192/2
- Favoritenstraße 9-11
- A-1040 Vienna
- Phone: (43) 1 58801 18429
- Fax: (43) 1 58801 18493
- Email: woltran@dbai.tuwien.ac.at
- Room: HD0309
- Database and Artificial Intelligence Group 192/2
Top