Personenprofil

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

Stefan Woltran

Telefon +43 1 58801 18429

E-Mailstefan.woltran@tuwien.ac.at

Zugeordnet

E180	E192-02	E199-01	E056-13

Visitenkarte

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

Forschungsabteilung

Name	Leitung/Mitglied
Fakultät für Informatik	Mitglied

Forschungsbereich

Name	Leitung/Mitglied
Fachbereich LogiCS	Mitglied
Dekanat der Fakultät für Informatik	Mitglied
Forschungsbereich Databases and Artificial Intelligence	Leitung

Profil

Forschungsprofil (Deutsch):

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)

Forschungsprofil (Englisch):

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)

URL des Lebenslaufes:

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

Persönliche Webseite:

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

Publikationen:

Publikationsliste

Schlagwörter

Schlagwort (Deutsch)	Schlagwort (Englisch)
Aussagenlogik	Propositional Logic
Nichtmonotones Schliessen	Nonmonotonic Reasoning
Argumentation	Argumentation
Wissensrepräsentation	Knowledge Representation
Logisches Programmieren	Logic Programming

TUW Forschungsschwerpunkte

Forschungsschwerpunkt	Forschungsfeld	Schlagwörter	Prozent
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

Fakultätsschwerpunkte

Fakultätsschwerpunkt	Prozent
Logic andComputation	100

Fachgebiete nach Statistik Austria

Code	Fachgebiet(Deutsch)	Fachgebiet(Englisch)
1108	Informatik	Informatics
1141	Symbolic Computation	Symbolic computation
1138	Informationssysteme	Information systems
1122	Artificial Intelligence	Artificial intelligence

Referenzprojekte

Titel	Förderprogramm	Webpage	Laufzeit von	Bis
National, FWF - Der Wissenschaftsfonds
Extending the Answer-Set Programming Paradigm to Decomposed Problem Solving	.	www.dbai.tuwien.ac.at/research...	01.06.2013	31.05.2017
A Semantical Framework for Graph-Based Argument Processing	D-A-CH Bilaterale Projekte	dbai.tuwien.ac.at/research/pro...	01.09.2016	31.08.2019
Abstract Dialectical Frameworks: Advanced Tools for Formal Argumentation	D-A-CH Bilaterale Projekte	http://dbai.tuwien.ac.at/resea...	01.06.2013	31.05.2016
Fragment-Driven Belief Change	.	http://dbai.tuwien.ac.at/resea...	01.05.2013	30.09.2017
National, WWTF - Wiener Wissenschafts- und Technologiefonds
New Methods for Analyzing, Comparing, and Solving Argumentation Problems	IKT	http://www.dbai.tuwien.ac.at/r...	01.04.2009	31.10.2012
TUW-intern, TU Wien
Mathematical Logic in Computer Science		www.dbai.tuwien.ac.at/drkolleg...	01.03.2011

Internationale Auszeichnungen

Verleihende Organisation	Land	Programm	Funktion	Name	Von	Bis	Webseite	Projekt 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	Staatenlos	EurAI Fellow	EurAI Fellow	EurAI Fellows programme	01.07.2018		https://www.eurai.org/awards_a...

Nationale Auszeichnungen

Verleihende Organisation	Programm	Funktion	Name	Von	Bis	Webseite	Projekt 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

Mitgliedschaft in Gremien

Gremium	Bezeichnung	Sitz	Funktion	Von-Bis
wissenschaftliche Gesellschaft	COMMA Steering Committee	*	Mitglied	01/2013 - 01/2019
wissenschaftliche Gesellschaft	NMR Steering Committee	*	Mitglied	07/2012 - 07/2016
wissenschaftliche Gesellschaft	Principles of Knowledge Representation and Reasoning, Incorporated (KR, Inc.)	*	Mitglied	07/2012 - 07/2016

Mitarbeit an einer Fachzeitschrift

Titel	Klassifizierung	Referenziert	Funktion	Von-Bis	Kommentar
AI Communications - The European Journal on Artificial Intelligence	SCIE (Science Citation Index Expanded)	Ja	Reviewer	11/2008 -
AI Communications - The European Journal on Artificial Intelligence	SCIE (Science Citation Index Expanded)	Ja	Editor	01/2011 - 01/2011	Editor of Special Issue / Volume 24, Number 2
Annals of Mathematics and Artificial Intelligence	SCI (Science Citation Index)	Ja	Reviewer	02/2006 -
Argument and Computation	unklassifiziert	Ja	Editorial board	08/2016 - 10/2020
Aritficial Intelligence	SCI (Science Citation Index)	Ja	Reviewer	11/2007 -
Fundamenta Informaticae	SCI (Science Citation Index)	Ja	Reviewer	01/2012 - 01/2022
International Journal of Approximate Reasoning	SCI (Science Citation Index)	Ja	Reviewer	01/2012 - 01/2022
Journal of AI Research	SCI (Science Citation Index)	Ja	Reviewer	03/2006 -
Journal of Artificial Intelligence Research (JAIR)	SCI (Science Citation Index)	Ja	Editorial board	01/2014 - 01/2018
Journal of Logic and Computation	SCI (Science Citation Index)	Ja	Reviewer	10/2011 - 10/2020
Theory and Practice of Logic Programming	SCI (Science Citation Index)	Ja	Reviewer	12/2005 -

F&E Aktivitäten

Beschreibung	Von	Bis
Andere Kategorien
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

Veranstaltung / Kongresse

Kategorie	Art der Mitarbeit	Veranstaltungsname	Von	Bis	Funktion/Bemerkungen
Fachtagung/Veranstaltung	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
Fachtagung/Veranstaltung	eingeladene_r Sprecher_in	8th European Starting AI Researcher Symposium	09/2016		Keynote: Dynamic Programming on Tree Decompositions in Practice
Fachtagung/Veranstaltung	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
Postgraduale Lehrgänge/Summer School	Sonstiges		07/2013	07/2013	ACAI (Advanced Courses in AI) Summer School 2013
Postgraduale Lehrgänge/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"
Wissenschaftliche Konferenz/Symposium	Sonstiges		01/2011	05/2011	11th International Conference on Logic Programming and Nonmonotonic Reasoning,LPNMR 2011, Vancouver, BC, Kanada
Wissenschaftliche Konferenz/Symposium	Sonstiges		09/2012	09/2012	13th European Conference on Logics in Artificial Intelligence, JELIA 2012, Toulouse, France
Wissenschaftliche Konferenz/Symposium	Sonstiges		06/2012	06/2012	13th International Conference on Principles of Knowledge Representation and Reasoning, KR 2012, Rom, Italien
Wissenschaftliche Konferenz/Symposium	Sonstiges		01/2011	07/2011	22nd International Joint Conference on Artificial Intelligence, IJCAI 2011, Barcelona, Katalonien/Spanien
Wissenschaftliche Konferenz/Symposium	Sonstiges		01/2011	07/2011	25th Conference on Artificial Intelligence, AAAI 2011, San Francisco, California, USA
Wissenschaftliche Konferenz/Symposium	Sonstiges		01/2011	07/2011	27th International Conference on Logic Programming, ICLP 2011, Lexington, Kentucky, USA
Wissenschaftliche Konferenz/Symposium	Sonstiges		09/2012	09/2012	28th International Conference on Logic Programming, ICLP 2012, Budapest, Ungarn
Wissenschaftliche Konferenz/Symposium	Sonstiges		06/2012	06/2012	7th International Symposium on Foundations of Information and Knowledge Systems, FoIKS 2012, Kiel, Deutschland
Wissenschaftliche Konferenz/Symposium	Organisator_in	14th International Conference on Principles of Knowledge Representation and Reasoning	07/2014	07/2014	Co-Organisator
Wissenschaftliche Konferenz/Symposium	Organisator_in	4th International Conference on Computational Models of Argument (COMMA 2012), Wien, September 2012.			Co-Organizer
Wissenschaftliche Konferenz/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?"
Wissenschaftliche Konferenz/Symposium	eingeladene_r Sprecher_in	Provenance Week 2014	07/2014		Keynote: An Introduction to Abstract Argumentation
Wissenschaftliche Konferenz/Symposium	Organisator_in	14th International Workshop on Non-Monotonic Reasoning			PC-Chair
Wissenschaftliche Konferenz/Symposium	Organisator_in	14th International Workshop on Computational Logic in Multi-Agent Systems			Session-Organisor