TU Wien Informatics

Overview Professors Scientific Staff Administrative Staff Student Staff External Lecturers By Responsibilities By Committee By Name
Related
Guest Professors Honoraries Alumni (LinkedIn) #5qw

Stefan Woltran

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

Research Focus

  • Logic and Computation: 100%

Research Areas

  • Propositional Logic, Nonmonotonic Reasoning, Argumentation, Knowledge Representation, Logic Programming
Stefan Woltran

About

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)

Roles

Contact

2021W

 

2022

2021

2020

2019

2018

2017

  • Expansion-based (QBF) Solving on Tree Decompositions / G. Charwat, S. Woltran / Talk: 24th International Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion (RCRA@AI*IA 2017), Bari, Italien; 2017-11-14 - 2017-11-15; in: "Proceedings of the 24th International Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion (RCRA@AI*IA 2017)", M. Maratea, I. Serina (ed.); CEUR-WS.org, 2011 (2017), 16 - 26
  • Deviation in Belief Change on Fragments of Propositional Logic / A. Haret, S. Woltran / Talk: 6th Workshop on Dynamics of Knowledge and Belief (DKB-2017) and 5th Workshop KI & Kognition (KIK-2017) on Formal and Cognitive Reasoning, Dortmund; 2017-09-26; in: "Proceedings of the 6th Workshop on Dynamics of Knowledge and Belief (DKB-2017) and the 5th Workshop KI & Kognition (KIK-2017)", C. Beierle, G. Kern-Isberner, M. Ragni, F. Stolzenburg (ed.); CEUR Workshop Proceedings, 1928 (2017), ISSN: 1613-0073; Paper ID 6, 13 pages
  • lpopt: A Rule Optimization Tool for Answer Set Programming / M. Morak, M. Bichler, S. Woltran / Poster: 26th InternationalSymposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2016), Edinburgh, UK; 2017-09-06 - 2017-09-08; in: "Proceedings of the 26th InternationalSymposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2016)", M. Hermenegildo, P. Lopez-Garcia (ed.); Lecture Notes in Computer Science, 10184 (2017), ISBN: 978-3-319-63138-7; 114 - 130
  • DynASP2.5: Dynamic Programming on Tree Decompositions in Action / J. Fichte, M. Hecher, M. Morak, S. Woltran / Talk: International Symposium on Parameterized and Exact Computation (IPEC), TU Wien; 2017-09-04 - 2017-09-08; in: "Proceedings of the 12th International Symposium on Parameterized and Exact Computation (IPEC'17)", D. Lokshtanov, N. Nishimura (ed.); (2017), 1 - 13
  • The Impact of Treewidth on ASP Grounding and Solving / B. Bliem, M. Moldovan, M. Morak, S. Woltran / Talk: 26th International Joint Conference on Artificial Intelligence (IJCAI 2017), Melbourne, Australia; 2017-08-19 - 2017-08-25; in: "Proc. of the 26th International Joint Conference on Artificial Intelligence (IJCAI 2017)", AAAI Press, (2017), 852 - 858
  • On the Complexity of Enumerating the Extensions of Abstract Argumentation Frameworks / M. Kröll, R. Pichler, S. Woltran / Talk: 26th International Joint Conference on Artificial Intelligence (IJCAI 2017), Melbourne, Australia; 2017-08-19 - 2017-08-25; in: "Twenty-Sixth International Joint Conference on Artificial Intelligence, IJCAI 2017", (2017), 1145 - 1152
  • A General Notion of Equivalence for Abstract Argumentation / W. Dvorak, T. Linsbichler, S. Woltran, R. Baumann / Talk: 26th International Joint Conference on Artificial Intelligence (IJCAI 2017), Melbourne, Australia; 2017-08-19 - 2017-08-25; in: "IJCAI 2017", (2017), 800 - 806
  • The Impact of Treewidth on {ASP} Grounding and Solving / M. Moldovan, B. Bliem, M. Morak, S. Woltran, B. Bliem / Talk: 4th International Workshop on Grounding and Transformations for Theories with Variables (GTTV 2017), Espoo, Helsinki; 2017-07-03; in: "Proceedings of the 4th International Workshop on Grounding and Transformations for Theories with Variables (GTTV 2017)", (2017), 1 - 13
  • Towards Preprocessing for Abstract Argumentation Frameworks / S. Woltran / Talk: International Workshop on Defeasible and Ampliative Reasoning 2017, Espoo, Finnland (invited); 2017-07-03; in: "Proceedings of the 4th International Workshop on Defeasible and Ampliative Reasoning (DARe-17)", (2017), 1
  • Answer Set Solving with Bounded Treewidth Revisited / M. Hecher, J. Fichte, M. Morak, S. Woltran / Talk: 14th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2017), Helsinki, Finland; 2017-07-03 - 2017-07-06; in: "Proc. of the 14th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2017)", M. Balduccini, T. Janhunen (ed.); Springer, (2017), 132 - 145
  • A Multiparametric View on Answer Set Programming / J. Fichte, M. Kronegger, S. Woltran / Talk: 14th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2017), Helsinki, Finland; 2017-07-03 - 2017-07-06; in: "Proceedings of the 10th Workshop on Answer Set Programming and Other Computing Paradigms co-located with the 14th International Conference on Logic Programming and Nonmonotonic Reasoning (ASPOCP@LPNMR'17)", (2017), 1 - 14
  • htd - A Free, Open-Source Framework for (Customized) Tree Decompositions and Beyond / M. Abseher, N. Musliu, S. Woltran / Talk: 14th International Conference on Integration of AI and OR Teniques (CPAIOR) 2017, Padua, Italien; 2017-06-05 - 2017-06-08; in: "CPAIOR 2017", Lecture Notes in Computer Science / Springer, 10335 (2017), ISBN: 978-3-319-59775-1; 376 - 386
  • Ranking Specific Sets of Objects / J. Maly, S. Woltran / Talk: Workshop Präferenzen und Personalisierung in der Informatik, Stuttgart; 2017-03-07; in: "Workshop Präferenzen und Personalisierung in der Informatik", (2017), 193 - 201
  • Solving Advanced Argumentation Problems with Answer-Set Programming / M. Diller, T. Linsbichler, S. Woltran, G. Brewka, G. Heissenberger / Talk: Thirty-First AAAI Conference on Artificial Intelligence (AAAI-17), San Francisco, California, USA; 2017-02-04 - 2017-02-09; in: "Proceedings of the 31st AAAI Conference on Artificial Intelligence", (2017), 1077 - 1083
  • Improving the Efficiency of Dynamic Programming on Tree Decompositions via Machine Learning / M. Abseher, N. Musliu, S. Woltran / Journal of Artificial Intelligence Research, 58 (2017), 829 - 858
  • Abstract Dialectical Frameworks. An Overview / G. Brewka, St. Ellmauthaler, H. Strass, J. P. Wallner, S. Woltran / IfCoLog Journal of Logics and their Applications, 4 (2017), 8; 2263 - 2318
  • Merging in the Horn Fragment / A. Haret, St. Rümmele, S. Woltran / ACM Transactions on Computational Logic, 18 (2017), 1; 1 - 32
  • Ranking Specific Sets of Objects / J. Maly, S. Woltran / Datenbank Spektrum - Zeitschrift für Datenbanktechnologie und Information Retrieval, 17 (2017), 3; 255 - 265
  • When you must forget: Beyond strong persistence when forgetting in answer set programming / R. Goncalves, M. Knorr, J. Leite, S. Woltran / Theory and Practice of Logic Programming, 17 (2017), 5-6; 837 - 854
  • Implementing Courcelle's Theorem in a declarative framework for dynamic programming / B. Bliem, R. Pichler, S. Woltran / Journal of Logic and Computation, 27 (2017), 4; 1067 - 1094

2016

  • Clique-Width and Directed Width Measures for Answer-Set Programming / B. Bliem, S. Ordyniak, S. Woltran / Talk: Workshop on Trends and Applications of Answer Set Programming, Klagenfurt, Austria; 2016-09-26; in: "Proceedings of the Workshop on Trends and Applications of Answer Set Programming (TAASP 2016)", T. Eiter, W. Faber, S. Woltran (ed.); (2016), 17 pages
  • Counting Answer Sets via Dynamic Programming / J. Fichte, M. Hecher, M. Morak, S. Woltran / Talk: Workshop on Trends and Applications of Answer Set Programming, Klagenfurt, Austria; 2016-09-26; in: "Proceedings of the Workshop on Trends and Applications of Answer Set Programming (TAASP 2016)", T. Eiter, W. Faber, S. Woltran (ed.); (2016), 14 pages
  • Investigating the relationship between argumentation semantics via signatures / P. Dunne, T. Linsbichler, C. Spanring, S. Woltran / Talk: 39th Annual German Conference on AI (KI 2016), Klagenfurt; 2016-09-26 - 2016-09-30; in: "Advances in Artificial Intelligence - 39th Annual German Conference on AI, Proceedings", G. Friedrich, M. Helmert, F. Wotawa (ed.); Springer, LNCS 9904 (2016), ISBN: 978-3-319-46072-7; 271 - 277
  • Providing Built-In Counters in a Declarative Dynamic Programming Environment / M. Abseher, M. Moldovan, S. Woltran / Talk: Joint German/Austrian Conference on Artificial Intelligence, Klagenfurt, Austria; 2016-09-26 - 2016-09-30; in: "KI 2016: Advances in Artificial Intelligence", G. Friedrich, M. Helmert, F. Wotawa (ed.); LNCS/Springer, 9904 (2016), ISBN: 978-3-319-46072-7; 3 - 16
  • ASP for Anytime Dynamic Programming on Tree Decompositions (Extended Abstract) / B. Bliem, B. Kaufmann, T. Schaub, S. Woltran / Talk: Annual German Conference on Artificial Intelligence (KI), Klagenfurt, Austria; 2016-09-26 - 2016-09-30; in: "KI 2016: Advances in Artificial Intelligence", G. Friedrich, M. Helmert, F. Wotawa (ed.); LNCS/Springer, 9904 (2016), ISBN: 978-3-319-46072-7; 257 - 263
  • Towards advanced systems for abstract argumentation / S. Woltran / Keynote Lecture: First International Workshop on Systems and Algorithms for Formal Argumentation (SAFA 2016), Potsdam (invited); 2016-09-13; in: "Proceedings of the First International Workshop on Systems and Algorithms for Formal Argumentation", M. Thimm, F. Cerutti, H. Strass, M. Vallati (ed.); CEUR Workshop Proceedings, 1672 (2016), 3 pages
  • Introducing the Second International Competition on Computational Models of Argumentation / S. Gaggl, T. Linsbichler, M. Maratea, S. Woltran / Talk: First International Workshop on Systems and Algorithms for Formal Argumentation (SAFA 2016), Potsdam; 2016-09-13; in: "Proceedings of the First International Workshop on Systems and Algorithms for Formal Argumentation", M. Thimm, F. Cerutti, H. Strass, M. Vallati (ed.); CEUR Workshop Proceedings, 1672 (2016), 6 pages
  • Grappavis - A system for advanced graph-based argumentation / G. Heissenberger, S. Woltran / Poster: 6th International Conference on Computational Models of Argument (COMMA 2016), Potsdam; 2016-09-12 - 2016-09-16; in: "Computational Models of Argument - Proceedings of COMMA 2016", P. Baroni, Th. F. Gordon, T. Scheffler, M. Stede (ed.); IOS Press, Frontiers in Artificial Intelligence and Applications 287 (2016), ISBN: 978-1-61499-685-9; 473 - 474
  • Verifiability of argumentation semantics / R. Baumann, T. Linsbichler, S. Woltran / Talk: 6th International Conference on Computational Models of Argument (COMMA 2016), Potsdam; 2016-09-12 - 2016-09-16; in: "Computational Models of Argument - Proceedings of COMMA 2016", P. Baroni, Th. F. Gordon, T. Scheffler, M. Stede (ed.); IOS Press, Frontiers in Artificial Intelligence and Applications 287 (2016), ISBN: 978-1-61499-685-9; 83 - 94
  • On Efficiently Enumerating Semi-Stable Extensions via Dynamic Programming on Tree Decompositions / B. Bliem, M. Hecher, S. Woltran / Talk: COMMA - International Conference on Computational Models of Argument, Potsdam, Germany; 2016-09-12 - 2016-09-16; in: "Computational Models of Argument", P. Baroni, Th. F. Gordon, T. Scheffler, M. Stede (ed.); IOS Press, Frontiers in Artificial Intelligence and Applications 287 (2016), ISBN: 978-1-61499-685-9; 107 - 118
  • lpopt: A Rule Optimization Tool for Answer Set Programming / M. Bichler, M. Morak, S. Woltran / Talk: International Symposium on Logic-Based Program Synthesis and Transformation, Edinburgh, UK; 2016-09-06 - 2016-09-08; in: "Pre-proceedings of the 26th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2016)", M. Hermenegildo, P. Lopez-Garcia (ed.); (2016), 14 pages
  • Dynamic Programming on Tree Decompositions in Practice / S. Woltran / Keynote Lecture: 8th European Starting AI Researcher Symposium, Den Haag (invited); 2016-08-29 - 2016-08-30
  • Beyond IC Postulates: Classification Criteria for Merging Operators / A. Haret, A. Pfandler, S. Woltran / Talk: ECAI 2016 - 22nd European Conference on Artificial Intelligence, Den Haag, Niederlande; 2016-08-29 - 2016-09-02; in: "ECAI 2016 - 22nd European Conference on Artificial Intelligence", G. Kaminka, M. Fox, P. Bouquet, E. Hüllermeier, V. Dignum, F. Dignum, F. van Harmelen (ed.); IOS Press, 285 (2016), ISBN: 978-1-61499-671-2; 372 - 380
  • Translation-Based Revision and Merging for Minimal Horn Reasoning / G. Brewka, J. Mailly, S. Woltran / Talk: ECAI 2016 - 22nd European Conference on Artificial Intelligence, Den Haag, Niederlande; 2016-08-29 - 2016-09-02; in: "Proceedings of the 22nd European Conference on Artificial Intelligence", G. Kaminka, M. Fox, P. Bouquet, E. Hüllermeier, V. Dignum, F. Dignum, F. van Harmelen (ed.); IOS Press, Frontiers in Artificial Intelligence and Applications 285 (2016), ISBN: 978-1-61499-671-2; 734 - 742
  • Clique-Width and Directed Width Measures for Answer-Set Programming / B. Bliem, S. Ordyniak, S. Woltran / Talk: ECAI 2016 - 22nd European Conference on Artificial Intelligence, Den Haag, Niederlande; 2016-08-29 - 2016-09-02; in: "ECAI 2016 - 22nd European Conference on Artificial Intelligence", G. Kaminka, M. Fox, P. Bouquet, E. Hüllermeier, V. Dignum, F. Dignum, F. van Harmelen (ed.); IOS Press, 285 (2016), ISBN: 978-1-61499-671-2; 1105 - 1113
  • Revision of abstract dialectical frameworks: Preliminary report / T. Linsbichler, S. Woltran / Talk: First international Workshop on Argumentation in Logic Programming and Non-Monotonic Reasoning (Arg-LPNMR 2016), New York; 2016-07-10; in: "Proceedings of the First international Workshop on Argumentation in Logic Programming and Non-Monotonic Reasoning", S. Gaggl, J. Nieves, H. Strass (ed.); (2016), 8 pages
  • Investigating the relationship between argumentation semantics via signature / P. Dunne, T. Linsbichler, C. Spanring, S. Woltran / Talk: Twenty-Fifth International Joint Conference on Artificial Intelligence - IJCAI 2016, New York, NY, USA; 2016-07-09 - 2016-07-15; in: "Proceedings of the 25th International Joint Conference on Artificial Intelligence", S. Kambhampati (ed.); IJCAI/AAAI Press, (2016), ISBN: 978-1-57735-770-4; 1051 - 1057
  • Distributing Knowledge Into Simple Bases / A. Haret, J. Mailly, S. Woltran / Talk: Twenty-Fifth International Joint Conference on Artificial Intelligence - IJCAI 2016, New York, NY, USA; 2016-07-09 - 2016-07-15; in: "Proceedings of the 25th International Joint Conference on Artificial Intelligence", S. Kambhampati (ed.); IJCAI/AAAI Press, (2016), ISBN: 978-1-57735-770-4; 1109 - 1115
  • ASP for Anytime Dynamic Programming on Tree Decompositions / B. Bliem, B. Kaufmann, T. Schaub, S. Woltran / Talk: Twenty-Fifth International Joint Conference on Artificial Intelligence - IJCAI 2016, New York, NY, USA; 2016-07-09 - 2016-07-15; in: "Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, IJCAI 2016, New York, NY, USA, 9-15 July 2016", S. Kambhampati (ed.); IJCAI/AAAI Press, (2016), ISBN: 978-1-57735-770-4; 979 - 986
  • Dynamic Programming-based QBF Solving / G. Charwat, S. Woltran / Talk: 4th International Workshop on Quantified Boolean Formulas (QBF 2016), Bordeaux, France; 2016-07-04; in: "Proceedings of the 4th International Workshop on Quantified Boolean Formulas (QBF 2016)", F. Lonsing, M. Seidl (ed.); CEUR-WS.org, 1719 (2016), 14 pages
  • On the functional completeness of argumentation semantics / M. Giacomin, T. Linsbichler, S. Woltran / Talk: 15th International Conference on Principles of Knowledge Representation and Reasoning (KR 2016), Kapstadt; 2016-04-25 - 2016-04-29; in: "Principles of Knowledge Representation and Reasoning: Proceedings of the 15th International Conference", C. Baral, J. Delgrande, F. Wolter (ed.); AAAI Press, (2016), 43 - 52
  • Merging of Abstract Argumentation Frameworks / J. Delobelle, A. Haret, S. Konieczny, J. Mailly, J. Rossit, S. Woltran / Talk: 15th International Conference on Principles of Knowledge Representation and Reasoning (KR 2016), Kapstadt; 2016-04-25 - 2016-04-29; in: "Principles of Knowledge Representation and Reasoning: Proceedings of the 15th International Conference", C. Baral, J. Delgrande, F. Wolter (ed.); AAAI Press, (2016), 33 - 42
  • Verifiability of argumentation semantics / R. Baumann, T. Linsbichler, S. Woltran / Talk: 16th International Workshop on Non-monotonic reasoning (NMR 2016), Kapstadt; 2016-04-22 - 2016-04-24; in: "Proceedings of the 16th International Workshop on Non-monotonic reasoning", G. Kern-Isberner, R. Wassermann (ed.); (2016), 10 pages
  • Distributing Knowledge Into Simple Bases / A. Haret, J. Mailly, S. Woltran / Talk: 16th International Workshop on Non-monotonic reasoning (NMR 2016), Kapstadt; 2016-04-22 - 2016-04-24; in: "Proceedings of the 16th International Workshop on Non-monotonic reasoning", G. Kern-Isberner, R. Wassermann (ed.); (2016), 9 pages
  • Equivalence between Answer-Set Programs under (Partially) Fixed Input / B. Bliem, S. Woltran / Talk: Foundations of Information and Knowledge Systems - 9th International Symposium - FoIKS 2016, Linz; 2016-03-07 - 2016-03-11; in: "Foundations of Information and Knowledge Systems - 9th International Symposium, FoIKS 2016, Linz, Austria, March 7-11, 2016. Proceedings", M. Gyssens, G. Simari (ed.); Lecture Notes in Computer Science (LNCS) / Springer, 9616 (2016), ISBN: 978-3-319-30023-8; 95 - 111
  • Subset Minimization in Dynamic Programming on Tree Decompositions / B. Bliem, G. Charwat, M. Hecher, S. Woltran / Talk: AAAI-16 Workshop on Beyond NP, Phoenix, Arizona, USA; 2016-02-12; in: "Beyond NP, Papers from the 2016 AAAI Workshop", A. Darwiche (ed.); AAAI Press, WS-16-05 (2016), 300 - 306
  • The role of self-attacking arguments in characterizations of equivalence notions / R. Baumann, S. Woltran / Journal of Logic and Computation, 26 (2016), 4; 1293 - 1313
  • On rejected arguments and implicit conflicts: The hidden power of argumentation semantics / R. Baumann, W. Dvorak, T. Linsbichler, C. Spanring, H. Strass, S. Woltran / Artificial Intelligence, 241 (2016), 244 - 284
  • Belief Merging within Fragments of Propositional Logic / N. Creignou, O. Papini, St. Rümmele, S. Woltran / ACM Transactions on Computational Logic, 17 (2016), 3; 20:1 - 20:28
  • Shift Design with Answer Set Programming / M. Abseher, M. Gebser, N. Musliu, T. Schaub, S. Woltran / Fundamenta Informaticae, 147 (2016), 1; 1 - 25
  • D-FLAT^2: Subset Minimization in Dynamic Programming on Tree Decompositions Made Easy / B. Bliem, G. Charwat, M. Hecher, S. Woltran / Fundamenta Informaticae, 147 (2016), 1; 27 - 61
  • The Power of Non-Ground Rules in Answer Set Programming / M. Bichler, M. Morak, S. Woltran / Theory and Practice of Logic Programming, 16 (2016), 5-6; 552 - 569
  • Improving the Efficiency of Dynamic Programming on Tree Decompositions via Machine Learning / M. Abseher, N. Musliu, S. Woltran / Report No. DBAI-TR-2016-94, 2016; 41 pages
  • BDD-based Dynamic Programming on Tree Decompositions / G. Charwat, S. Woltran / Report No. DBAI-TR-2016-95, DBAI, 2016; 47 pages
  • htd -- A Free, Open-Source Framework for Tree Decompositions and Beyond / M. Abseher, N. Musliu, S. Woltran / Report No. DBAI-TR-2016-96, 2016; 52 pages
  • Treewidth-Preserving Modeling in ASP / M. Bichler, B. Bliem, M. Moldovan, M. Morak, S. Woltran / Report No. DBAI-TR-2016-97, 2016; 37 pages
  • Multiparametric View on Answer Set Programming / J. Fichte, M. Kronegger, S. Woltran / Report No. DBAI-TR-2016-99, 2016; 41 pages
  • Answer Set Solving using Tree Decompositions and Dynamic Programming -- The DynASP2 System / J. Fichte, M. Hecher, M. Morak, S. Woltran / Report No. DBAI-TR-2016-101, 2016; 70 pages

2015

2014

2013

2012

2011

2010

  • On the Intertranslatability of Argumentation Semantics / W. Dvorak, S. Woltran / Talk: NonMon@30 - Thirty Years of Nonmonotonic Reasoning, Lexington, Kentucky, USA; 2010-10-22 - 2010-10-25; in: "Proceedings of the Conference on Thirty Years of Nonmonotonic Reasoning", (2010), 15 pages
  • Redundancy Elimination on RDF Graphs in the Presence of Rules, Constraints, and Queries / R. Pichler, A. Polleres, S. Skritek, S. Woltran / Talk: RR 2010 - The fourth international Conference on Web Reasoning and Rule Systems, Brixen, Italy; 2010-09-22 - 2010-09-24; in: "RR 2010", P. Hitzler, T. Lukasiewicz (ed.); Lecture Notes/ Springer, 6333 (2010), ISBN: 978-3-642-15917-6; 133 - 148
  • Computational Aspects of Abstract Argumentation / S. Woltran / Talk: Helsinki Graduate School in Computer Science and Engineering, Helsinki (invited); 2010-09-15 - 2010-09-16
  • Sets of Boolean Connectives That Make Argumentation Easier / N. Creignou, J. Schmidt, M. Thomas, S. Woltran / Talk: 12th European Conference on Logics in Artificial Intelligence (JELIA 2010), Helsinki, Finland; 2010-09-13 - 2010-09-15; in: "Logics in Artificial Intelligence", T. Janhunen, I. Niemelä (ed.); Springer, 6341 (2010), ISBN: 978-3-642-15674-8; 117 - 129
  • A Dynamic-Programming Based ASP-Solver / M. Morak, R. Pichler, St. Rümmele, S. Woltran / Talk: 12th European Conference on Logics in Artificial Intelligence (JELIA 2010), Helsinki, Finland; 2010-09-13 - 2010-09-15; in: "Lecture Notes in Artificial Intelligence", R. Goebel, J. Siekmann, W. Wahlster (ed.); Springer, 6341 (2010), ISBN: 978-3-642-15674-8; 369 - 372
  • Reasoning in Argumentation Frameworks of Bounded Clique-Width / W. Dvorak, St. Szeider, S. Woltran / Talk: COMMA - International Conference on Computational Models of Argument, Desenzano del Garda, Italy; 2010-09-08 - 2010-09-10; in: "Proceedings of COMMA 2010", P. Baroni, F. Cerutti, M. Giacomin, G. Simari (ed.); IOS Press, Frontiers in Artificial Intelligence and Applications 216 (2010), ISBN: 978-1-60750-618-8; 219 - 230
  • cf2 Semantics Revisited / S. Gaggl, S. Woltran / Talk: COMMA - International Conference on Computational Models of Argument, Italien, Desenzano del Garda; 2010-09-08 - 2010-09-10; in: "Computational Models of Argument", P. Baroni, F. Cerutti, M. Giacomin, G. Simari (ed.); IOS Press, Frontiers in Artificial Intelligence and Applications/216/Niederlande (2010), ISBN: 9781607506188; 243 - 254
  • The Complexity of Handling Minimal Solutions in Logic-Based Abduction / R. Pichler, S. Woltran / Talk: ECAI 2010 - 19th European Conference on Artificial Intelligence, Lisbon, Portugal; 2010-08-16 - 2010-08-20; in: "Prooceedings of ECAI 2010 - 19th European Conference on Artificial Intelligence", H. Coelho, R. Studer, M. Woolridge (ed.); IOS Press, 215 (2010), ISBN: 978-1-60750-605-8; 895 - 900
  • Strong Equivalence in Argumentation / S. Woltran / Talk: CLIMA XI - 11th International Workshop on Computational Logis in Multi-Agent Systems, Lisbon, Portugal (invited); 2010-08-16 - 2010-08-17; in: "Computational Logic in Multi-Agent Systems, 11th International Workshop, CLIMA", J. Dix, J. Leite, G. Governatori, W. Jamroga (ed.); Lecture Notes/ Springer, 6245 (2010), ISBN: 978-3-642-14976-4; 14
  • Representing Preferences Among Sets / G. Brewka, M. Truszczynski, S. Woltran / Talk: Twenty-Fourth AAAI Conference on Artificial Intelligence, Atlanta, Georgia, USA; 2010-07-11 - 2010-07-15; in: "Proceedings of the Twenty-Fourth AAAI Conference on Artificial Intelligence, AAAI 2010", M. Fox, D. Poole (ed.); AAAI Press, (2010)
  • Multicut Algorithms via Tree Decompositions / R. Pichler, St. Rümmele, S. Woltran / Talk: 7#{th}^Int. Conference on Algorithms and Complexity - CIAC 2010, Rome, Italy; 2010-05-26 - 2010-05-28; in: "Algorithms and Complexity", T. Calamoneri, J. Diaz (ed.); LNCS, Springer, 6078 (2010), ISBN: 978-3-642-13072-4; 167 - 179
  • Minimising RDF Graphs under Rules and Constraints Revisited / R. Pichler, A. Polleres, S. Skritek, S. Woltran / Talk: 4th Alberto Mendelzon International Workshop on Foundations of Data Management (AMW 2010), Bueons Aires, Argentina; 2010-05-17 - 2010-05-20; in: "Proceedings of the 4th Alberto Mendelzon International Workshop on Foundations of Data Management", A. H. F. Laender, L. V. S. Lakshmanan (ed.); CEUR Workshop Proceedings, 619 (2010), ISSN: 1613-0073
  • Tractable Answer-Set Programming with Weight Constraints: Bounded Treewidth Is not Enough / R. Pichler, St. Rümmele, St. Szeider, S. Woltran / Talk: Principles of Knowledge Representation and Reasoning (KR), Toronto, Kanda; 2010-05-09 - 2010-05-13; in: "Proc. of KR 2010", F. Lin, U. Sattler, M. Truszczynski (ed.); AAAI Press, (2010), ISBN: 978-1-57735-452-9; Paper ID 71, 10 pages
  • Towards Fixed-Parameter Tractable Algorithms for Argumentation / W. Dvorak, R. Pichler, S. Woltran / Talk: Principles of Knowledge Representation and Reasoning (KR), Toronto, Kanda; 2010-05-09 - 2010-05-13; in: "Proc. of KR 2010", F. Lin, U. Sattler, M. Truszczynski (ed.); AAAI Press, (2010), ISBN: 978-1-57735-452-9; Paper ID 24, 11 pages
  • Characterizing Strong Equivalence for Argumentation Frameworks / E. Oikarinen, S. Woltran / Talk: Principles of Knowledge Representation and Reasoning (KR), Toronto, Kanda; 2010-05-09 - 2010-05-13; in: "Proc. of KR 2010", F. Lin, U. Sattler, M. Truszczynski (ed.); AAAI Press, (2010), ISBN: 978-1-57735-452-9; Paper ID 25, 11 pages
  • Abstract Dialectical Frameworks / G. Brewka, S. Woltran / Talk: Principles of Knowledge Representation and Reasoning (KR), Toronto, Kanda; 2010-05-09 - 2010-05-13; in: "Proc. of KR 2010", F. Lin, U. Sattler, M. Truszczynski (ed.); AAAI Press, (2010), ISBN: 978-1-57735-452-9; Paper ID 23, 10 pages
  • Counting and Enumeration Problems with Bounded Treewidth / R. Pichler, St. Rümmele, S. Woltran / Talk: Logic for Programming, Artificial Intelligence, and Reasoning (LPAR), Dakar, Senegal; 2010-04-25 - 2010-05-01; in: "Lecture Notes in Artificial Intelligence 6355", R. Goebel, J. Siekmann, W. Wahlster (ed.); Lecture Notes in Computer Science, 6355 (2010), ISBN: 978-3-642-17510-7; 387 - 404
  • Decentralized Diagnosis: Complexity Analysis and Datalog Encodings / A. Pfandler, R. Pichler, S. Woltran / Poster: Junior Scientist Conference 2010, Vienna; 2010-04-07 - 2010-04-09; in: "Proceedings of the Junior Scientist Conference 2010", H. Kaiser, R. Kirner (ed.); (2010), ISBN: 978-3-200-01797-9; 291 - 292
  • Deciding Equivalence between Extended Datalog Programs. A Brief Survey / S. Woltran / Talk: Datalog 2.0 Workshop, Oxford (invited); 2010-03-15 - 2010-03-19
  • Answer-Set Programming Encodings for Argumentation Frameworks / U. Egly, S. Gaggl, S. Woltran / Argument & Computation, 1 (2010), 2; 147 - 177
  • Complexity of semi-stable and stage semantics in argumentation frameworks / W. Dvorak, S. Woltran / Information Processing Letters, Inf. Process. Lett. 110 (2010), 11; 425 - 430

2009

2008

2007

2006

2005

2004

2003

2002

 

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

2007

2006

2004

 

  • EurAI Fellows programme
    2018 / EurAI Fellow / Website
  • Treating Hard Problems with Decomposition and Dynamic Programming (Decodyn)
    2014 / START-Programm / Austria / Website / Project
  • Distinguished student paper prize at the 13th International Conference on Principles of Knowledge Representation and Reasoning.
    2012 / KR Inc
  • OCG-Förderpreis
    2002 / Austria

Soon, this page will include additional information such as reference projects, activities as journal reviewer and editor, memberships in councils and committees, and other research activities.

Until then, please visit Stefan Woltran’s research profile in TISS .