TU Wien Informatics

Stefan Woltran

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

Research Focus

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

2019

2018

2017

  • 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
  • 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
  • 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
  • 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
  • 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
  • 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 / 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
  • 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
  • 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
  • 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
  • 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
  • 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
  • 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
  • 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

2016

  • 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
  • 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
  • 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
  • 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
  • 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
  • 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
  • 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
  • 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
  • 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
  • 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
  • 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
  • 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
  • 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
  • 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
  • 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
  • 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
  • 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
  • Complexity of Secure Sets / B. Bliem, S. Woltran / Talk: International Workshop on Graph-Theoretic Concepts in Computer Science (WG), Garching, Germany; 2015-06-17 - 2015-06-19; in: "Proceedings of the 41st International Workshop on Graph-Theoretic Concepts in Computer Science (WG 2015)", E. Mayr (ed.); LNCS/Springer, 9224 (2016), ISBN: 978-3-662-53173-0; 64 - 77
  • 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
  • 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
  • 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
  • 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
  • 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
  • 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
  • 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

  • Computational Aspects of Abstract Argumentation / S. Woltran / Talk: Helsinki Graduate School in Computer Science and Engineering, Helsinki (invited); 2010-09-15 - 2010-09-16
  • 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
  • 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
  • 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
  • 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
  • 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
  • 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
  • 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)
  • 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
  • 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
  • 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
  • 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
  • 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
  • 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
  • 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

2009

2008

2007

2006

2005

2004

2003

2002

 

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

2007

2006

2004

 

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

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 .