TU Home
 


Publication Database Home  

Publication list for members of
E184 - Institute of Information Systems
E184-2 Datenbanken und Artificial Intelligence
as authors or essentially involved persons
2013 - 2013

76 records


Books and Book Editorships


  1. J. Leite, T. Son, P. Torroni, L. van der Torre, S. Woltran (ed.):
    "Computational Logic in Multi-Agent Systems";
    Springer, 2013, ISBN: 978-3-642-40623-2.


Publications in Scientific Journals


  1. M. Bruner, M. Lackner:
    "The computational landscape of permutation patterns";
    arXiv.org e-Print archive, http://arxiv.org/abs/1301.0340 (2013), 22 pages.

    More information

  2. D. Calvanese, M. Ortiz de la Fuente, M. Simkus, G. Stefanoni:
    "Reasoning about Explanations for Negative Query Answers in DL-Lite";
    Journal of Artificial Intelligence Research, 48 (2013), 635 - 669.

    More information

  3. J. Delgrande, T. Schaub, H. Tompits, S. Woltran:
    "A Model-Theoretic Approach to Belief Change in Answer Set Programming";
    ACM Transactions on Computational Logic, 14 (2013), 2.

    More information

  4. P. Dunne, W. Dvorak, S. Woltran:
    "Parametric Properties of Ideal Semantics";
    Artificial Intelligence, 202 (2013), 1; 1 - 28.

    More information

  5. T. Eiter, M. Fink, J. Puehrer, H. Tompits, S. Woltran:
    "Model-Based Recasting in Answer-Set Programming";
    Journal of Applied Non-Classical Logics (JANCL), 23 (2013), 1-2; 75 - 104.

  6. T. Eiter, G. Gottlob:
    "Marco Cadoli's Work on Nonmonotonic Reasoning";
    Intelligenza Artificiale, 7 (2013), 1; 7 - 17.

  7. W. Faber, M. Truszczynski, S. Woltran:
    "Strong Equivalence of Qualitative Optimization Problems";
    Journal of Artificial Intelligence Research, 47 (2013), 351 - 391.

  8. I. Feinerer:
    "Efficient large-scale configuration via integer linear programming";
    Artificial Intelligence for Engineering Design, Analysis and Manufacturing, 27 (2013), 1; 37 - 49.

    More information

  9. S. Gaggl, S. Woltran:
    "The cf2 argumentation semantics revisited.";
    Journal of Logic and Computation, 23 (2013), 5; 925 - 949.

    More information

  10. C. Green, I. Feinerer, J. Burman:
    "Beyond the schools of psychology 1: A digital analysis of Psychological Review, 1894-1903";
    Journal of the History of the Behavioral Sciences, 49 (2013), 2; 167 - 189.

    More information

  11. K. Hornik, P. Mair, J. Rauch, W. Geiger, Ch. Buchta, I. Feinerer:
    "The textcat package for n-gram based text categorization in R";
    Journal of Statistical Software, 52 (2013), 6; 1 - 17.

    More information

  12. A. Letelier, J. Perez, R. Pichler, S. Skritek:
    "Static Analysis and Optimization of Semantic Web Queries";
    ACM Transactions on Database Systems (invited), 38 (2013), 4; 25:1 - 25:45.

    More information

  13. R. Pichler, A. Polleres, S. Skritek, S. Woltran:
    "Complexity of redundancy detection on RDF graphs in the presence of rules, constraints, and queries";
    Semantic Web (invited), 4 (2013), 4; 351 - 393.

    More information

  14. R. Pichler, E. Sallinger, V. Savenkov:
    "Relaxed Notions of Schema Mapping Equivalence Revisited";
    Theory of Computing Systems (invited), 52 (2013), 3; 483 - 541.

    More information

  15. R. Pichler, S. Skritek:
    "Tractable counting of the answers to conjunctive queries";
    Journal of Computer and System Sciences (invited), 79 (2013), 6; 984 - 1001.

    More information

  16. A. Polleres, J. P. Wallner:
    "On the relation between SPARQL1.1 and Answer Set Programming";
    Journal of Applied Non-Classical Logics (JANCL), 23 (2013), 1-2; 159 - 212.

    More information


Contributions to Books


  1. L. Di Gaspero, J. Gärtner, N. Musliu, A. Schaerf, W. Schafhauser, W. Slany:
    "Automated Shift Design and Break Scheduling";
    in: "Automated Scheduling and Planning, Studies in Computational Intelligence Volume 505", Springer, 2013, (invited), 109 - 127.

    More information


Contributions to Proceedings


  1. N. Creignou, R. Pichler, S. Woltran:
    "Do Hard SAT-Related Reasoning Tasks Become Easier in the Krom Fragment?";
    in: "Proceedings of the 23rd International Joint Conference on Artificial Intelligence", F. Rossi (ed.); AAAI Press, 2013, ISBN: 978-1-57735-633-2, 954 - 961.

    More information

  2. W. Dvorak, S. Gaggl, J. P. Wallner, S. Woltran:
    "Making Use of Advances in Answer-Set Programming for Abstract Argumentation Systems";
    in: "Applications of Declarative Programming and Knowledge Management", H. Tompits, S. Abreu, J. Oetsch, J. Puehrer, D. Seipel, M. Umeda, A. Wolf (ed.); Springer, 2013, ISBN: 978-3-642-41523-4, 114 - 133.

  3. W. Faber, M. Truszczynski, S. Woltran:
    "Abstract Preference Frameworks - a Unifying Perspective on Separability and Strong Equivalence";
    in: "Proceedings of the Twenty-Seventh AAAI Conference on Artificial Intelligence", AAAI Press, 2013, ISBN: 978-1-57735-615-8, 297 - 303.

    More information

  4. C. Herzog, I. Kordomatis, W. Holzinger, R. Fayzrakhmanov, B. Krüpl-Sypien:
    "Feature-based object identification for web automation";
    in: "Proceedings of the 28th Annual ACM Symposium on Applied Computing", D. Shin (ed.); ACM, 2013, ISBN: 978-1-4503-1656-9, 742 - 749.

    More information

  5. I. Kordomatis, C. Herzog, R. Fayzrakhmanov, B. Krüpl-Sypien, W. Holzinger, R. Baumgartner:
    "Web object identification for web automation and meta-search";
    in: "Proceedings of the 3rd International Conference on Web Intelligence, Mining and Semantics", C. David, D. Moreno, R. Akerkar (ed.); ACM, 2013, ISBN: 978-1-4503-1850-1.

    More information

  6. A. Roth, S. Skritek:
    "Peer Data Management";
    in: "Data Exchange, Integration, and Streams", P. Kolaitis, M. Lenzerini, N. Schweikardt (ed.); issued by: Schloss Dagstuhl; Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany, 2013, (invited), ISBN: 978-3-939897-61-3, 30 pages.

    More information

  7. E. Sallinger:
    "Reasoning about Schema Mappings";
    in: "Data Exchange, Integration, and Streams", Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany, 2013, (invited), ISBN: 978-3-939897-61-3, 31 pages.

    More information

  8. V. Savenkov:
    "Algorithms for Core Computation in Data Exchange";
    in: "Data Exchange, Integration, and Streams", P. Kolaitis, M. Lenzerini, N. Schweikardt (ed.); Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany, Schloss Dagstuhl, 2013, (invited), ISBN: 978-3-939897-61-3, Paper ID 2, 31 pages.

    More information


Talks and Poster Presentations (with Proceedings-Entry)


  1. A. Ahmeti, A. Polleres:
    "SPARQL Update under RDFS Entailment in Fully Materialized and Redundancy-Free Triple Stores";
    Talk: OrdRing 2013 - 2nd International Workshop on Ordering and Reasoning, Sydney, Australien; 10-21-2013 - 10-22-2013; in: "Proceedings of the 2nd International Workshop on Ordering and Reasoning, OrdRing 2013", I. Celino, E. Valle, M. Krötzsch, S. Schlobach (ed.); CEUR-WS, Vol-1059 (2013), ISSN: 1613-0073; Paper ID 3, 12 pages.

    More information

  2. M. Alviano, F. Calimeri, G. Charwat, M. Dao-Tran, C. Dodaro, G. Ianni, T. Krennwallner, M. Kronegger, J. Oetsch, A. Pfandler, J. Puehrer, C. Redl, F. Ricca, P. Schneider, M. Schwengerer, L. Spendier, J. P. Wallner, G. Xiao:
    "The Fourth Answer Set Programming Competition: Preliminary Report";
    Talk: 12th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2013), Corunna, Spain (invited); 09-15-2013 - 09-19-2013; in: "12th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2013)", P. Cabalar, T. Son (ed.); Springer, 8148 (2013), 42 - 53.

    More information

  3. T. Ambroz, G. Charwat, A. Jusits, J. P. Wallner, S. Woltran:
    "ARVis: Visualizing Relations between Answer Sets";
    Talk: 12th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2013), Corunna, Spain; 09-15-2013 - 09-19-2013; in: "Logic Programming and Nonmonotonic Reasoning", P. Cabalar, T. Son (ed.); Springer, 8143 (2013), ISBN: 978-3-642-40563-1; 73 - 78.

    More information

  4. M. Arenas, J. Perez, E. Sallinger:
    "Towards General Representability in Knowledge Exchange";
    Talk: AMW - Alberto Mendelzon International Workshop on Foundations of Data Management, Puebla/Cholula, Mexico; 05-21-2013 - 05-23-2013; in: "Proceedings of the 7th Alberto Mendelzon International Workshop on Foundations of Data Management", CEUR Workshop Proceedings, 1087 (2013), ISSN: 1613-0073; 7 pages.

    More information

  5. M. Bienvenu, M. Ortiz de la Fuente, M. Simkus:
    "Conjunctive Regular Path Queries in Lightweight Description Logics";
    Talk: Twenty-third International Conference on Artificial Intelligence (IJCAI-13), Beijing, China; 08-03-2013 - 08-09-2013; in: "IJCAI 2013, Proceedings of the 23rd International Joint Conference on Artificial Intelligence", F. Rossi (ed.); AAAI Press, (2013), ISBN: 978-1-57735-633-2; 761 - 767.

    More information

  6. M. Bienvenu, M. Ortiz de la Fuente, M. Simkus, G. Xiao:
    "Tractability Guarantees for DL-Lite Query Answering";
    Talk: International Workshop on Description Logics (DL), Ulm, Germany; 07-23-2013 - 07-26-2013; in: "Informal Proceedings of the 26th International Workshop on Description Logics", T. Eiter, B. Glimm, Y. Kazakov, M. Krötzsch (ed.); CEUR Workshop Proceedings, 1014 (2013), ISSN: 1613-0073; 41 - 52.

    More information

  7. M. Bienvenu, M. Ortiz de la Fuente, M. Simkus, G. Xiao:
    "Tractable Queries for Lightweight Description Logics";
    Talk: Twenty-third International Conference on Artificial Intelligence (IJCAI-13), Beijing, China; 08-03-2013 - 08-09-2013; in: "IJCAI 2013, Proceedings of the 23rd International Joint Conference on Artificial Intelligence", F. Rossi (ed.); AAAI Press, (2013), ISBN: 978-1-57735-633-2; 768 - 774.

    More information

  8. S. Bischof, A. Polleres:
    "RDFS with attribute equations via SPARQL rewriting";
    Talk: 10th Extended Semantic Web Conference (ESWC 2013), Montpellier, France; 05-26-2013 - 05-30-2013; in: "The Semantic Web: Semantics and Big Data", P. Cimiano, O. Corcho, V. Presutti, L. Hollink, S. Rudolph (ed.); Springer LNCS, 7882 (2013), ISBN: 978-3-642-38287-1; 335 - 350.

    More information

  9. S. Bischof, A. Polleres, S. Sperl:
    "City Data Pipeline - A System for Making Open Data Useful for Cities";
    Poster: 9th International Conference on Semantic Systems (I-SEMANTICS 2013), Graz; 09-04-2013 - 09-06-2013; in: "Proceedings of the I-SEMANTICS 2013 Posters & Demonstrations Track", CEUR, (2013), ISBN: 978-1-4503-1972-0; Paper ID 10, 45 pages.

    More information

  10. B. Bliem, R. Pichler, S. Woltran:
    "Declarative Dynamic Programming as an Alternative Realization of Courcelle's Theorem";
    Talk: International Symposium on Parameterized and Exact Computation (IPEC), Sophia Antipolis; 09-04-2013 - 09-06-2013; in: "Parameterized and Exact Computation", G. Gutin, St. Szeider (ed.); Springer, 8246 (2013), ISBN: 978-3-319-03897-1; 28 - 40.

    More information

  11. G. Brewka, St. Ellmauthaler, H. Strass, J. P. Wallner, S. Woltran:
    "Abstract Dialectical Frameworks Revisited";
    Poster: Twenty-third International Conference on Artificial Intelligence, Beijing, China; 08-03-2013 - 08-09-2013; in: "Proceedings of the twenty-third International Joint Conference on Artificial Intelligence (IJCAI 2013)", F. Rossi (ed.); AAAI Press, (2013), ISBN: 978-1-57735-633-2; 803 - 809.

    More information

  12. D. Bucar, S. Bessler, N. Musliu, J. Grønbæk:
    "Scheduling of electric vehicle charging operations";
    Talk: MISTA - Multidisciplinary International Scheduling Conference: Theory and Applications, Gent, Belgium; 08-27-2013 - 08-30-2013; in: "Proceedings of MISTA 2013- Multidisciplinary International Scheduling Conference: Theory and Applications", (2013), 1 - 13.

    More information

  13. D. Calvanese, M. Ortiz de la Fuente, M. Simkus:
    "Evolving Graph Databases under Description Logic Constraints";
    Talk: International Workshop on Description Logics (DL), Ulm, Germany; 07-23-2013 - 07-26-2013; in: "Informal Proceedings of the 26th International Workshop on Description Logics", T. Eiter, B. Glimm, Y. Kazakov, M. Krötzsch (ed.); CEUR Workshop Proceedings, 1014 (2013), ISSN: 1613-0073; 120 - 131.

    More information

  14. G. Charwat, G. Ianni, T. Krennwallner, M. Kronegger, A. Pfandler, C. Redl, M. Schwengerer, L. Spendier, J. P. Wallner, G. Xiao:
    "VCWC: A Versioning Competition Workflow Compiler";
    Talk: 12th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2013), Corunna, Spain; 09-15-2013 - 09-19-2013; in: "12th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2013)", T. Son, P. Cabalar (ed.); Springer, 8148 (2013), 233 - 238.

    More information

  15. F. Chertes, I. Feinerer:
    "UMAP: A universal layer for schema mapping languages";
    Talk: 24th International Conference on Database and Expert Systems Applications, Prague; 08-26-2013 - 08-29-2013; in: "Proceedings of the 24th International Conference on Database and Expert Systems Applications", H. Decker, L. Lhotská, S. Link, J. Basl, A. Tjoa (ed.); Lecture Notes in Computer Science, 8056 (2013), 349 - 363.

    More information

  16. J. Delgrande, P. Peppas, S. Woltran:
    "AGM-Style Belief Revision of Logic Programs under Answer Set Semantics";
    Talk: 12th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2013), Corunna, Spain; 09-15-2013 - 09-19-2013; in: "12th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2013)", P. Cabalar, T. Son (ed.); Springer, Heidelberg (2013), ISBN: 978-3-642-40563-1; 264 - 276.

    More information

  17. G. Erdélyi, M. Lackner, A. Pfandler:
    "Computational Aspects of Nearly Single-Peaked Electorates";
    Talk: Twenty-Seventh AAAI Conference on Artificial Intelligence (AAAI-13), Bellevue, Washington, USA; 07-14-2013 - 07-18-2013; in: "Twenty-Seventh AAAI Conference on Artificial Intelligence (AAAI-13)", AAAI Press, (2013), 283 - 289.

    More information

  18. I. Feinerer, P. Guagliardo, E. Franconi:
    "Lossless horizontal decomposition with domain constraints on interpreted attributes";
    Talk: 29th British National Conference on Databases, Oxford; 07-08-2013 - 07-10-2013; in: "Proceedings of the 29th British National Conference on Databases", G. Gottlob, G. Grasso, D. Olteanu, C. Schallhart (ed.); Lecture Notes in Computer Science, 7968 (2013), 77 - 91.

    More information

  19. I. Feinerer, G. Salzer, T. Sisel:
    "Class diagrams with equated association chains";
    Talk: 7th International Symposium on Theoretical Aspects of Software Engineering, Birmingham; 07-01-2013 - 07-03-2013; in: "Proceedings of the 7th International Symposium on Theoretical Aspects of Software Engineering", (2013), 209 - 216.

    More information

  20. P. Guagliardo, R. Pichler, E. Sallinger:
    "Enhancing the Updatability of Projective Views";
    Talk: AMW - Alberto Mendelzon International Workshop on Foundations of Data Management, Puebla/Cholula, Mexico; 05-21-2013 - 05-23-2013; in: "Proceedings of the 7th Alberto Mendelzon International Workshop on Foundations of Data Management", CEUR Workshop Proceedings, 1087 (2013), ISSN: 1613-0073; 7 pages.

    More information

  21. A. Hubmer, R. Pichler, V. Savenkov, S. Skritek:
    "Efficient Updates of Uncertain Databases";
    Talk: 7th Alberto Mendelzon International Workshop on Foundations of Data Management 2013, Puebla/Cholula, Mexico; 05-21-2013 - 05-23-2013; in: "Proceedings of the 7th Alberto Mendelzon International Workshop on Foundations of Data Management Puebla/Cholula, Mexico, May 21-23, 2013", L. Bravo, M. Lenzerini (ed.); CEUR-WS, Vol-1087 (2013), ISSN: 1613-0073; Paper ID 9, 7 pages.

    More information

  22. A. Hunter, S. Woltran:
    "Structural Properties for Deductive Argument Systems";
    Talk: The 12th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty, Utrecht, The Netherlands; 08-08-2013 - 08-10-2013; in: "Symbolic and Quantitative Approaches to Reasoning with Uncertainty", L. van der Gaag (ed.); Springer, 7958 (2013), ISBN: 978-3-642-39090-6; 278 - 289.

    More information

  23. P. Kaufmann, M. Kronegger, A. Pfandler, M. Seidl, M. Widl:
    "Global State Checker: Towards SAT-Based Reachability Analysis of Communicating State Machines";
    Talk: Workshop on Model Driven Engineering, Verification and Validation (MoDeVVa 2013), Miami, USA; 10-01-2013; in: "Proceedings of the 10th International Workshop on Model Driven Engineering, Verification and Validation co-located with 16th International Conference on Model Driven Engineering Languages and Systems (MODELS 2013)", CEUR Workshop Proceedings, Vol-1069 (2013), ISSN: 1613-0073; 31 - 40.

    More information

  24. M. Kronegger, M. Lackner, A. Pfandler, R. Pichler:
    "A Parameterized Complexity Analysis of Generalized CP-Nets";
    Talk: 7th Multidisciplinary Workshop on Advances in Preference Handling, Peking, China; 08-03-2013 - 08-05-2013; in: "7th Multidisciplinary Workshop on Advances in Preference Handling", (2013), 7 pages.

    More information

  25. M. Kronegger, A. Pfandler, R. Pichler:
    "Conformant Planning as a Benchmark for QBF-Solvers";
    Talk: International Workshop on Quantified Boolean Formulas, Helsinki; 07-09-2013; in: "International Workshop on Quantified Boolean Formulas (QBF 2013)", (2013), 5 pages.

    More information

  26. M. Kronegger, A. Pfandler, R. Pichler:
    "Parameterized Complexity of Optimal Planning: A Detailed Map";
    Talk: Twenty-third International Conference on Artificial Intelligence (IJCAI-13), Peking, China; 08-03-2013 - 08-09-2013; in: "Proceedings of the Twenty-Third International Joint Conference on Artificial Intelligence", F. Rossi (ed.); AAAI Press, (2013), ISBN: 978-1-57735-633-2; 954 - 961.

    More information

  27. M. Lackner:
    "Incomplete Preferences in Single-Peaked Electorates";
    Talk: 7th Multidisciplinary Workshop on Advances in Preference Handling, Peking, China; 08-03-2013 - 08-05-2013; in: "7th Multidisciplinary Workshop on Advances in Preference Handling", (2013), 7 pages.

    More information

  28. N. Musliu:
    "Analyzing the Features of Employee Scheduling Problems (abstract)";
    Talk: XXVI EURO - INFORMS Joint International Conference, Rome, Italy (invited); 07-01-2013 - 07-04-2013; in: "XXVI EURO - INFORMS Joint International Conference, Abstracts", (2013), 1 pages.

  29. N. Musliu:
    "Applying Machine Learning for Solver Selection in Scheduling";
    Talk: Metaheuristic International Conference (MIC), Singapore; 08-05-2013 - 08-08-2013; in: "Proceedings of the 10th Metaheuristic International Conference (MIC 2013)", (2013), 240 - 242.

    More information

  30. N. Musliu, M. Schwengerer:
    "Algorithm Selection for the Graph Coloring Problem";
    Talk: Learning and Intelligent OptimizatioN Conference LION, Catania, Italy; 01-07-2013 - 01-11-2013; in: "Learning and Intelligent Optimization, 7th International Conference, LION 7", Srringer, LNCS, 7997 (2013), 389 - 403.

    More information

  31. N. Musliu, W. Slany, J. Gärtner:
    "Automated Test Case Generation in End-User Programming";
    Poster: 4th International Symposium End-User Development, Copenhagen, Denmark; 06-10-2013 - 06-13-2013; in: "End-User Development", Springer, LNCS, 7897 (2013), 272 - 277.

  32. A. Pfandler, St. Rümmele, St. Szeider:
    "Backdoors to Abduction";
    Talk: Twenty-third International Conference on Artificial Intelligence (IJCAI-13), Peking, China; 08-03-2013 - 08-09-2013; in: "Proceedings of the Twenty-Third International Joint Conference on Artificial Intelligence", F. Rossi (ed.); AAAI Press, (2013), ISBN: 978-1-57735-633-2; 1046 - 1052.

    More information

  33. S. Polberg, J. P. Wallner, S. Woltran:
    "Admissibility in the Abstract Dialectical Framework";
    Talk: 14th International Workshop on Computational Logic in Multi-Agent Systems, Corunna, Spain; 09-16-2013 - 09-18-2013; in: "Computational Logic in Multi-Agent Systems", J. Leite, T. Son, P. Torroni, L. van der Torre, S. Woltran (ed.); Springer, 8143 (2013), ISBN: 978-3-642-40623-2; 102 - 118.

    More information

  34. V. Savenkov, R. Pichler, C. Koch:
    "Loop Elimination for Database Updates";
    Talk: 29th British National Conference on Databases, BNCOD 2013, Oxford, UK; 07-08-2013 - 07-10-2013; in: "Big Data - 29th British National Conference on Databases, BNCOD 2013, Oxford, UK, July 8-10, 2013. Proceedings", G. Gottlob, G. Grasso, D. Olteanu, C. Schallhart (ed.); Springer, 7968 (2013), ISBN: 978-3-642-39466-9; 48 - 61.

    More information

  35. J. P. Wallner, G. Weissenbacher, S. Woltran:
    "Advanced SAT Techniques for Abstract Argumentation";
    Talk: International Workshop on Computational Logic in Multi-Agent Systems (CLIMA), Corunna, Spanien; 09-16-2013 - 09-18-2013; in: "CLIMA", Springer / LNCS, 8143 (2013), ISBN: 978-3-642-40623-2; 138 - 154.


Talks and Poster Presentations (without Proceedings-Entry)


  1. B. Bliem, R. Pichler, S. Woltran:
    "Applicability of ASP-based Problem Solving on Tree Decompositions";
    Talk: Third International Workshop on Graph Structures for Knowledge Representation and Reasoning (GKR) 2013, Peking; 08-03-2013 - 08-05-2013.

    More information

  2. M. Bruner, M. Lackner:
    "The computational landscape of permutation patterns";
    Talk: 11th Permutation Patterns Conference, Paris, France; 07-01-2013 - 07-05-2013.

  3. P. Dunne, W. Dvorak, T. Linsbichler, S. Woltran:
    "Characteristics of Multiple Viewpoints in Abstract Argumentation";
    Talk: 4th Workshop on Dynamics of Knowledge and Belief (DKB-2013), Koblenz, Germany; 09-16-2013 - 09-20-2013.

  4. M. Lackner:
    "Single-peaked preference profiles and permutation patterns: A unified perspective";
    Talk: 11th Permutation Patterns Conference, Paris; 07-01-2013 - 07-05-2013.

    More information

  5. R. Pichler:
    "Coping with High Complexity: Structure Matters";
    Keynote Lecture: The 32nd INTERNATIONAL CONFERENCE OF THE CHILEAN COMPUTER SOCIETY (SCCC), Temuco (invited); 11-13-2013 - 11-15-2013.

  6. A. Pieris:
    "Default Negation for Datalog+/-";
    Keynote Lecture: Workshop on Grounding and Transformations for Theories With Variables (GTTV), Lexington, KY, USA (invited); 09-15-2013.

    More information

  7. S. Woltran:
    "On the Limits of Expressiveness in Abstract Argumentation Semantics";
    Talk: Belief Change and Argumentation in Multi-Agent Scenarios, Dagstuhl, Germany (invited); 06-02-2013 - 06-07-2013.


Doctor's Theses (authored and supervised)


  1. S. Gaggl:
    "A Comprehensive Analysis of the cf2 Argumentation Semantics: From Characterization to Implementation";
    Supervisor, Reviewer: S. Woltran, P. Baroni; Institut für Informationssysteme, 2013; oral examination: 03-04-2013.

  2. S. Skritek:
    "Foundational Aspects of Semantic Web Optimization: New Algorithms and Complexity Results";
    Supervisor, Reviewer: R. Pichler, M. Arenas; 184-2, 2013; oral examination: 04-30-2013.

    More information


Diploma and Master Theses (authored and supervised)


  1. M. Abseher:
    "Solving shift design problems with answer set programming";
    Supervisor: N. Musliu, S. Woltran; Institut für Informationssysteme, 2013; final examination: 2013.

    More information

  2. C. Erkinger:
    "Rotating Workforce Scheduling As Satisfiability Modulo Theories";
    Supervisor: N. Musliu; Institut für Informationssysteme, 2013; final examination: 11-2013.

    More information

  3. W. Fischl:
    "Normal Forms for Non-Relational for Data";
    Supervisor: R. Pichler; Institut für Informationssysteme, 2013; final examination: 11-19-2013.

    More information

  4. T. Linsbichler:
    "On the Limits of Expressiveness in Abstract Argumentation Semantics: Realizability and Signatures";
    Supervisor: S. Woltran, W. Dvorak; Institut für Informationssysteme, 2013; final examination: 06-11-2013.

  5. C. Weichselbaum:
    "Argumentation and Answer-Set Programming Modelling the Resolution-Based Grounded Semantics";
    Supervisor: S. Woltran, S. Gaggl; Institut für Informationssysteme, 2013; final examination: 03-04-2013.


Scientific Reports


  1. T. Eiter, M. Fink, J. Puehrer, H. Tompits, S. Woltran:
    "Model-Based Recasting in Answer-Set Programming";
    Report for TU Wien, Institut fuer Informationssysteme; Report No. DBAI-TR-2013-83, 2013; 34 pages.