Person profile

Univ.Prof. Dipl.-Ing. Dr.techn.

Stefan Woltran

Phone +43 1 58801 18429

E-Mailstefan.woltran@tuwien.ac.at

Assigned

E180	E192-02	E199-01	E056-13	E056-23	E056-27

Business Card

https://orcid.org/0000-0003-1594-8972

Research department

Name	Management/Member
Faculty of Informatics	Member

Research area

Name	Management/Member
Service Unit of Innovative Combinations and Applications of AI and ML (iCAIML)	Management
Service Unit of Digital Humanism	Member
Service Unit of LogiCS	Member
Dean's Office of Faculty for Informatics	Member
Research Unit of Databases and Artificial Intelligence	Management

Profile

Research profile (German):

Grundlagenforschung im Bereich der künstlichen Intelligenz - Analyse formaler Eigenschaften verschiedener logik-basierter Ansätze - Komplexitätsanalyse - Entwicklung von Algorithmen (insb. mittels Logik- und dynamischer Programmierung)

Research profile (English):

Basic Research in Artificial Intelligence - Analysis for formal properties of different logic-based approaches to AI - Complexty Analysis - Development of algorithms (in particular via logic- and dynamic programming)

Link to CV:

www.dbai.tuwien.ac.at/staff/woltran

Personal website:

http://www.dbai.tuwien.ac.at/staff/woltran/cv.pdf

Publications:

Publications

Keywords

Keyword (German)	Keyword (English)
Aussagenlogik	Propositional Logic
Nichtmonotones Schliessen	Nonmonotonic Reasoning
Argumentation	Argumentation
Wissensrepräsentation	Knowledge Representation
Logisches Programmieren	Logic Programming

Research Focal Areas

Research focus	Research field	Keywords	Percentage
Information and Communication Technology	Computational Intelligence	Grundlagen von Informationssystemen, Computational Logic und automatische Deduktion, Logik, Spezifikation und Wissensrepräsentation, Advanced Information Integration, Hard- und Software Verifikation (CAV), Semantic Web und Intelligente Agenten, Algorithmen, Komplexität und Optimierung, Natural Computing	100

Faculty focus

Faculty focus	Percentage
Logic andComputation	100

Area of expertise according to Statistik Austria

Code	Area of expertise (German)	Area of expertise (English)
1108	Informatik	Informatics
1141	Symbolic Computation	Symbolic computation
1138	Informationssysteme	Information systems
1122	Artificial Intelligence	Artificial intelligence

Reference Projects

Title	Funding program	Function	Website	From	Until
National, FWF - The Science Fund
Extending the Answer-Set Programming Paradigm to Decomposed Problem Solving	Single project	Principal Investigator	www.dbai.tuwien.ac.at/research...	01.06.2013	31.05.2017
A Semantical Framework for Graph-Based Argument Processing	Single project	Principal Investigator	dbai.tuwien.ac.at/research/pro...	01.09.2016	31.08.2019
Abstract Dialectical Frameworks: Advanced Tools for Formal Argumentation	Single project	Principal Investigator	http://dbai.tuwien.ac.at/resea...	01.06.2013	31.05.2016
Fragment-Driven Belief Change	Single project	Principal Investigator	http://dbai.tuwien.ac.at/resea...	01.05.2013	30.09.2017
National, WWTF - Vienna Science and Technology Fund
New Methods for Analyzing, Comparing, and Solving Argumentation Problems	Thematic calls	Principal Investigator	http://www.dbai.tuwien.ac.at/r...	01.04.2009	31.10.2012
TUW-intern, TU Wien
Mathematical Logic in Computer Science	Internal research funding	Participation / Faculty	www.dbai.tuwien.ac.at/drkolleg...	01.03.2011

International award

Awarding Organization	Country	Program	Function	Name	From	Until	Website	Project ID
KR Inc	*	Distinguished student paper prize at the 13th International Conference on Principles of Knowledge Representation and Reasoning.		Distinguished student paper prize at the 13th International Conference on Principles of Knowledge Representation and Reasoning.	01.01.2012
European Association for Artificial Intelligence	stateless	EurAI Fellow	EurAI Fellow	EurAI Fellows programme	01.07.2018		https://www.eurai.org/awards_a...

National award

Awarding Organization	Program	Function	Name	From	Until	Website	Project ID
andere	OCG-Förderpreis		OCG-Förderpreis	01.01.2002
FWF - Der Wissenschaftsfonds	START-Programm		Treating Hard Problems with Decomposition and Dynamic Programming (Decodyn)	01.06.2014		htthttp://dbai.tuwien.ac.at/re...	443815

Membership in committee

Committee	Description	Location	Function	From-To
scientific circle	COMMA Steering Committee	*	Member	01/2013 - 01/2019
scientific circle	NMR Steering Committee	*	Member	07/2012 - 07/2016
scientific circle	Principles of Knowledge Representation and Reasoning, Incorporated (KR, Inc.)	*	Member	07/2012 - 07/2016

Journal participation

Title	Classification	Referenced	Function	From-To	Comment
AI Communications - The European Journal on Artificial Intelligence	SCIE (Science Citation Index Expanded)	Yes	Reviewer	11/2008 -
AI Communications - The European Journal on Artificial Intelligence	SCIE (Science Citation Index Expanded)	Yes	Editor	01/2011 - 01/2011	Editor of Special Issue / Volume 24, Number 2
Annals of Mathematics and Artificial Intelligence	SCI (Science Citation Index)	Yes	Reviewer	02/2006 -
Argument and Computation	unclassified	Yes	Editorial board	08/2016 - 10/2020
Aritficial Intelligence	SCI (Science Citation Index)	Yes	Reviewer	11/2007 -
Fundamenta Informaticae	SCI (Science Citation Index)	Yes	Reviewer	01/2012 - 01/2022
International Journal of Approximate Reasoning	SCI (Science Citation Index)	Yes	Reviewer	01/2012 - 01/2022
Journal of AI Research	SCI (Science Citation Index)	Yes	Reviewer	03/2006 -
Journal of Artificial Intelligence Research (JAIR)	SCI (Science Citation Index)	Yes	Editorial board	01/2014 - 01/2018
Journal of Logic and Computation	SCI (Science Citation Index)	Yes	Reviewer	10/2011 - 10/2020
Theory and Practice of Logic Programming	SCI (Science Citation Index)	Yes	Reviewer	12/2005 -

R&D Accomplishments

Description	From	Until
Other categories
Area Editor: Newsletter of the Association for Logic Programming	01/2010	01/2012
Co-Organizer 4th International Conference on Computational Models of Argument (COMMA 2012), Wien, September 2012.	09/2012	09/2012
Co-Organizer 7th Doctoral Consortium on Logic Programming, Lexington, Kentucky, USA	06/2011	06/2011
Co-Organizer CENT'07 Workshop on Correspondence and Equivalence for Nonmonotonic Theories, Tempe, AZ, USA	05/2007	05/2007
Co-Organizer CSL&MFCS'10 Workshop on Parameterized Complexity of Computational Reasoning, Brno, Czech Republic.	10/2010	10/2010
Co-Organizer ICLP'10 Workshop on Answer Set Programming and Other Computing Paradigms, Edinburgh, UK.	07/2010	07/2010
Co-Organizer ICLP'11 Workshop on Answer Set Programming and Other Computing Paradigms, Lexington, Kentucky, USA	07/2011	07/2011
Co-Organizer WLP'06 Workshop on Logic Programming, Vienna, Austria	02/2006	02/2006
Co-Organzier 8th Doctoral Consortium on Logic Programming, Budapest, Ungarn	09/2012	09/2012
Forschungsaufenthalt bei Prof. Gerhard Brewka (Universitaet Leipzig, D)	10/2009	12/2009
PC-Member CILC'10, 25th Italian Conference on Computational Logic, Cosenza, Italy.	07/2010	07/2010
PC-Member ECAI'06, 17th European Conference on Artificial Intelligence, Riva del Garda, Italy	08/2006	09/2006
PC-Member ECAI'10, 19th European Conference on Artificial Intelligence, Lisbon, Portugal.	08/2010	08/2010
PC-Member ICJAI'09, 21st International Joint Conference on Artificial Intelligence, Pasadena, CA, USA	07/2009	07/2009
PC-Member ICLP'07, 23rd International Conference on Logic Programming, Porto, Portugal	09/2007	09/2007
PC-Member ICLP'10, 26th International Conference on Logic Programming, Edinburgh, UK.	07/2010	07/2010
PC-Member LPNMR'09, 10th International Conference on Logic Programming and Nonmonotonic Reasoning, Potsdam, Germany	09/2009	09/2009
PC-Member, Nonmon@30, 30 Years of Nonmonotonic Logic -- International Conference, Lexington, Kentucky, USA.	10/2010	10/2010

Events / Conferences

Category	Collaboration	Event name	From	Until	Function/Comments
Conference / Event	eingeladene_r Sprecher_in	17th Inter- national Symposium on Symbolic and Numeric Algorithms for Scientific Computing	09/2015		Dynamic Programming on Tree Decompositions in Practice. Some Lessons Learned
Conference / Event	eingeladene_r Sprecher_in	8th European Starting AI Researcher Symposium	09/2016		Keynote: Dynamic Programming on Tree Decompositions in Practice
Conference / Event	eingeladene_r Sprecher_in	4th Inte4th International Workshop on Defeasible and Ampliative Reasoningrnational Workshop on Defeasible and Ampliative Reasoning	07/2017		Keynote: Towards Preprocessing for Abstract Argumentation Frameworks
Postgraduate courses / Summer School	Sonstiges		07/2013	07/2013	ACAI (Advanced Courses in AI) Summer School 2013
Postgraduate courses / Summer School	eingeladene_r Sprecher_in	Helsinki Graduate School in Computer Science and Engineering	09/2010	09/2010	Invited Lecture: "Computational Aspects of Abstract Argumentation"
Scientific Conference / Symposium	Sonstiges		01/2011	05/2011	11th International Conference on Logic Programming and Nonmonotonic Reasoning,LPNMR 2011, Vancouver, BC, Kanada
Scientific Conference / Symposium	Sonstiges		09/2012	09/2012	13th European Conference on Logics in Artificial Intelligence, JELIA 2012, Toulouse, France
Scientific Conference / Symposium	Sonstiges		06/2012	06/2012	13th International Conference on Principles of Knowledge Representation and Reasoning, KR 2012, Rom, Italien
Scientific Conference / Symposium	Sonstiges		01/2011	07/2011	22nd International Joint Conference on Artificial Intelligence, IJCAI 2011, Barcelona, Katalonien/Spanien
Scientific Conference / Symposium	Sonstiges		01/2011	07/2011	25th Conference on Artificial Intelligence, AAAI 2011, San Francisco, California, USA
Scientific Conference / Symposium	Sonstiges		01/2011	07/2011	27th International Conference on Logic Programming, ICLP 2011, Lexington, Kentucky, USA
Scientific Conference / Symposium	Sonstiges		09/2012	09/2012	28th International Conference on Logic Programming, ICLP 2012, Budapest, Ungarn
Scientific Conference / Symposium	Sonstiges		06/2012	06/2012	7th International Symposium on Foundations of Information and Knowledge Systems, FoIKS 2012, Kiel, Deutschland
Scientific Conference / Symposium	Organisator_in	14th International Conference on Principles of Knowledge Representation and Reasoning	07/2014	07/2014	Co-Organisator
Scientific Conference / Symposium	Organisator_in	4th International Conference on Computational Models of Argument (COMMA 2012), Wien, September 2012.			Co-Organizer
Scientific Conference / Symposium	eingeladene_r Sprecher_in	20th European Conference on Artificial Intelligence, ECAI 2012, Montpellier, Frankreich	09/2012	09/2012	Frontier-Speaker "Abstract Argumentation - All Problems Solved?"
Scientific Conference / Symposium	eingeladene_r Sprecher_in	Provenance Week 2014	07/2014		Keynote: An Introduction to Abstract Argumentation
Scientific Conference / Symposium	Organisator_in	14th International Workshop on Non-Monotonic Reasoning			PC-Chair
Scientific Conference / Symposium	Organisator_in	14th International Workshop on Computational Logic in Multi-Agent Systems			Session-Organisor