TU Home
Diese Publikationsliste wurde automatisch aus den Publikationsdaten der Fakultät für Informatik erstellt. Wenn Sie komplexere Suchabfragen vornehmen wollen, rufen Sie bitte die Seite "Publikationen der Fakultät" direkt auf, oder verwenden Sie die globale Suchfunktion der Publikationsdatenbank der Technischen Universität Wien!


Publikationsdatenbank Home  

Publikationsliste für Angehörige von
E192 - Institut für Logic and Computation
E192-02 Database and AI
als Autorinnen / Autoren bzw. wesentlich beteiligte Personen
2016 - 2016

87 Datensätze


Bücher und Buch-Herausgaben


  1. M. Endres, N. Mattei, A. Pfandler (Hrg.):
    "10th Workshop on Advances in Preference Handling (M-PREF)";
    Online Publication, http://www.mpref-2016.preflib.org/program/, 2016, 68 S.

  2. R. Pichler, A. da Silva (Hrg.):
    "Proceedings of the 10th Alberto Mendelzon International Workshop on Foundations of Data Management, Panama City, Panama, May 8-10, 2016";
    CEUR-WS.org, 2016.


Zeitschriftenartikel


  1. M. Abseher, M. Gebser, N. Musliu, T. Schaub, S. Woltran:
    "Shift Design with Answer Set Programming";
    Fundamenta Informaticae, 147 (2016), 1; S. 1 - 25.

  2. R. Baumann, W. Dvorak, T. Linsbichler, C. Spanring, H. Strass, S. Woltran:
    "On rejected arguments and implicit conflicts: The hidden power of argumentation semantics";
    Artificial Intelligence, 241 (2016), S. 244 - 284.

  3. R. Baumann, S. Woltran:
    "The role of self-attacking arguments in characterizations of equivalence notions";
    Journal of Logic and Computation, 26 (2016), 4; S. 1293 - 1313.

  4. M. Bichler, M. Morak, S. Woltran:
    "The Power of Non-Ground Rules in Answer Set Programming";
    Theory and Practice of Logic Programming, 16 (2016), 5-6; S. 552 - 569.

  5. B. Bliem, G. Charwat, M. Hecher, S. Woltran:
    "D-FLAT^2: Subset Minimization in Dynamic Programming on Tree Decompositions Made Easy";
    Fundamenta Informaticae, 147 (2016), 1; S. 27 - 61.

  6. P. Bourhis, M. Manna, M. Morak, A. Pieris:
    "Guarded-Based Disjunctive Tuple-Generating Dependencies";
    ACM Transactions on Database Systems, 41 (2016), 4; S. 27:1 - 27:45.

  7. K. Conrad, N. Musliu, R. Pichler, H. Werthner:
    "Universities and computer science in the European crisis of refugees";
    Communications of the ACM, 59 (2016), 10; S. 31 - 33.

  8. N. Creignou, O. Papini, St. Rümmele, S. Woltran:
    "Belief Merging within Fragments of Propositional Logic";
    ACM Transactions on Computational Logic, 17 (2016), 3; S. 20:1 - 20:28.

  9. U. Egly, M. Kronegger, F. Lonsing, A. Pfandler:
    "Conformant Planning as a Case Study of Incremental QBF Solving";
    Annals of Mathematics and Artificial Intelligence, TBA (2016), S. 1 - 25.

  10. R. Pichler, J. Medina:
    "Fuzzy data exchange";
    Fuzzy Sets and Systems, 301 (2016), S. 129 - 145.


Vorträge und Posterpräsentationen (mit Tagungsband-Eintrag)


  1. M. Abseher, M. Moldovan, S. Woltran:
    "Providing Built-In Counters in a Declarative Dynamic Programming Environment";
    Vortrag: Joint German/Austrian Conference on Artificial Intelligence, Klagenfurt, Austria; 26.09.2016 - 30.09.2016; in: "KI 2016: Advances in Artificial Intelligence", G. Friedrich, M. Helmert, F. Wotawa (Hrg.); LNCS/Springer, 9904 (2016), ISBN: 978-3-319-46072-7; S. 3 - 16.

  2. S. Ahmetaj, W. Fischl, M. Kröll, R. Pichler, M. Simkus, S. Skritek:
    "The Challenge of Optional Matching in SPARQL";
    Hauptvortrag: Foundations of Information and Knowledge Systems - 9th International Symposium - FoIKS 2016, Linz (eingeladen); 07.03.2016 - 11.03.2016; in: "Foundations of Information and Knowledge Systems - 9th International Symposium, FoIKS 2016, Linz, Austria, March 7-11, 2016. Proceedings", M. Gyssens, G. Simari (Hrg.); Lecture Notes in Computer Science (LNCS) / Springer, 9616 (2016), ISBN: 978-3-319-30023-8; S. 169 - 190.

  3. S. Ahmetaj, M. Ortiz de la Fuente, M. Simkus:
    "Polynomial Datalog Rewritings for Expressive Description Logics with Closed Predicates";
    Vortrag: Twenty-Fifth International Joint Conference on Artificial Intelligence - IJCAI 2016, New York, NY, USA; 09.07.2016 - 15.07.2016; in: "Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, IJCAI 2016, New York, NY, USA, 9-15 July 2016", S. Kambhampati (Hrg.); IJCAI/AAAI Press, (2016), ISBN: 978-1-57735-770-4; S. 878 - 885.

  4. S. Ahmetaj, M. Ortiz de la Fuente, M. Simkus:
    "Polynomial Datalog Rewritings for Ontology Mediated Queries with Closed Predicates";
    Vortrag: 10th Alberto Mendelzon International Workshop on Foundations of Data Management, Panama City, Panama; 08.05.2016 - 10.05.2016; in: "Proceedings of the 10th Alberto Mendelzon International Workshop on Foundations of Data Management, Panama City, Panama, May 8-10, 2016", R. Pichler, A. da Silva (Hrg.); CEUR Workshop Proceedings, 1644 (2016), Paper-Nr. 19, 5 S.

  5. S. Ahmetaj, M. Ortiz de la Fuente, M. Simkus:
    "Polynomial Disjunctive Datalog Rewritings of Instance Queries in Expressive Description Logics";
    Vortrag: 29th International Workshop on Description Logics (DL 2016), Cape Town, South Africa; 22.04.2016 - 25.04.2016; in: "Proceedings of the 29th International Workshop on Description Logics, Cape Town, South Africa, April 22-25, 2016.", M. Lenzerini, R. Penaloza (Hrg.); CEUR Workshop Proceedings / CEUR-WS.org, 1577 (2016), Paper-Nr. 26, 13 S.

  6. M. Andresel, M. Ortiz de la Fuente, M. Simkus:
    "A Compilation Technique for Interactive Ontology-mediated Data Exploration";
    Vortrag: 29th International Workshop on Description Logics (DL 2016), Cape Town, South Africa; 22.04.2016 - 25.04.2016; in: "Proceedings of the 29th International Workshop on Description Logics, Cape Town, South Africa, April 22-25, 2016.", M. Lenzerini, R. Penaloza (Hrg.); CEUR Workshop Proceedings / CEUR-WS.org, 1577 (2016), Paper-Nr. 37, 12 S.

  7. M. Arenas, G. Gottlob, A. Pieris:
    "A Datalog-Based Language for Querying RDF Graphs";
    Vortrag: 10th Alberto Mendelzon International Workshop on Foundations of Data Management, Panama City, Panama; 08.05.2016 - 10.05.2016; in: "Proceedings of the 10th Alberto Mendelzon International Workshop on Foundations of Data Management, Panama City, Panama, May 8-10, 2016", R. Pichler, A. da Silva (Hrg.); CEUR Workshop Proceedings, 1644 (2016), Paper-Nr. 17, 4 S.

  8. S. Arming, R. Pichler, E. Sallinger:
    "Complexity of Repair Checking and Consistent Query Answering";
    Vortrag: International Conference on Database Theory - ICDT 2016, Bordeaux; 15.03.2016 - 18.03.2016; in: "19th International Conference on Database Theory, ICDT 2016, Bordeaux, France, March 15-18, 2016", W. Martens, T. Zeume (Hrg.); Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, LIPIcs 48 (2016), Paper-Nr. 21, 18 S.

  9. P. Barceló, G. Gottlob, A. Pieris:
    "Semantic Acyclicity Under Constraints";
    Poster: 35th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems - PODS 2016, San Fracisco, CA, USA; 26.06.2016 - 20.07.2016; in: "Proceedings of the 35th {ACM} {SIGMOD-SIGACT-SIGAI} Symposium on Principles of Database Systems, {PODS} 2016, San Francisco, CA, USA, June 26 - July 01, 2016", T. Milo, W. Tang (Hrg.); ACM, (2016), ISBN: 978-1-4503-4191-2; S. 343 - 354.

  10. P. Barceló, G. Gottlob, A. Pieris:
    "Semantic Acyclicity Under Constraints";
    Vortrag: 10th Alberto Mendelzon International Workshop on Foundations of Data Management, Panama City, Panama; 08.05.2016 - 10.05.2016; in: "Proceedings of the 10th Alberto Mendelzon International Workshop on Foundations of Data Management, Panama City, Panama, May 8-10, 2016", R. Pichler, A. da Silva (Hrg.); CEUR Workshop Proceedings, 1644 (2016), Paper-Nr. 6, 5 S.

  11. R. Baumann, T. Linsbichler, S. Woltran:
    "Verifiability of argumentation semantics";
    Vortrag: 16th International Workshop on Non-monotonic reasoning (NMR 2016), Kapstadt; 22.04.2016 - 24.04.2016; in: "Proceedings of the 16th International Workshop on Non-monotonic reasoning", G. Kern-Isberner, R. Wassermann (Hrg.); (2016), 10 S.

  12. R. Baumann, T. Linsbichler, S. Woltran:
    "Verifiability of argumentation semantics";
    Vortrag: 6th International Conference on Computational Models of Argument (COMMA 2016), Potsdam; 12.09.2016 - 16.09.2016; in: "Computational Models of Argument - Proceedings of COMMA 2016", P. Baroni, Th. F. Gordon, T. Scheffler, M. Stede (Hrg.); IOS Press, Frontiers in Artificial Intelligence and Applications 287 (2016), ISBN: 978-1-61499-685-9; S. 83 - 94.

  13. G. Berger, A. Pieris:
    "Ontology-Mediated Queries Distributing over Components";
    Vortrag: Twenty-Fifth International Joint Conference on Artificial Intelligence - IJCAI 2016, New York, NY, USA; 09.07.2016 - 15.07.2016; in: "Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, IJCAI 2016, New York, NY, USA, 9-15 July 2016", S. Kambhampati (Hrg.); IJCAI/AAAI Press, (2016), ISBN: 978-1-57735-770-4; S. 943 - 949.

  14. M. Bichler, M. Morak, S. Woltran:
    "lpopt: A Rule Optimization Tool for Answer Set Programming";
    Vortrag: International Symposium on Logic-Based Program Synthesis and Transformation, Edinburgh, UK; 06.09.2016 - 08.09.2016; in: "Pre-proceedings of the 26th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2016)", M. Hermenegildo, P. Lopez-Garcia (Hrg.); (2016), 14 S.

  15. B. Bliem, G. Charwat, M. Hecher, S. Woltran:
    "Subset Minimization in Dynamic Programming on Tree Decompositions";
    Vortrag: AAAI-16 Workshop on Beyond NP, Phoenix, Arizona, USA; 12.02.2016; in: "Beyond NP, Papers from the 2016 AAAI Workshop", A. Darwiche (Hrg.); AAAI Press, WS-16-05 (2016), S. 300 - 306.

  16. B. Bliem, M. Hecher, S. Woltran:
    "On Efficiently Enumerating Semi-Stable Extensions via Dynamic Programming on Tree Decompositions";
    Vortrag: COMMA - International Conference on Computational Models of Argument, Potsdam, Germany; 12.09.2016 - 16.09.2016; in: "Computational Models of Argument", P. Baroni, Th. F. Gordon, T. Scheffler, M. Stede (Hrg.); IOS Press, Frontiers in Artificial Intelligence and Applications 287 (2016), ISBN: 978-1-61499-685-9; S. 107 - 118.

  17. B. Bliem, B. Kaufmann, T. Schaub, S. Woltran:
    "ASP for Anytime Dynamic Programming on Tree Decompositions";
    Vortrag: Twenty-Fifth International Joint Conference on Artificial Intelligence - IJCAI 2016, New York, NY, USA; 09.07.2016 - 15.07.2016; in: "Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, IJCAI 2016, New York, NY, USA, 9-15 July 2016", S. Kambhampati (Hrg.); IJCAI/AAAI Press, (2016), ISBN: 978-1-57735-770-4; S. 979 - 986.

  18. B. Bliem, B. Kaufmann, T. Schaub, S. Woltran:
    "ASP for Anytime Dynamic Programming on Tree Decompositions (Extended Abstract)";
    Vortrag: Annual German Conference on Artificial Intelligence (KI), Klagenfurt, Austria; 26.09.2016 - 30.09.2016; in: "KI 2016: Advances in Artificial Intelligence", G. Friedrich, M. Helmert, F. Wotawa (Hrg.); LNCS/Springer, 9904 (2016), ISBN: 978-3-319-46072-7; S. 257 - 263.

  19. B. Bliem, S. Ordyniak, S. Woltran:
    "Clique-Width and Directed Width Measures for Answer-Set Programming";
    Vortrag: ECAI 2016 - 22nd European Conference on Artificial Intelligence, Den Haag, Niederlande; 29.08.2016 - 02.09.2016; 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 (Hrg.); IOS Press, 285 (2016), ISBN: 978-1-61499-671-2; S. 1105 - 1113.

  20. B. Bliem, S. Ordyniak, S. Woltran:
    "Clique-Width and Directed Width Measures for Answer-Set Programming";
    Vortrag: Workshop on Trends and Applications of Answer Set Programming, Klagenfurt, Austria; 26.09.2016; in: "Proceedings of the Workshop on Trends and Applications of Answer Set Programming (TAASP 2016)", T. Eiter, W. Faber, S. Woltran (Hrg.); (2016), 17 S.

  21. B. Bliem, S. Woltran:
    "Complexity of Secure Sets";
    Vortrag: International Workshop on Graph-Theoretic Concepts in Computer Science (WG), Garching, Germany; 17.06.2015 - 19.06.2015; in: "Proceedings of the 41st International Workshop on Graph-Theoretic Concepts in Computer Science (WG 2015)", E. Mayr (Hrg.); LNCS/Springer, 9224 (2016), ISBN: 978-3-662-53173-0; S. 64 - 77.

  22. B. Bliem, S. Woltran:
    "Equivalence between Answer-Set Programs under (Partially) Fixed Input";
    Vortrag: Foundations of Information and Knowledge Systems - 9th International Symposium - FoIKS 2016, Linz; 07.03.2016 - 11.03.2016; in: "Foundations of Information and Knowledge Systems - 9th International Symposium, FoIKS 2016, Linz, Austria, March 7-11, 2016. Proceedings", M. Gyssens, G. Simari (Hrg.); Lecture Notes in Computer Science (LNCS) / Springer, 9616 (2016), ISBN: 978-3-319-30023-8; S. 95 - 111.

  23. G. Brewka, J. Mailly, S. Woltran:
    "Translation-Based Revision and Merging for Minimal Horn Reasoning";
    Vortrag: ECAI 2016 - 22nd European Conference on Artificial Intelligence, Den Haag, Niederlande; 29.08.2016 - 02.09.2016; 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 (Hrg.); IOS Press, Frontiers in Artificial Intelligence and Applications 285 (2016), ISBN: 978-1-61499-671-2; S. 734 - 742.

  24. D. Calvanese, M. Ortiz de la Fuente, M. Simkus:
    "Verification of Evolving Graph-structured Data under Expressive Path Constraints";
    Vortrag: International Conference on Database Theory - ICDT 2016, Bordeaux; 15.03.2016 - 18.03.2016; in: "19th International Conference on Database Theory, ICDT 2016, Bordeaux, France, March 15-18, 2016", W. Martens, T. Zeume (Hrg.); Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, LIPIcs 48 (2016), S. 1 - 19.

  25. G. Charwat, S. Woltran:
    "Dynamic Programming-based QBF Solving";
    Vortrag: 4th International Workshop on Quantified Boolean Formulas (QBF 2016), Bordeaux, France; 04.07.2016; in: "Proceedings of the 4th International Workshop on Quantified Boolean Formulas (QBF 2016)", F. Lonsing, M. Seidl (Hrg.); CEUR-WS.org, 1719 (2016), 14 S.

  26. T. Csar, M. Lackner, R. Pichler, E. Sallinger:
    "Winner Determination in Huge Elections with MapReduce";
    Vortrag: 10th Multidisciplinary Workshop on Advances in Preference Handling, New York City, USA; 09.07.2016; in: "10th Multidisciplinary Workshop on Advances in Preference Handling", M. Endres, N. Mattei, A. Pfandler (Hrg.); (2016), 7 S.

  27. J. Delobelle, A. Haret, S. Konieczny, J. Mailly, J. Rossit, S. Woltran:
    "Merging of Abstract Argumentation Frameworks";
    Vortrag: 15th International Conference on Principles of Knowledge Representation and Reasoning (KR 2016), Kapstadt; 25.04.2016 - 29.04.2016; in: "Principles of Knowledge Representation and Reasoning: Proceedings of the 15th International Conference", C. Baral, J. Delgrande, F. Wolter (Hrg.); AAAI Press, (2016), S. 33 - 42.

  28. E. Demirovic, T. Le Calvar, N. Musliu, K. Inoue:
    "An Exact Algorithm for Unicost Set Covering";
    Vortrag: International Conference on Principles and Practice of Constraint Programming (CP), Toulouse; 05.09.2016 - 09.09.2016; in: "Doctoral Program of the 22nd International Conference on the Principles and Practice of Constraint Programming (CP 2016)", (2016), 9 S.

  29. E. Demirovic, N. Musliu, F. Winter:
    "Modeling and solving staff scheduling with partial weighted maxSAT";
    Vortrag: PATAT 2016, Udine; 23.08.2016 - 26.08.2016; in: "PATAT 2016: Proceedings of the 11th International Conference of the Practice and Theory of Automated Timetabling", (2016), ISBN: 978-0-9929984-1-7; 17 S.

  30. S. Doutre, J. Mailly:
    "How different are two argumentation semantics?";
    Vortrag: Dixièmes Journées d'Intelligence Artificielle Fondamentale (IAF 2016), Montpellier; 15.06.2016 - 17.06.2016; in: "Dixièmes Journées d'Intelligence Artificielle Fondamentale", (2016), 8 S.

  31. S. Doutre, J. Mailly:
    "Quantifying the difference between argumentation semantics";
    Vortrag: 6th International Conference on Computational Models of Argument (COMMA 2016), Potsdam; 12.09.2016 - 16.09.2016; in: "Computational Models of Argument - Proceedings of COMMA 2016", P. Baroni, Th. F. Gordon, T. Scheffler, M. Stede (Hrg.); IOS Press, Frontiers in Artificial Intelligence and Applications 287 (2016), ISBN: 978-1-61499-685-9; S. 255 - 262.

  32. P. Dunne, T. Linsbichler, C. Spanring, S. Woltran:
    "Investigating the relationship between argumentation semantics via signature";
    Vortrag: Twenty-Fifth International Joint Conference on Artificial Intelligence - IJCAI 2016, New York, NY, USA; 09.07.2016 - 15.07.2016; in: "Proceedings of the 25th International Joint Conference on Artificial Intelligence", S. Kambhampati (Hrg.); IJCAI/AAAI Press, (2016), ISBN: 978-1-57735-770-4; S. 1051 - 1057.

  33. P. Dunne, T. Linsbichler, C. Spanring, S. Woltran:
    "Investigating the relationship between argumentation semantics via signatures";
    Vortrag: 39th Annual German Conference on AI (KI 2016), Klagenfurt; 26.09.2016 - 30.09.2016; in: "Advances in Artificial Intelligence - 39th Annual German Conference on AI, Proceedings", G. Friedrich, M. Helmert, F. Wotawa (Hrg.); Springer, LNCS 9904 (2016), ISBN: 978-3-319-46072-7; S. 271 - 277.

  34. M. Endres, A. Pfandler:
    "Unsere Empfehlung für Sie: Präferenzen und Personalisierung in der Informatik";
    Vortrag: 46. Jahrestagung der Gesellschaft für Informatik, Klagenfurt; 26.09.2016 - 30.09.2016; in: "Informatik 2016", H. Mayr, M. Pinzger (Hrg.); Gesellschaft für Informatik, Bonn, (2016), ISBN: 978-3-88579-653-4; S. 1927 - 1934.

  35. J. Fichte, M. Hecher, M. Morak, S. Woltran:
    "Counting Answer Sets via Dynamic Programming";
    Vortrag: Workshop on Trends and Applications of Answer Set Programming, Klagenfurt, Austria; 26.09.2016; in: "Proceedings of the Workshop on Trends and Applications of Answer Set Programming (TAASP 2016)", T. Eiter, W. Faber, S. Woltran (Hrg.); (2016), 14 S.

  36. J. Fichte, A. Meier, I. Schindler:
    "Strong Backdoors for Default Logic";
    Vortrag: Theory and Application of Satisfiability Testing -- SAT, Bordeaux, France; 05.07.2016 - 08.07.2016; in: "Proceedings of SAT 2016: Theory and Applications of Satisfiability Testing - SAT 2016", N. Creignou, D. Le Berre (Hrg.); (2016), ISBN: 978-3-319-40969-6; S. 45 - 59.

  37. S. Gaggl, T. Linsbichler, M. Maratea, S. Woltran:
    "Introducing the Second International Competition on Computational Models of Argumentation";
    Vortrag: First International Workshop on Systems and Algorithms for Formal Argumentation (SAFA 2016), Potsdam; 13.09.2016; in: "Proceedings of the First International Workshop on Systems and Algorithms for Formal Argumentation", M. Thimm, F. Cerutti, H. Strass, M. Vallati (Hrg.); CEUR Workshop Proceedings, 1672 (2016), 6 S.

  38. M. Giacomin, T. Linsbichler, S. Woltran:
    "On the functional completeness of argumentation semantics";
    Vortrag: 15th International Conference on Principles of Knowledge Representation and Reasoning (KR 2016), Kapstadt; 25.04.2016 - 29.04.2016; in: "Principles of Knowledge Representation and Reasoning: Proceedings of the 15th International Conference", C. Baral, J. Delgrande, F. Wolter (Hrg.); AAAI Press, (2016), S. 43 - 52.

  39. G. Gottlob, A. Pieris, M. Simkus:
    "The Impact of Active Domain Predicates on Guarded Existential Rules";
    Vortrag: RR2016 - Web Reasoning and Rule Systems - 10th International Conference, Aberdeen; 09.09.2016 - 11.09.2016; in: "Web Reasoning and Rule Systems - 10th International Conference, RR 2016, Aberdeen, UK, September 9-11, 2016, Proceedings", M. Ortiz de la Fuente, S. Schlobach (Hrg.); Lecture Notes in Computer Science / Springer, 9898 (2016), ISBN: 978-3-319-45275-3; S. 94 - 110.

  40. A. Haret, J. Mailly, S. Woltran:
    "Distributing Knowledge Into Simple Bases";
    Vortrag: 16th International Workshop on Non-monotonic reasoning (NMR 2016), Kapstadt; 22.04.2016 - 24.04.2016; in: "Proceedings of the 16th International Workshop on Non-monotonic reasoning", G. Kern-Isberner, R. Wassermann (Hrg.); (2016), 9 S.

  41. A. Haret, J. Mailly, S. Woltran:
    "Distributing Knowledge Into Simple Bases";
    Vortrag: Twenty-Fifth International Joint Conference on Artificial Intelligence - IJCAI 2016, New York, NY, USA; 09.07.2016 - 15.07.2016; in: "Proceedings of the 25th International Joint Conference on Artificial Intelligence", S. Kambhampati (Hrg.); IJCAI/AAAI Press, (2016), ISBN: 978-1-57735-770-4; S. 1109 - 1115.

  42. A. Haret, A. Pfandler, S. Woltran:
    "Beyond IC Postulates: Classification Criteria for Merging Operators";
    Vortrag: ECAI 2016 - 22nd European Conference on Artificial Intelligence, Den Haag, Niederlande; 29.08.2016 - 02.09.2016; 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 (Hrg.); IOS Press, 285 (2016), ISBN: 978-1-61499-671-2; S. 372 - 380.

  43. G. Heissenberger, S. Woltran:
    "Grappavis - A system for advanced graph-based argumentation";
    Poster: 6th International Conference on Computational Models of Argument (COMMA 2016), Potsdam; 12.09.2016 - 16.09.2016; in: "Computational Models of Argument - Proceedings of COMMA 2016", P. Baroni, Th. F. Gordon, T. Scheffler, M. Stede (Hrg.); IOS Press, Frontiers in Artificial Intelligence and Applications 287 (2016), ISBN: 978-1-61499-685-9; S. 473 - 474.

  44. P. Kolaitis, R. Pichler, E. Sallinger, V. Savenkov:
    "Limits of Schema Mappings";
    Vortrag: International Conference on Database Theory - ICDT 2016, Bordeaux; 15.03.2016 - 18.03.2016; in: "19th International Conference on Database Theory, ICDT 2016, Bordeaux, France, March 15-18, 2016", W. Martens, T. Zeume (Hrg.); Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, LIPIcs 48 (2016), Paper-Nr. 19, 17 S.

  45. M. Kröll, R. Pichler, S. Skritek:
    "On the Complexity of Enumerating the Answers to Well-designed Pattern Trees";
    Vortrag: International Conference on Database Theory - ICDT 2016, Bordeaux; 15.03.2016 - 18.03.2016; in: "19th International Conference on Database Theory, ICDT 2016, Bordeaux, France, March 15-18, 2016", W. Martens, T. Zeume (Hrg.); Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, LIPIcs 48 (2016), S. 1 - 18.

  46. M. Kröll, R. Pichler, S. Skritek:
    "On the Complexity of Enumerating the Answers to Well-Designed Pattern Trees";
    Vortrag: 10th Alberto Mendelzon International Workshop on Foundations of Data Management, Panama City, Panama; 08.05.2016 - 10.05.2016; in: "Proceedings of the 10th Alberto Mendelzon International Workshop on Foundations of Data Management, Panama City, Panama, May 8-10, 2016", R. Pichler, A. da Silva (Hrg.); CEUR Workshop Proceedings, 1644 (2016), Paper-Nr. 14, 5 S.

  47. T. Linsbichler, J. Puehrer, H. Strass:
    "A uniform account of realizability in abstract argumentation";
    Vortrag: ECAI 2016 - 22nd European Conference on Artificial Intelligence, Den Haag, Niederlande; 29.08.2016 - 02.09.2016; 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 (Hrg.); IOS Press, Frontiers in Artificial Intelligence and Applications 285 (2016), ISBN: 978-1-61499-671-2; S. 252 - 260.

  48. T. Linsbichler, J. Puehrer, H. Strass:
    "Characterizing realizability in abstract argumentation";
    Vortrag: 16th International Workshop on Non-monotonic reasoning (NMR 2016), Kapstadt; 22.04.2016 - 24.04.2016; in: "Proceedings of the 16th International Workshop on Non-monotonic reasoning", G. Kern-Isberner, R. Wassermann (Hrg.); (2016), 10 S.

  49. T. Linsbichler, S. Woltran:
    "Revision of abstract dialectical frameworks: Preliminary report";
    Vortrag: First international Workshop on Argumentation in Logic Programming and Non-Monotonic Reasoning (Arg-LPNMR 2016), New York; 10.07.2016; in: "Proceedings of the First international Workshop on Argumentation in Logic Programming and Non-Monotonic Reasoning", S. Gaggl, J. Nieves, H. Strass (Hrg.); (2016), 8 S.

  50. J. Mailly:
    "Using enthymemes to fill the gap between logical argumentation and revision of abstract argumentation frameworks";
    Hauptvortrag: 16th International Workshop on Non-monotonic reasoning (NMR 2016), Kapstadt; 22.04.2016 - 24.04.2016; in: "Proceedings of the 16th International Workshop on Non-monotonic reasoning", G. Kern-Isberner, R. Wassermann (Hrg.); (2016), 11 S.

  51. F. Mischek, N. Musliu:
    "Integer Programming and Heuristic Approaches for a Multi-Stage Nurse Rostering Problem";
    Vortrag: PATAT 2016, Udine; 23.08.2016 - 26.08.2016; in: "PATAT 2016: Proceedings of the 11th International Conference of the Practice and Theory of Automated Timetabling", (2016), ISBN: 978-0-9929984-1-7; 18 S.

  52. N. Ngo, M. Ortiz de la Fuente, M. Simkus:
    "Closed Predicates in Description Logics: Results on Combined Complexity";
    Vortrag: 10th Alberto Mendelzon International Workshop on Foundations of Data Management, Panama City, Panama; 08.05.2016 - 10.05.2016; in: "Proceedings of the 10th Alberto Mendelzon International Workshop on Foundations of Data Management, Panama City, Panama, May 8-10, 2016", R. Pichler, A. da Silva (Hrg.); CEUR Workshop Proceedings, 1644 (2016), Paper-Nr. 8, 5 S.

  53. N. Ngo, M. Ortiz de la Fuente, M. Simkus:
    "Closed Predicates in Description Logics: Results on Combined Complexity";
    Vortrag: 15th International Conference on the Principles of Knowledge Representation and Reasoning - KR 2016, Cape Town, South Africa; 24.04.2016 - 29.04.2016; in: "Principles of Knowledge Representation and Reasoning: Proceedings of the Fifteenth International Conference, {KR} 2016, Cape Town, South Africa, April 25-29, 2016.", C. Baral, J. Delgrande, F. Wolter (Hrg.); AAAI Press, (2016), S. 237 - 246.

  54. S. Polberg:
    "Intertranslatability of Abstract Argumentation Frameworks";
    Vortrag: Cardiff Argumentation Forum, Cardiff; 06.07.2016 - 07.07.2016; in: "Cardiff Argumentation Forum", (2016), 3 S.

  55. S. Polberg:
    "Understanding the abstract dialectical framework";
    Vortrag: 15th European Conference On Logics In Artificial Intelligence (JELIA 2016), Larnaca; 09.11.2016 - 11.11.2016; in: "Proceedings of the 15th European Conference On Logics In Artificial Intelligence", L. Michael, A. Kakas (Hrg.); Springer, LNCS 10021 (2016), ISBN: 978-3-319-48757-1; S. 430 - 446.

  56. J. Rasku, N. Musliu, T. Kärkkäinen:
    "Feature Extractors for Describing Vehicle Routing Problem Instances";
    Vortrag: 5th Student Conference on Operational Research (SCOR 2016), Nottingham; 08.04.2016 - 10.04.2016; in: "5th Student Conference on Operational Research (SCOR 2016)", (2016), ISBN: 978-3-95977-004-0; 13 S.

  57. C. Spanring:
    "Conflicts in Abstract Argumentation";
    Vortrag: Cardiff Argumentation Forum, Cardiff; 06.07.2016 - 07.07.2016; in: "Cardiff Argumentation Forum", (2016), 2 S.

  58. C. Spanring:
    "Perfection in abstract argumentation";
    Vortrag: 6th International Conference on Computational Models of Argument (COMMA 2016), Potsdam; 12.09.2016 - 16.09.2016; in: "Computational Models of Argument - Proceedings of COMMA 2016", P. Baroni, Th. F. Gordon, T. Scheffler, M. Stede (Hrg.); IOS Press, Frontiers in Artificial Intelligence and Applications 287 (2016), ISBN: 978-1-61499-685-9; S. 439 - 446.

  59. S. Woltran:
    "Towards advanced systems for abstract argumentation";
    Hauptvortrag: First International Workshop on Systems and Algorithms for Formal Argumentation (SAFA 2016), Potsdam (eingeladen); 13.09.2016; in: "Proceedings of the First International Workshop on Systems and Algorithms for Formal Argumentation", M. Thimm, F. Cerutti, H. Strass, M. Vallati (Hrg.); CEUR Workshop Proceedings, 1672 (2016), 3 S.


Vorträge und Posterpräsentationen (ohne Tagungsband-Eintrag)


  1. M. Ortiz de la Fuente, M. Simkus:
    "Managing Change in Graph-Structured Data Using Description Logics";
    Vortrag: Workshop on New Trends in Belief Change, Vienna; 10.05.2016.

  2. S. Woltran:
    "Dynamic Programming on Tree Decompositions in Practice";
    Hauptvortrag: 8th European Starting AI Researcher Symposium, Den Haag (eingeladen); 29.08.2016 - 30.08.2016.


Dissertationen (eigene und begutachtete)


  1. U. Habib:
    "Fault Detection and Diagnosis in Building Energy Systems";
    Betreuer/in(nen), Begutachter/in(nen): D. Dietrich, N. Musliu; E384, 2016; Rigorosum: 11.04.2016.

  2. M. Kronegger:
    "On the Parameterized Complexity of Planning";
    Betreuer/in(nen), Begutachter/in(nen): R. Pichler, C. Bäckström; Institut für Informationsysteme, 2016.


Diplom- und Master-Arbeiten (eigene und betreute)


  1. T. Ambroz, A. Jusits:
    "Designing a System for the Experimental Analysis and Visualization of Dynamic Programming on Tree Decompositions";
    Betreuer/in(nen): S. Woltran, G. Charwat; Institut für Informationssysteme, 2016; Abschlussprüfung: 29.02.2016.

  2. G. Heißenberger:
    "A System For Advanced Graphical Argumentation Formalisms";
    Betreuer/in(nen): S. Woltran, M. Diller; Institut für Informationssysteme, 2016; Abschlussprüfung: 14.03.2016.

  3. F. Mischek:
    "Exact and Heuristic Approaches for a Multi-Stage Nurse Rostering";
    Betreuer/in(nen): N. Musliu; Institut für Informationssysteme, 2016; Abschlussprüfung: 10/2016.

  4. F. Winter:
    "MaxSAT Modeling and Metaheuristic Methods for the Employee Scheduling Problem";
    Betreuer/in(nen): N. Musliu; Institut für Informationssysteme, 2016; Abschlussprüfung: 10/2016.

  5. M. Züger:
    "Large Neighborhood Search for Break Scheduling";
    Betreuer/in(nen): N. Musliu; Institut für Informationssysteme, 2016; Abschlussprüfung: 10/2016.


Wissenschaftliche Berichte


  1. M. Abseher, N. Musliu, S. Woltran:
    "htd -- A Free, Open-Source Framework for Tree Decompositions and Beyond";
    Berichts-Nr. DBAI-TR-2016-96, 2016; 52 S.

  2. M. Abseher, N. Musliu, S. Woltran:
    "Improving the Efficiency of Dynamic Programming on Tree Decompositions via Machine Learning";
    Berichts-Nr. DBAI-TR-2016-94, 2016; 41 S.

  3. M. Bichler, B. Bliem, M. Moldovan, M. Morak, S. Woltran:
    "Treewidth-Preserving Modeling in ASP";
    Berichts-Nr. DBAI-TR-2016-97, 2016; 37 S.

  4. G. Charwat, S. Woltran:
    "BDD-based Dynamic Programming on Tree Decompositions";
    Berichts-Nr. DBAI-TR-2016-95, DBAI, 2016; 47 S.

  5. J. Fichte, M. Hecher, M. Morak, S. Woltran:
    "Answer Set Solving using Tree Decompositions and Dynamic Programming -- The DynASP2 System";
    Berichts-Nr. DBAI-TR-2016-101, 2016; 70 S.

  6. J. Fichte, M. Kronegger, S. Woltran:
    "Multiparametric View on Answer Set Programming";
    Berichts-Nr. DBAI-TR-2016-99, 2016; 41 S.

  7. J. Fichte, S. Szeider:
    "Backdoor Trees for Answer Set Programming";
    Berichts-Nr. DBAI-TR-2016-98, 2016; 24 S.