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
2014 - 2015

164 records


Books and Book Editorships


  1. M. Bienvenu, M. Ortiz de la Fuente, R. Rosati, M. Simkus (ed.):
    "Informal Proceedings of the 27th International Workshop on Description Logics";
    CEUR-Proceedings, Vol. 1193. Aachen, Deutschland, 2014, ISSN: 1613-0073; 756 pages.

  2. T. Eiter, H. Strass, M. Truszczynski, S. Woltran:
    "Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation -- Essays Dedicated to Gerhard Brewka on the Occasion of His 60th Birthday";
    in series "Lecture Notes in Computer Science", series editor: R. Goebel, Y. Tanaka, W. Wahlster; Springer, 2015, ISBN: 978-3-319-14725-3, 359 pages.


Publications in Scientific Journals


  1. M. Alviano, W. Faber, S. Woltran:
    "Complexity of super-coherence problems in ASP";
    Theory and Practice of Logic Programming, 14 (2014), 3; 339 - 361.

  2. M. Bienvenu, M. Ortiz de la Fuente, M. Simkus:
    "Regular Path Queries in Lightweight Description Logics: Complexity and Algorithms";
    Journal of Artificial Intelligence Research, 53 (2015), 315 - 374.

    More information

  3. G. Brewka, S. Polberg, S. Woltran:
    "Generalizations of Dung Frameworks and Their Role in Formal Argumentation";
    IEEE Intelligent Systems, 29 (2014), 1; 30 - 38.

    More information

  4. M. Bruner, M. Lackner:
    "A Fast Algorithm for Permutation Pattern Matching Based on Alternating Runs";
    Algorithmica (online), online (2015), 34 pages.

    More information

  5. G. Charwat, W. Dvorak, S. Gaggl, J. P. Wallner, S. Woltran:
    "Methods for solving reasoning problems in abstract argumentation - A survey";
    Artificial Intelligence, 220 (2015), 28 - 63.

    More information

  6. N. Creignou, O. Papini, R. Pichler, S. Woltran:
    "Belief revision within fragments of propositional logic";
    Journal of Computer and System Sciences, 80 (2014), 2; 427 - 449.

  7. M. Diller, J. P. Wallner, S. Woltran:
    "Reasoning in Abstract Dialectical Frameworks using Quantified Boolean Formulas";
    Argument & Computation, 6 (2015), 2; 149 - 177.

    More information

  8. P. Dunne, W. Dvorak, T. Linsbichler, S. Woltran:
    "Characteristics of multiple viewpoints in abstract argumentation";
    Artificial Intelligence, 228 (2015), 153 - 178.

    More information

  9. F. Dusberger, M. Abseher, B. Bliem, G. Charwat, S. Woltran:
    "Computing Secure Sets in Graphs using Answer Set Programming";
    Journal of Logic and Computation, 2015 special issue (2015), 2015 special issue; 1 - 26.

    More information

  10. W. Dvorak, M. Järvisalo, J. P. Wallner, S. Woltran:
    "Complexity-Sensitive Decision Procedures for Abstract Argumentation";
    Artificial Intelligence, 206 (2014), 53 - 78.

    More information

  11. I. Feinerer, R. Pichler, E. Sallinger, V. Savenkov:
    "On the undecidability of the equivalence of second-order tuple generating dependencies";
    Information Systems, 48 (2015), 113 - 129.

    More information

  12. J. Fichte, S. Szeider:
    "Backdoors to Normality for Disjunctive Logic Programs";
    ACM Transactions on Computational Logic, 17 (2015), 1; 7:1 - 7:23.

    More information

  13. J. Fichte, M. Truszczynski, S. Woltran:
    "Dual-normal logic programs - the forgotten class";
    Theory and Practice of Logic Programming, 15 (2015), 495 - 510.

    More information

  14. S. Gaggl, N. Manthey, A. Ronca, J. P. Wallner, S. Woltran:
    "Improved answer-set programming encodings for abstract argumentation";
    Theory and Practice of Logic Programming, 15 (2015), 4-5; 434 - 448.

    More information

  15. P. Kaufmann, M. Kronegger, A. Pfandler, M. Seidl, M. Widl:
    "Intra- and interdiagram consistency checking of behavioral multiview models";
    Computer Languages, Systems and Structures, 44 (2015), Part A; 72 - 88.

    More information

  16. J. Leite, C. Tran, P. Torroni, S. Woltran:
    "Applications of logical approaches to argumentation";
    Argument & Computation, 6 (2015), 1; 1 - 2.

    More information

  17. A. Pfandler, R. Pichler, S. Woltran:
    "The complexity of handling minimal solutions in logic-based abduction";
    Journal of Logic and Computation, 25 (2015), 3; 805 - 825.

    More information

  18. R. Pichler, St. Rümmele, St. Szeider, S. Woltran:
    "Tractable answer-set programming with weight constraints: bounded treewidth is not enough";
    Theory and Practice of Logic Programming, 14 (2014), 2; 141 - 164.

    More information

  19. G. Salzer, I. Feinerer:
    "Numeric semantics of class diagrams with multiplicity and uniqueness constraints";
    Software and Systems Modeling, 13 (2014), 3; 1167 - 1187.

    More information

  20. H. Strass, J. P. Wallner:
    "Analyzing the computational complexity of abstract dialectical frameworks via approximation fixpoint theory";
    Artificial Intelligence, 226 (2015), 34 - 74.

    More information

  21. M. Widl, N. Musliu:
    "The break scheduling problem: complexity results and practical algorithms";
    Memetic Computing, 6 (2014), 2; 97 - 112.

    More information


Contributions to Books


  1. R. Baumann, C. Spanring:
    "Infinite Argumentation Frameworks - On the Existence and Uniqueness of Extensions";
    in: "Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation. Essays Dedicated to Gerhard Brewka on the Occasion of His 60th Birthday", 9060; T. Eiter, H. Strass, M. Truszczynski, S. Woltran (ed.); issued by: Springer; Springer LNCS, 2015, ISBN: 978-3-319-14726-0, 281 - 295.

    More information

  2. W. Dvorak, S. Gaggl, T. Linsbichler, J. P. Wallner:
    "Reduction-based Approaches to Implement Modgil's Extended Argumentation Frameworks";
    in: "Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation. Essays Dedicated to Gerhard Brewka on the Occasion of His 60th Birthday", T. Eiter, H. Strass, M. Truszczynski, S. Woltran (ed.); issued by: Springer; Springer, 2015, ISBN: 978-3-319-14726-0, 249 - 264.

    More information

  3. T. Eiter, H. Strass, M. Truszczynski, S. Woltran:
    "A Glimpse on Gerhard Brewka's Contributions to Artificial Intelligence";
    in: "Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation", T. Eiter, H. Strass, M. Truszczynski, S. Woltran (ed.); Springer LNCS, 2015, (invited), 1 - 16.

  4. Th. Hammerl, N. Musliu, W. Schafhauser:
    "Metaheuristic Algorithms and Tree Decomposition";
    in: "Springer Handbook of Computational Intelligence", J. Kacprzyk, W. Pedrycz (ed.); Springer, Berlin Heidelberg, 2015, 1255 - 1270.

    More information

  5. J. Rasku, N. Musliu, T. Kärkkäinen:
    "Automating the Parameter Selection in VRP: An Off-line Parameter Tuning Tool Comparison";
    in: "Modeling, Simulation and Optimization for Science and Technology. Computational Methods in Applied Sciences, Volume 34", Springer Netherlands, 2014, 191 - 209.

    More information


Contributions to Proceedings


  1. S. Arming, R. Pichler, E. Sallinger:
    "Combined Complexity of Repair Checking and Consistent Query Answering";
    in: "Proceedings of the 8th Alberto Mendelzon Workshop on Foundations of Data Management, Cartagena de Indias, Colombia, June 4-6, 2014", G. Gottlob, J. Perez (ed.); CEUR, 2014, 6 pages.

    More information

  2. G. Gottlob, M. Manna, A. Pieris:
    "Polynomial Rewritings for Linear Existential Rules";
    in: "Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, IJCAI 2015", AAAI Press, 2015, ISBN: 978-1-57735-738-4, 2992 - 2998.

    More information

  3. G. Gottlob, O. Orsi, A. Pieris:
    "Consistency Checking of Re-engineered UML Class Diagrams via Datalog+/-";
    in: "Rule Technologies: Foundations, Tools, and Applications - 9th International Symposium, RuleML 2015", 9202; Springer LNCS, 2015, (invited), ISBN: 978-3-319-21541-9, 35 - 53.

    More information

  4. G. Gottlob, A. Pieris:
    "Beyond SPARQL under OWL 2 QL Entailment Regime: Rules to the Rescue";
    in: "roceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, IJCAI 2015", AAAI Press, 2015, ISBN: 978-1-57735-738-4, 2999 - 3007.

    More information

  5. P. Kolaitis, R. Pichler, E. Sallinger, V. Savenkov:
    "Nested dependencies: structure and reasoning";
    in: "Proceedings of the 33rd ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, PODS'14, Snowbird, UT, USA, June 22-27, 2014", R. Hull, M. Grohe (ed.); ACM, 2014, 176 - 187.

  6. T. Lukasiewicz, M. Martinez, A. Pieris, G. Simari:
    "From Classical to Consistent Query Answering under Existential Rules";
    in: "Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence", AAAI Press, 2015, ISBN: 978-1-57735-698-1, 1546 - 1552.

    More information


Talks and Poster Presentations (with Proceedings-Entry)


  1. M. Abseher, B. Bliem, G. Charwat, F. Dusberger, M. Hecher, S. Woltran:
    "The D-FLAT System for Dynamic Programming on Tree Decompositions.";
    Talk: European Conference on Logics in Artificial Intelligence (JELIA), Madeira; 09-24-2014 - 09-26-2014; in: "Logics in Artificial Intelligence - 14th European Conference, JELIA 2014", E. Fermé, J. Leite (ed.); Springer, (2014), ISSN: 0302-9743; 558 - 572.

    More information

  2. M. Abseher, B. Bliem, G. Charwat, F. Dusberger, S. Woltran:
    "Computing Secure Sets in Graphs using Answer Set Programming.";
    Talk: ASPOCP 2014 - 7th Workshop on Answer Set Programming and Other Computing Paradigms, Wien; 07-23-2014; in: "7th Workshop on Answer Set Programming and Other Computing Paradigms, ASPOCP 2014", (2014).

    More information

  3. M. Abseher, M. Gebser, N. Musliu, T. Schaub, S. Woltran:
    "Shift Design with Answer Set Programming";
    Talk: 13th International Conference on Logic Programming and Non-monotonic Reasoning, LPNMR 2015, Lexington, Kentucky, USA; 09-27-2015 - 09-30-2015; in: "Logic Programming and Nonmonotonic Reasoning, 13th International Conference, LPNMR 2015, Lexington, KY, USA, September 27-30, 2015, Proceedings", F. Calimeri, G. Ianni, M. Truszczynski (ed.); Springer, Lecture Notes in Computer Science Volume 9345 (2015), ISBN: 978-3-319-23263-8; 32 - 39.

    More information

  4. M. Abseher, M. Gebser, N. Musliu, T. Schaub, S. Woltran:
    "Shift Design with Answer Set Programming";
    Talk: 8th Workshop on Answer Set Programming and Other Computing Paradigms, ASPOCP 2015, Cork, Ireland; 08-31-2015; in: "8th Workshop on Answer Set Programming and Other Computing Paradigms, ASPOCP 2015", D. Inclezan, M. Maratea (ed.); (2015), 13 pages.

    More information

  5. S. Ahmetaj, D. Calvanese, M. Ortiz de la Fuente, M. Simkus:
    "Managing Change in Graph-Structured Data Using Description Logics";
    Talk: Twenty-Eighth AAAI Conference on Aritifical Intelligence (AAAI 2014), Québec City, Québec, Canada; 07-27-2014 - 07-31-2014; in: "Proceedings of the Twenty-Eighth AAAI Conference on Aritifical Intelligence", C. Brodley, P. Stone (ed.); AAAI Press/IJCAI, (2014), ISBN: 978-1-57735-661-5; 966 - 973.

    More information

  6. S. Ahmetaj, D. Calvanese, M. Ortiz de la Fuente, M. Simkus:
    "Planning and Change in Graph Structured Data under Description Logics Constraints";
    Talk: AMW - Alberto Mendelzon International Workshop on Foundations of Data Management, Cartagena de Indias, Colombia; 06-04-2014 - 06-06-2014; in: "Proceedings of the 8th Alberto Mendelzon Workshop on Foundations of Data Management", G. Gottlob, J. Perez (ed.); CEUR-Proceedings, 1189 (2014), ISSN: 1613-0073.

    More information

  7. S. Ahmetaj, D. Calvanese, M. Ortiz de la Fuente, M. Simkus:
    "Planning Problems for Graph Structured Data in Description Logics";
    Talk: 27th International Workshop on Description Logics, Vienna, Austria; 07-17-2014 - 07-20-2014; in: "Informal Proceedings of the 27th International Workshop on Description Logics", M. Bienvenu, M. Ortiz de la Fuente, R. Rosati, M. Simkus (ed.); CEUR-WS, Vol-1193 (2014), ISSN: 1613-0073; 4 - 7.

    More information

  8. S. Ahmetaj, W. Fischl, R. Pichler, M. Simkus, S. Skritek:
    "DL-Lite and Conjunctive Queries Extended by Optional Matching";
    Talk: 28th International Workshop on Description Logics, Athens,Greece; 06-07-2015 - 06-10-2015; in: "Proceedings of the 28th International Workshop on Description Logics, Athens,Greece, June 7-10, 2015", D. Calvanese, B. Konev (ed.); CEUR Workshop Proceedings, 1350 (2015), Paper ID 4, 4 pages.

    More information

  9. S. Ahmetaj, W. Fischl, R. Pichler, M. Simkus, S. Skritek:
    "Towards Reconciling SPARQL and Certain Answers";
    Talk: 24th International Conference on World Wide Web, WWW 2015, Florence; 05-18-2015 - 05-22-2015; in: "Proceedings of the 24th International Conference on World Wide Web, WWW 2015, Florence, Italy, May 18-22, 2015", A. Gangemi, L. Stefano, A. Panconesi (ed.); ACM, (2015), ISBN: 978-1-4503-3469-3; 23 - 33.

    More information

  10. S. Ahmetaj, W. Fischl, R. Pichler, M. Simkus, S. Skritek:
    "Towards Reconciling SPARQL and Certain Answers (Extended Abstract)";
    Talk: 9th Alberto Mendelzon International Workshop on Foundations of Data Management (AMW 2015), Lima, Peru; 05-06-2015 - 05-08-2015; in: "Proceedings of the 9th Alberto Mendelzon International Workshop on Foundations of Data Management, Lima, Peru, May 6 - 8, 2015", A. Cali, M. Vidal (ed.); CEUR Workshop Proceedings, 1378 (2015), Paper ID 4, 6 pages.

    More information

  11. A. Ahmeti, D. Calvanese, A. Polleres:
    "SPARQL Update for Materialized Triple Stores under DL-Lite_RDFS Entailment";
    Talk: 27th International Workshop on Description Logics, Vienna, Austria; 07-17-2014 - 07-20-2014; in: "Informal Proceedings of the 27th International Workshop on Description Logics, Vienna, Austria, July 17-20, 2014", M. Bienvenu, M. Ortiz de la Fuente, R. Rosati, M. Simkus (ed.); CEUR-WS, Vol-1193 (2014), ISSN: 1613-0073; Paper ID 7, 13 pages.

    More information

  12. A. Ahmeti, D. Calvanese, A. Polleres:
    "Updating RDFS ABoxes and TBoxes in SPARQL";
    Talk: 13th International Semantic Web Conference (ISWC 2014), Riva del Garda, Italy; 10-19-2014 - 10-23-2014; in: "The Semantic Web - ISWC 2014 - 13th International Semantic Web Conference, Riva del Garda, Italy, October 19-23, 2014. Proceedings, Part I", P. Mika et al. (ed.); LNCS/Springer, 8796 (2014), ISBN: 978-3-319-11963-2; 441 - 456.

    More information

  13. M. Alviano, A. Pieris:
    "Default Negation for Non-Guarded Existential Rules";
    Talk: Symposium on Principles of Database Systems, PODS 2015, Melbourne, Victoria, Australia; 05-31-2015 - 06-04-2015; in: "Proceedings of the 34th ACM Symposium on Principles of Database Systems, PODS 2015, Melbourne, Victoria, Australia, May 31 - June 4, 2015", T. Milo, D. Calvanese (ed.); ACM, (2015), ISBN: 978-1-4503-2757-2; 79 - 90.

    More information

  14. P. Barceló, R. Pichler, S. Skritek:
    "Efficient Evaluation and Approximation of Well-designed Pattern Trees";
    Talk: Symposium on Principles of Database Systems, PODS 2015, Melbourne, Victoria, Australia; 05-31-2015 - 06-04-2015; in: "Proceedings of the 34th ACM Symposium on Principles of Database Systems, PODS 2015, Melbourne, Victoria, Australia, May 31 - June 4, 2015", T. Milo, D. Calvanese (ed.); ACM, (2015), ISBN: 978-1-4503-2757-2; 131 - 144.

    More information

  15. P. Barceló, R. Pichler, S. Skritek:
    "Efficient Evaluation of Well-designed Pattern Trees (Extended Abstract)";
    Talk: 9th Alberto Mendelzon International Workshop on Foundations of Data Management (AMW 2015), Lima, Peru; 05-06-2015 - 05-08-2015; in: "Proceedings of the 9th Alberto Mendelzon International Workshop on Foundations of Data Management, Lima, Peru, May 6 - 8, 2015", A. Cali, M. Vidal (ed.); CEUR Workshop Proceedings, 1378 (2015), Paper ID 5, 6 pages.

    More information

  16. R. Baumann, W. Dvorak, T. Linsbichler, H. Strass, S. Woltran:
    "Compact Argumentation Frameworks";
    Talk: International Workshop on Non-Monotonic Reasoning (NMR), Wien; 07-17-2014 - 07-19-2014; in: "15th International Workshop on Non-monotonic Reasoning (NMR 2014)", S. Konieczny, H. Tompits (ed.); (2014), 10 pages.

  17. R. Baumann, W. Dvorak, T. Linsbichler, H. Strass, S. Woltran:
    "Compact Argumentation Frameworks";
    Talk: ECAI 2014, Prag; 08-18-2014 - 08-22-2014; in: "Proceedings of the 21st European Conference on Artificial Intelligence", (2014), ISBN: 978-1-61499-418-3; 69 - 74.

  18. M. Bienvenu, D. Calvanese, M. Ortiz de la Fuente, M. Simkus:
    "Nested Regular Path Queries in Description Logics";
    Talk: Principles of Knowledge Representation and Reasoning (KR), Vienna, Austria; 07-20-2014 - 07-24-2014; in: "Principles of Knowledge Representation and Reasoning: Proceedings of the Fourteenth International Conference (KR 2014)", C. Baral, G. De Giacomo, T. Eiter (ed.); AAAI Press, (2014), ISBN: 978-1-57735-657-8; 218 - 227.

    More information

  19. M. Bienvenu, D. Calvanese, M. Ortiz de la Fuente, M. Simkus:
    "Nested Regular Path Queries in Description Logics (Extended Abstract)";
    Talk: AMW - Alberto Mendelzon International Workshop on Foundations of Data Management, Cartagena de Indias, Colombia; 06-04-2014 - 06-06-2014; in: "Proceedings of the 8th Alberto Mendelzon Workshop on Foundations of Data Management", G. Gottlob, J. Perez (ed.); CEUR Workshop Proceedings, 1189 (2014), ISSN: 1613-0073.

    More information

  20. M. Bienvenu, M. Ortiz de la Fuente, M. Simkus:
    "Navigational Queries Based on Frontier-Guarded Datalog: Preliminary Results";
    Talk: 9th Alberto Mendelzon International Workshop on Foundations of Data Management (AMW 2015), Lima, Peru; 05-06-2015 - 05-08-2015; in: "Proceedings of the 9th Alberto Mendelzon International Workshop on Foundations of Data Management, Lima, Peru, May 6 - 8, 2015", CEUR Workshop Proceedings, 1378 (2015), ISSN: 1613-0073; 162 - 171.

    More information

  21. S. Bischof, M. Krötzsch, A. Polleres, S. Rudolph:
    "Schema-Agnostic Query Rewriting in SPARQL 1.1";
    Talk: 13th International Semantic Web Conference, Riva del Garda; 10-19-2014 - 10-23-2014; in: "The Semantic Web - ISWC 2014", P. Mika et al. (ed.); LNCS/Springer, 8796 (2014), ISBN: 978-3-319-11963-2; 17 pages.

    More information

  22. B. Bliem, G. Charwat, M. Hecher, S. Woltran:
    "D-FLAT^2: Subset Minimization in Dynamic Programming on Tree Decompositions Made Easy";
    Talk: 8th Workshop on Answer Set Programming and Other Computing Paradigms, ASPOCP 2015, Cork, Ireland; 08-31-2015; in: "8th Workshop on Answer Set Programming and Other Computing Paradigms, ASPOCP 2015", D. Inclezan, M. Maratea (ed.); (2015), 15 pages.

    More information

  23. A. Bonutti, F. De Cesco, N. Musliu, A. Schaerf:
    "Modeling and Solving a Real-Life Multi-Skill Shift Design Problem";
    Talk: PATAT 2014, York; 08-26-2014 - 08-29-2014; in: "Proceedings of the 10th International Conference of the Practice and Theory of Automated Timetabling", (2014), 3 pages.

    More information

  24. G. Brewka, S. Woltran:
    "GRAPPA: A Semantical Framework for Graph-Based Argument Processing";
    Talk: ECAI 2014, Prag; 08-18-2014 - 08-22-2014; in: "Proceedings of 21st European Conference on Artificial Intelligence", (2014), ISBN: 978-1-61499-418-3; 153 - 158.

  25. R. Brochenin, T. Linsbichler, M. Maratea, J. Wallner, S. Woltran:
    "Abstract Solvers for Dung's Argumentation Frameworks";
    Talk: The 2015 International Workshop on Theory and Applications of Formal Argument, Buenos Aires, Argentinien; 07-25-2015 - 07-26-2015; in: "Theory and Applications of Formal Argumentation", E. Black, S. Modgil, N. Oren (ed.); Lecture Notes in Computer Science, 9524 (2015), ISBN: 978-3-319-28459-0; 40 - 58.

    More information

  26. M. Calautti, G. Gottlob, A. Pieris:
    "Chase Termination for Guarded Existential Rules";
    Talk: Symposium on Principles of Database Systems, PODS 2015, Melbourne, Victoria, Australia; 05-31-2015 - 06-04-2015; in: "Proceedings of the 34th ACM Symposium on Principles of Database Systems, PODS 2015, Melbourne, Victoria, Australia, May 31 - June 4, 2015", T. Milo, D. Calvanese (ed.); ACM, (2015), ISBN: 978-1-4503-2757-2; 91 - 103.

    More information

  27. M. Calautti, G. Gottlob, A. Pieris:
    "Chase Termination for Guarded Existential Rules";
    Talk: 9th Alberto Mendelzon International Workshop on Foundations of Data Management (AMW 2015), Lima, Peru; 05-06-2015 - 05-08-2015; in: "Proceedings of the 9th Alberto Mendelzon International Workshop on Foundations of Data Management, Lima, Peru, May 6 - 8, 2015", A. Cali, M. Vidal (ed.); CEUR Workshop Proceedings, 1378 (2015), Paper ID 28, 6 pages.

    More information

  28. D. Calvanese, W. Fischl, R. Pichler, E. Sallinger, M. Simkus:
    "Capturing Relational Schemas and Functional Dependencies in RDFS";
    Talk: Twenty-Eighth AAAI Conference on Aritifical Intelligence (AAAI 2014), Québec City, Québec, Canada; 07-27-2014 - 07-31-2014; in: "Proceedings of the Twenty-Eighth AAAI Conference on Aritifical Intelligence", (2014), 1003 - 1011.

    More information

  29. D. Calvanese, W. Fischl, R. Pichler, E. Sallinger, M. Simkus:
    "Expressive Identification Constraints to Capture Functional Dependencies in Description Logics";
    Poster: 27th International Workshop on Description Logics, Vienna, Austria; 07-17-2014 - 07-20-2014; in: "Informal Proceedings of the 27th International Workshop on Description Logics (DL 2014)", CEUR-WS, Vol-1193 (2014), ISSN: 1613-0073; 5 pages.

    More information

  30. D. Calvanese, T. Kotek, M. Simkus, V. Veith, F. Zuleger:
    "Shape and Content - A Database-Theoretic Perspective on the Analysis of Data Structures";
    Keynote Lecture: International Conference in Integrated Formal Methods (IFM), Bertinoro, Italy (invited); 09-09-2014 - 09-11-2014; in: "IFM", Springer / LNCS, 8739 (2014), ISBN: 978-3-319-10180-4; 3 - 17.

  31. D. Calvanese, T. Kotek, M. Simkus, V. Veith, F. Zuleger:
    "Shape and Content: Incorporating Domain Knowledge into Shape Analysis";
    Talk: International Workshop on Description Logics, Wien; 07-17-2014 - 07-20-2014; in: "International Workshop on Description Logics", (2014), 4 pages.

  32. G. Charwat:
    "Dynamic Programming on Tree Decompositions using Binary Decision Diagrams";
    Talk: 31st International Conference on Logic Programming, ICLP-DC 2015, Cork, Irland; 08-31-2015 - 09-04-2015; in: "Proceedings of the Technical Communications of the 31st International Conference on Logic Programming (ICLP 2015), Cork, Ireland, August 31 - September 4, 2015", M. De Vos, T. Eiter, Y. Lierler, F. Toni (ed.); CEUR-WS.org, Volume 1443 (2015), 10 pages.

    More information

  33. G. Charwat, A. Pfandler:
    "DEMOCRATIX: A Declarative Approach to Winner Determination";
    Talk: International Workshop on Computational Social Choice (COMSOC), Pittsburgh, Pennsylvania, USA; 06-23-2014 - 06-25-2014; in: "Proceedings of the Fifth International Workshop on Computational Social Choice", A. Procaccia, T. Walsh (ed.); (2014), 15 pages.

    More information

  34. G. Charwat, A. Pfandler:
    "Democratix: A Declarative Approach to Winner Determination";
    Talk: 4th International Conference on Algorithmic Decision Theory, ADT 2015, Lexington, Kentucky, USA; 09-27-2015 - 09-30-2015; in: "Algorithmic Decision Theory, 4th International Conference, ADT 2015 Lexington, KY, USA, September 27 - 30, 2015 Proceedings", T. Walsh (ed.); Springer, Lecture Notes in Computer Science Volume 9346 (2015), ISBN: 978-3-319-23113-6; 253 - 269.

    More information

  35. G. Charwat, S. Woltran:
    "Efficient Problem Solving on Tree Decompositions using Binary Decision Diagrams";
    Talk: 13th International Conference on Logic Programming and Non-monotonic Reasoning, LPNMR 2015, Lexington, Kentucky, USA; 09-27-2015 - 09-30-2015; in: "Logic Programming and Nonmonotonic Reasoning, 13th International Conference, LPNMR 2015, Lexington, KY, USA, September 27-30, 2015, Proceedings", F. Calimeri, G. Ianni, M. Truszczynski (ed.); Springer, Lecture Notes in Computer Science Volume 9345 (2015), ISBN: 978-3-319-23263-8; 213 - 227.

    More information

  36. N. Creignou, O. Papini, St. Rümmele, S. Woltran:
    "Belief merging within fragments of propositional logic";
    Talk: ECAI 2014, Prag; 08-18-2014 - 08-22-2014; in: "Proceedings of the 21st European Conference on Artificial Intelligence", (2014), ISBN: 978-1-61499-418-3; 231 - 236.

    More information

  37. N. Creignou, O. Papini, St. Rümmele, S. Woltran:
    "Belief merging within fragments of propositional logic";
    Talk: 15th International Workshop on Non-Monotonic Reasoning (NMR 2014), Vienna; 07-17-2014 - 07-19-2014; in: "Proceedings of the 15th International Workshop on Non-Monotonic Reasoning", (2014), 10 pages.

    More information

  38. T. Csar, R. Pichler, E. Sallinger, V. Savenkov:
    "Using Statistics for Computing Joins with MapReduce";
    Talk: 9th Alberto Mendelzon International Workshop on Foundations of Data Management (AMW 2015), Lima, Peru; 05-06-2015 - 05-08-2015; in: "Proceedings of the 9th Alberto Mendelzon International Workshop on Foundations of Data Management, Lima, Peru, May 6 - 8, 2015", A. Cali, M. Vidal (ed.); CEUR Workshop Proceedings, 1378 (2015), Paper ID 13, 6 pages.

    More information

  39. R. de Haan, M. Kronegger, A. Pfandler:
    "Fixed-parameter Tractable Reductions to SAT for Planning";
    Talk: Twenty-Fourth International Joint Conference on Artificial Intelligence, IJCAI 2015, Buenos Aires, Argentina; 07-25-2015 - 07-31-2015; in: "Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence - IJCAI 2015", Q. Yang, M. Wooldridge (ed.); AAAI Press, (2015), ISBN: 978-1-57735-738-4; 2897 - 2903.

    More information

  40. D. DellŽAglio, A. Polleres, N. Lopes, S. Bischof:
    "Querying the Web of Data with XSPARQL 1.1";
    Talk: ISWC Developers Workshop 2014, Riva del Garda; 10-19-2014; in: "Proceedings of the ISWC Developers Workshop 2014", R. Verborgh, E. Mannens (ed.); CEUR-WS, Vol-1268 (2014), 6 pages.

    More information

  41. E. Demirovic, N. Musliu:
    "Modeling High School Timetabling as PartialWeighted maxSAT";
    Talk: 4th Workshop on Logic and Search, Wien; 07-18-2014; in: "The Proceedings of 4th Workshop on Logic and Search (a SAT / ICLP workshop at FLoC 2014)", (2014), 15 pages.

    More information

  42. E. Demirovic, N. Musliu:
    "Solving High School Timetabling with Satisfiability Modulo Theories";
    Talk: PATAT 2014, York; 08-26-2014 - 08-29-2014; in: "Proceedings of the 10th International Conference of the Practice and Theory of Automated Timetabling", (2014), 25 pages.

    More information

  43. M. Diller, A. Haret, T. Linsbichler, St. Rümmele, S. Woltran:
    "An extension-based approach to belief revision in abstract argumentation";
    Talk: Twenty-Fourth International Joint Conference on Artificial Intelligence, IJCAI 2015, Buenos Aires, Argentina; 07-25-2015 - 07-31-2015; in: "Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence - IJCAI 2015", Q. Yang, M. Wooldridge (ed.); AAAI Press, (2015), ISBN: 978-1-57735-738-4; 2926 - 2932.

    More information

  44. M. Diller, J. P. Wallner, S. Woltran:
    "Reasoning in Abstract Dialectical Frameworks Using Quantified Boolean Formulas";
    Talk: COMMA - International Conference on Computational Models of Argument, Pitlochry, Scotland, United Kingdom; 09-09-2014 - 09-12-2014; in: "Computational Models of Argument", IOS Press, 266 (2014), ISSN: 1879-8314; 241 - 252.

    More information

  45. D. Doder, S. Woltran:
    "Probabilistic Argumentation Frameworks - A Logical Approach";
    Talk: International Conference on Scalable Uncertainty Management (SUM), Oxford; 09-15-2014 - 09-17-2014; in: "Scalable Uncertainty Management", U. Straccia, A. Cali (ed.); Springer, 8720 (2014), ISBN: 978-3-319-11507-8; 134 - 147.

    More information

  46. P. Dunne, W. Dvorak, T. Linsbichler, S. Woltran:
    "Characteristics of Multiple Viewpoints in Abstract Argumentation";
    Talk: Principles of Knowledge Representation and Reasoning (KR), Wien; 07-20-2014 - 07-24-2014; in: "Principles of Knowledge Representation and Reasoning: Proceedings of the Fourteenth International Conference", C. Baral, G. De Giacomo, T. Eiter (ed.); AAAI Press, (2014), ISBN: 978-1-57735-657-8; 72 - 81.

  47. F. Dusberger, M. Abseher, N. Musliu, S. Woltran:
    "Improving the Efficiency of Dynamic Programming on Tree Decompositions via Machine Learning";
    Talk: Twenty-Fourth International Joint Conference on Artificial Intelligence, IJCAI 2015, Buenos Aires, Argentina; 07-25-2015 - 07-31-2015; in: "Proceedings of IJCAI 2015, the 24th International Joint Conference on Artificial Intelligence", Q. Yang, M. Wooldridge (ed.); AAAI Press, (2015), ISBN: 978-1-57735-738-4; 275 - 282.

    More information

  48. W. Dvorak, M. Järvisalo, J. Wallner, S. Woltran:
    "Complexity-Sensitive Decision Procedures for Abstract Argumentation (Extended Abstract)";
    Talk: International Joint Conference on Artificial Intelligence (IJCAI), Buenos Aires, Argentinien; 07-25-2015 - 07-31-2015; in: "Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence (IJCAI 2015", (2015), 4173 - 4177.

  49. W. Dvorak, T. Linsbichler, E. Oikarinen, S. Woltran:
    "Resolution-Based Grounded Semantics Revisited";
    Talk: COMMA - International Conference on Computational Models of Argument, Pitlochry; 09-09-2014 - 09-12-2014; in: "Computational Models of Argument", S. Parsons, N. Oren, Ch. Reed, F. Cerutti (ed.); IOS Press, 266 (2014), ISBN: 978-1-61499-436-7; 269 - 280.

    More information

  50. U. Egly, M. Kronegger, F. Lonsing, A. Pfandler:
    "Conformant Planning as a Case Study of Incremental QBF Solving";
    Talk: Artificial Intelligence and Symbolic Computation, Sevilla, Spanien; 12-11-2014 - 12-13-2014; in: "Lecture Notes in Computer Science", Springer, Volume 8884 of LNAI (2014), ISBN: 978-3-319-13770-4; 118 - 129.

    More information

  51. T. Eiter, J. Z. Pan, P. Schneider, M. Simkus, G. Xiao:
    "A Rule-based Framework for Creating Instance Data from OpenStreetMap";
    Talk: International Conference on Web Reasoning and Rule Systems (RR), Berlin, Germany; 08-04-2015 - 08-05-2015; in: "Web Reasoning and Rule Systems - 9th International Conference, RR 2015", B. ten Cate, A. Mileo (ed.); Springer LNCS, 9209 (2015), ISBN: 978-3-319-22001-7; 93 - 104.

    More information

  52. T. Eiter, P. Schneider, M. Simkus, G. Xiao:
    "Using OpenStreetMap Data to Create Benchmarks for Description Logic Reasoners 51-57";
    Talk: 3rd International Workshop on OWL Reasoner Evaluation (ORE 2014), Vienna, Austria; 07-13-2014; in: "Informal Proceedings of the 3rd International Workshop on OWL Reasoner Evaluation (ORE 2014)", CEUR Workshop Proceedings, 1207 (2014), ISSN: 1613-0073; 51 - 57.

    More information

  53. E. Elkind, P. Faliszewski, M. Lackner, S. Obraztsova:
    "The Complexity of Recognizing Incomplete Single-Crossing Preferences";
    Talk: Twenty-Ninth AAAI Conference on Artificial Intelligence, Austin, Texas, USA; 01-25-2015 - 01-30-2015; in: "Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, January 25-30, 2015, Austin, Texas, USA", B. Bonet, S. Koenig (ed.); AAAI Press, (2015), 865 - 871.

    More information

  54. E. Elkind, M. Lackner:
    "On Detecting Nearly Structured Preference Profiles";
    Talk: Twenty-Eighth AAAI Conference on Aritifical Intelligence (AAAI 2014), Québec City, Québec, Canada; 07-27-2014 - 07-31-2014; in: "Proceedings of the Twenty-Eighth AAAI Conference on Aritifical Intelligence", C. Brodley, P. Stone (ed.); (2014), ISBN: 978-1-57735-661-5; 661 - 667.

    More information

  55. E. Elkind, M. Lackner:
    "Structure in Dichotomous Preferences";
    Talk: Twenty-Fourth International Joint Conference on Artificial Intelligence, IJCAI 2015, Buenos Aires, Argentina; 07-25-2015 - 07-31-2015; in: "Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, IJCAI 2015, Buenos Aires, Argentina, July 25-31, 2015", Q. Yang, M. Wooldridge (ed.); AAAI Press, (2015), ISBN: 978-1-57735-738-4; 2019 - 2025.

    More information

  56. G. Erdélyi, M. Lackner, A. Pfandler:
    "Manipulation of k-Approval in Nearly Single-Peaked Electorates";
    Talk: 4th International Conference on Algorithmic Decision Theory, ADT 2015, Lexington, Kentucky, USA; 09-27-2015 - 09-30-2015; in: "Algorithmic Decision Theory, 4th International Conference, ADT 2015 Lexington, KY, USA, September 27 - 30, 2015 Proceedings", T. Walsh (ed.); Springer, Lecture Notes in Computer Science Volume 9346 (2015), ISBN: 978-3-319-23113-6; 71 - 85.

    More information

  57. R. Ganian, M. Kronegger, A. Pfandler, A. Popa:
    "Parameterized Complexity of Asynchronous Border Minimization";
    Talk: 12th Annual Conference on Theory and Applications of Models of Computation, TAMC 2015, Singapur; 05-18-2015 - 05-20-2015; in: "Theory and Applications of Models of Computation, 12th Annual Conference, TAMC 2015, Singapore, May 18-20, 2015, Proceedings", R. Jain, S. Jain, F. Stephan (ed.); Springer, Lecture Notes in Computer Science Volume 9076 (2015), ISBN: 978-3-319-17141-8; 428 - 440.

    More information

  58. M. Giacomin, T. Linsbichler, S. Woltran:
    "On the Functional Completeness of Argumentation Semantics";
    Talk: KI 2015 Workshop on Formal and Cognitive Reasoning, Dresden, Germany; 09-22-2015; in: "Proceedings of the 5th Workshop on Dynamics of Knowledge and Belief (DKB-2015) and the 4th Workshop KI & Kognition (KIK-2015)", C. Beierle, G. Kern-Isberner, M. Ragni, F. Stolzenburg (ed.); CEUR Workshop Proceedings, 1444 (2015), 12 pages.

    More information

  59. G. Gottlob, M. Manna, A. Pieris:
    "Polynomial Combined Rewritings for Linear Existential Rules and DL-Lite with n-ary Relations";
    Talk: 28th International Workshop on Description Logics, Athens,Greece; 06-07-2015 - 06-10-2015; in: "Proceedings of the 28th International Workshop on Description Logics, Athens,Greece, June 7-10, 2015", CEUR Workshop Proceedings, 1350 (2015), 4 pages.

    More information

  60. G. Gottlob, M. Morak, A. Pieris:
    "Recent Advances in Datalog+/-";
    Talk: 11th International Summer School Reasoning Web 2015, Berlin, Germany (invited); 07-31-2015 - 08-04-2015; in: "Reasoning Web. Web Logic Rules - 11th International Summer School 2015, Berlin, Germany, July 31 - August 4, 2015, Tutorial Lectures.", Springer, Lecture Notes in Computer Science Volume 9203 2015 (2015), ISBN: 978-3-319-21767-3; 193 - 217.

    More information

  61. G. Gottlob, R. Pichler, E. Sallinger:
    "Function Symbols in Tuple-Generating Dependencies: Expressive Power and Computability";
    Talk: Symposium on Principles of Database Systems, PODS 2015, Melbourne, Victoria, Australia; 05-31-2015 - 06-04-2015; in: "Proceedings of the 34th ACM Symposium on Principles of Database Systems, PODS 2015, Melbourne, Victoria, Australia, May 31 - June 4, 2015", T. Milo, D. Calvanese (ed.); ACM, (2015), ISBN: 978-1-4503-2757-2; 65 - 77.

    More information

  62. G. Gottlob, S. Rudolph, M. Simkus:
    "Expressiveness of guarded existential rule languages";
    Talk: ACM Symposium on Principles of Database Systems (PODS), Snowbird, UT, USA; 06-22-2014 - 06-27-2014; in: "Proceedings of the 33rd ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, PODS'14", R. Hull, M. Grohe (ed.); ACM Press, (2014), ISBN: 978-1-4503-2375-8; 27 - 38.

    More information

  63. A. Haret, St. Rümmele, S. Woltran:
    "Merging in the Horn Fragment";
    Talk: Twenty-Fourth International Joint Conference on Artificial Intelligence, IJCAI 2015, Buenos Aires, Argentina; 07-25-2015 - 07-31-2015; in: "Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence - IJCAI 2015", Q. Yang, M. Wooldridge (ed.); AAAI Press, (2015), ISBN: 978-1-57735-738-4; 3041 - 3047.

    More information

  64. P. Kaufmann, M. Kronegger, A. Pfandler, M. Seidl, M. Widl:
    "A SAT-Based Debugging Tool for State Machines and Sequence Diagrams";
    Talk: 7th International Conference on Software Language Engineering (SLE), Västerås, Sweden; 09-15-2014 - 09-16-2014; in: "Proceedings of the 7th International Conference on Software Language Engineering (SLE)", (2014), 21 - 40.

    More information

  65. T. Kotek, M. Simkus, V. Veith, F. Zuleger:
    "Extending ALCQIO with Trees";
    Talk: 30th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2015), Kyoto, Japan; 07-06-2015 - 07-10-2015; in: "LICS 2015", IEEE, (2015), ISBN: 978-1-4799-8875-4; 511 - 522.

    More information

  66. T. Kotek, M. Simkus, V. Veith, F. Zuleger:
    "Towards a Description Logic for Program Analysis: Extending ALCQIO with Reachability";
    Keynote Lecture: International Workshop on Description Logics, Wien; 07-17-2014 - 07-20-2014; in: "International Workshop on Description Logics", (2014), 4 pages.

  67. M. Kronegger, M. Lackner, A. Pfandler, R. Pichler:
    "A Parameterized Complexity Analysis of Generalized CP-Nets";
    Talk: 2nd Workshop on the Parameterized Complexity of Computational Reasoning (PCCR), Wien; 07-17-2014 - 07-18-2014; in: "Proceedings of the 2nd Workshop on the Parameterized Complexity of Computational Reasoning (PCCR)", M. R. Fellows, S. Gaspers, T. Walsh (ed.); (2014), 2 pages.

    More information

  68. M. Kronegger, M. Lackner, A. Pfandler, R. Pichler:
    "A Parameterized Complexity Analysis of Generalized CP-Nets";
    Talk: Twenty-Eighth AAAI Conference on Aritifical Intelligence (AAAI 2014), Québec City, Québec, Canada; 07-27-2014 - 07-31-2014; in: "Proceedings of the Twenty-Eighth AAAI Conference on Aritifical Intelligence", C. Brodley, P. Stone (ed.); (2014), ISBN: 978-1-57735-661-5; 1091 - 1097.

    More information

  69. M. Kronegger, A. Pfandler, S. Ordyniak:
    "Backdoors to Planning";
    Talk: Twenty-Eighth AAAI Conference on Aritifical Intelligence (AAAI 2014), Québec City, Québec, Canada; 07-27-2014 - 07-31-2014; in: "Proceedings of the Twenty-Eighth AAAI Conference on Aritifical Intelligence", C. Brodley, P. Stone (ed.); AAAI Press, (2014), ISBN: 978-1-57735-661-5; 2300 - 2307.

    More information

  70. M. Kronegger, A. Pfandler, S. Ordyniak:
    "Backdoors to Planning";
    Talk: 2nd Workshop on the Parameterized Complexity of Computational Reasoning (PCCR), Wien; 07-17-2014 - 07-18-2014; in: "Proceedings of the 2nd Workshop on the Parameterized Complexity of Computational Reasoning (PCCR)", M. R. Fellows, S. Gaspers, T. Walsh (ed.); (2014), 2 pages.

    More information

  71. M. Kronegger, A. Pfandler, S. Ordyniak:
    "Variable-Deletion Backdoors to Planning";
    Poster: Twenty-Ninth AAAI Conference on Artificial Intelligence, Austin, Texas, USA; 01-25-2015 - 01-30-2015; in: "Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, January 25-30, 2015, Austin, Texas, USA", B. Bonet, S. Koenig (ed.); AAAI Press, (2015), 3305 - 3312.

    More information

  72. M. Lackner:
    "Incomplete Preferences in Single-Peaked Electorates";
    Talk: Twenty-Eighth AAAI Conference on Aritifical Intelligence (AAAI 2014), Québec City, Québec, Canada; 07-27-2014 - 07-31-2014; in: "Proceedings of the Twenty-Eighth AAAI Conference on Aritifical Intelligence", C. Brodley, P. Stone (ed.); (2014), ISBN: 978-1-57735-661-5; 742 - 748.

    More information

  73. T. Linsbichler:
    "Splitting Abstract Dialectical Frameworks";
    Talk: COMMA - International Conference on Computational Models of Argument, Pitlochry; 09-09-2014 - 09-12-2014; in: "Computational Models of Argument", S. Parsons, N. Oren, Ch. Reed, F. Cerutti (ed.); IOS Press, 266 (2014), ISBN: 978-1-61499-436-7; 357 - 368.

    More information

  74. T. Linsbichler, C. Spanring, S. Woltran:
    "The Hidden Power of Abstract Argumentation Semantics";
    Talk: The 2015 International Workshop on Theory and Applications of Formal Argument, Buenos Aires, Argentinien; 07-25-2015 - 07-26-2015; in: "Theory and Applications of Formal Argumentation", E. Black, S. Modgil, N. Oren (ed.); Lecture Notes in Computer Science, 9524 (2015), ISBN: 978-3-319-28459-0; 146 - 162.

    More information

  75. T. Lukasiewicz, M. Martinez, A. Pieris, G. Simari:
    "From Classical to Consistent Query Answering under Existential Rules";
    Talk: 9th Alberto Mendelzon International Workshop on Foundations of Data Management (AMW 2015), Lima, Peru; 05-06-2015 - 05-08-2015; in: "Proceedings of the 9th Alberto Mendelzon International Workshop on Foundations of Data Management, Lima, Peru, May 6 - 8, 2015", CEUR Workshop Proceedings, 1378 (2015), 6 pages.

    More information

  76. N. Ngo, M. Ortiz de la Fuente, M. Simkus:
    "The Combined Complexity of Reasoning with Closed Predicates in Description Logics";
    Talk: 28th International Workshop on Description Logics, Athens,Greece; 06-07-2015 - 06-10-2015; in: "Proceedings of the 28th International Workshop on Description Logics, Athens,Greece, June 7-10, 2015", D. Calvanese, B. Konev (ed.); CEUR Workshop Proceedings, 1350 (2015), ISSN: 1613-0073; 249 - 261.

    More information

  77. M. Ortiz de la Fuente, M. Simkus:
    "Revisiting the Hardness of Query Answering in Expressive Description Logics";
    Talk: RR 2014, 8th International Conference Web Reasoning and Rule Systems, Athens, Greece; 09-15-2014 - 09-17-2014; in: "Web Reasoning and Rule Systems. 8th International Conference, Proceedings", R. Kontchakov, M. Mugnier (ed.); Springer Lecture Notes in Computer Science, 8714 (2014), ISBN: 978-3-319-11112-4; 216 - 223.

    More information

  78. A. Pfandler, St. Rümmele, J. P. Wallner, S. Woltran:
    "On the Parameterized Complexity of Belief Revision";
    Talk: Twenty-Fourth International Joint Conference on Artificial Intelligence, IJCAI 2015, Buenos Aires, Argentina; 07-25-2015 - 07-31-2015; in: "Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence - IJCAI 2015", Q. Yang, M. Wooldridge (ed.); AAAI Press, (2015), ISBN: 978-1-57735-738-4; 3149 - 3155.

    More information

  79. A. Pfandler, E. Sallinger:
    "Distance-Bounded Consistent Query Answering";
    Talk: Twenty-Fourth International Joint Conference on Artificial Intelligence, IJCAI 2015, Buenos Aires, Argentina; 07-25-2015 - 07-31-2015; in: "Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, IJCAI 2015", Q. Yang, M. Wooldridge (ed.); AAAI Press, (2015), ISBN: 978-1-57735-738-4; 2262 - 2269.

    More information

  80. R. Pichler:
    "Certain Answers to Well-Designed SPARQL Queries";
    Talk: Dagstuhl Seminar 14331: "Querying and Reasoning Under Expressive Constraints", Dagstuhl (invited); 08-11-2014 - 08-14-2014; in: "Dagstuhl Reports 4(8)", (2014), ISSN: 2192-5283; 15 - 16.

    More information

  81. R. Pichler, S. Skritek:
    "Containment and equivalence of well-designed SPARQL";
    Talk: ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, Snowbird, UT, USA,; 06-22-2014 - 06-27-2014; in: "Proceedings of the 33rd ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems", R. Hull, M. Grohe (ed.); ACM, (2014), ISBN: 978-1-4503-2375-8; 39 - 50.

    More information

  82. R. Pichler, S. Skritek:
    "On the Hardness of Counting the Solutions of SPARQL Queries";
    Talk: 8th Alberto Mendelzon Workshop on Foundations of Data Management, Cartagena de Indias; 06-04-2014 - 06-06-2014; in: "Proceedings of the 8th Alberto Mendelzon Workshop on Foundations of Data Management", G. Gottlob, J. Perez (ed.); CEUR-WS, Vol-1189 (2014), 6 pages.

    More information

  83. A. Pieris:
    "From Classical to Consistent Query Answering under Existential Rules";
    Talk: Joint Ontology Workshops 2015 Episode 1: The Argentine Winter of Ontology, Buenos Aires, Argentina (invited); 07-25-2015 - 07-27-2015; in: "Proceedings of the Joint Ontology Workshops 2015 Episode 1: The Argentine Winter of Ontology co-located with the 24th International Joint Conference on Artificial Intelligence (IJCAI 2015)", CEUR Workshop Proceedings, 1517 (2015), 1 pages.

    More information

  84. J. Pihera, N. Musliu:
    "Application of Machine Learning to Algorithm Selection for TSP";
    Talk: ICTAI 2014, Limassol, Cyprus; 11-10-2014 - 11-12-2014; in: "26th IEEE International Conference on Tools with Artificial Intelligence", (2014), 47 - 54.

    More information

  85. N. Pobiedina, St. Rümmele, S. Skritek, H. Werthner:
    "Benchmarking database systems for graph pattern matching";
    Talk: DEXA - International Conference on Database and Expert System Applications, Munich, Germany; 09-01-2014 - 09-04-2014; in: "Lecture Notes in Computer Science", Springer Verlag, (2014), 226 - 241.

    More information

  86. S. Polberg:
    "Extension-based Semantics of Abstract Dialectical Frameworks";
    Talk: International Workshop on Non-Monotonic Reasoning (NMR), Wien; 07-17-2014 - 07-19-2014; in: "15th International Workshop on Non-monotonic Reasoning (NMR 2014)", S. Konieczny, H. Tompits (ed.); (2014), 10 pages.

  87. S. Polberg:
    "Extension-based Semantics of Abstract Dialectical Frameworks";
    Talk: European Starting AI Researcher Symposium, Prague; 08-18-2014 - 08-19-2014; in: "STAIRS 2014", U. Endriss, J. Leite (ed.); IOS Press, 264 (2014), ISBN: 978-1-61499-421-3; 240 - 249.

    More information

  88. S. Polberg, D. Doder:
    "Probabilistic Abstract Dialectical Frameworks";
    Talk: European Conference on Logics in Artificial Intelligence (JELIA), Funchal; 09-24-2014 - 09-26-2014; in: "Logics in Artificial Intelligence", E. Fermé, J. Leite (ed.); Springer, 8761 (2014), ISBN: 978-3-319-11557-3; 591 - 599.

    More information

  89. S. Polberg, N. Oren:
    "Revisiting Support in Abstract Argumentation Systems";
    Talk: COMMA - International Conference on Computational Models of Argument, Pitlochry; 09-09-2014 - 09-12-2014; in: "Computational Models of Argument", S. Parsons, N. Oren, Ch. Reed, F. Cerutti (ed.); IOS Press, 266 (2014), ISBN: 978-1-61499-436-7; 369 - 376.

    More information

  90. G. Schenner, S. Bischof, A. Polleres, S. Steyskal:
    "Integrating Distributed Configurations With RDFS and SPARQL";
    Talk: Workshop on Configuration, Novi Sad; 09-25-2014 - 09-26-2014; in: "Proceedings of the 16th International Configuration Workshop", A. Felfernig, F. Cipriano, A. Haag (ed.); CEUR-WS, Vol-1220 (2014), 7 pages.

    More information

  91. M. Simkus:
    "Binary Frontier-Guarded ASP with Function Symbols";
    Talk: International RuleML Symposium on Rule Interchange and Applications, Berlin, Germany; 08-02-2015 - 08-05-2015; in: "Rule Technologies: Foundations, Tools, and Applications - 9th International Symposium (RuleML 2015)", N. Bassiliades, G. Gottlob, F. Sadri, A. Paschke, D. Roman (ed.); Springer LNCS, 9202 (2015), ISBN: 978-3-319-21541-9; 311 - 327.

    More information

  92. M. Simkus, T. Eiter:
    "Linking Open-World Knowledge Bases Using Nonmonotonic Rules";
    Talk: International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR), Lexington, KY, USA; 09-27-2015 - 09-30-2015; in: "Logic Programming and Nonmonotonic Reasoning - 13th International Conference (LPNMR 2015)", F. Calimeri, G. Ianni, M. Truszczynski (ed.); Springer LNCS, 9345 (2015), ISBN: 978-3-319-23263-8; 294 - 308.

    More information

  93. C. Spanring:
    "Axiom of Choice, Maximal Independent Sets, Argumentation and Dialogue Games";
    Talk: Imperial College Computing Student Workshop, London; 09-25-2014 - 09-26-2014; in: "2014 Imperial College Computing Student Workshop", R. Neykova, N. Ng (ed.); (2014), 8 pages.

    More information

  94. C. Spanring:
    "Hunt for the Collapse of Semantics in Infinite Abstract Argumentation Frameworks";
    Talk: 2015 Imperial College Computing Student Workshop, London; 09-24-2015 - 09-25-2015; in: "2015 Imperial College Computing Student Workshop", C. Schulz, D. Liew (ed.); OpenAccess Series in Informatics, 49 (2015), ISBN: 978-3-95977-000-2; Paper ID 12, 8 pages.

    More information

  95. H. Strass, J. P. Wallner:
    "Analyzing the Computational Complexity of Abstract Dialectical Frameworks via Approximation Fixpoint Theory";
    Talk: Principles of Knowledge Representation and Reasoning (KR), Wien; 07-20-2014 - 07-24-2014; in: "Principles of Knowledge Representation and Reasoning: Proceedings of the Fourteenth International Conference", C. Baral, G. De Giacomo, T. Eiter (ed.); AAAI Press, (2014), ISBN: 978-1-57735-657-8; 101 - 110.

    More information

  96. S. Woltran:
    "Abstract Argumentation - All Problems Solved?";
    Keynote Lecture: European Conference on Artificial Intelligence (ECAI), Prag, Tschechisch Republik (invited); 08-18-2014 - 08-22-2014; in: "Proceedings ECAI 2014", T. Schaub (ed.); IOS Press, 263 (2014), ISBN: 978-1-61499-418-3.

  97. S. Woltran:
    "An Introduction to Abstract Argumentation";
    Keynote Lecture: 6th USENIX Workshop on the Theory and Practice of Provenance, Köln (invited); 06-12-2014 - 06-13-2014; in: "Proceedings 6th USENIX Workshop on the Theory and Practice of Provenance", A. Chapman, B. Ludaescher, A. Schreiber (ed.); (2014).


Talks and Poster Presentations (without Proceedings-Entry)


  1. S. Ahmetaj, W. Fischl:
    "Towards Reconciling SPARQL and Certain Answers";
    Talk: PhDs in Logic VII, Wien; 05-14-2015 - 05-16-2015.

    More information

  2. M. Baaz, T. Eiter, H. Veith:
    "Vienna Summer of Logic";
    Talk: Vienna Summer of Logic, Wien, Austria (invited); 07-09-2014 - 07-24-2014.

  3. M. Bruner, M. Lackner:
    "The Likelihood of Structure in Preference Profiles";
    Talk: 8th Multidisciplinary Workshop on Advances in Preference Handling, Quebec, Kanada; 06-28-2014.

    More information

  4. U. Egly, M. Kronegger, F. Lonsing, A. Pfandler:
    "Conformant Planning as a Case Study of Incremental QBF Solving";
    Talk: International Workshop on Quantified Boolean Formulas, Wien (invited); 07-13-2014.

    More information

  5. J. Fichte:
    "Modern SAT Solvers -- History, Techniques, and Success --";
    Talk: UIB Department Seminar at Informatics, University of Bergen, Bergen, Norwegen (invited); 03-26-2015.

    More information

  6. W. Fischl, D. Calvanese, R. Pichler, M. Simkus, E. Sallinger:
    "Capturing Relational Schemas and Functional Dependencies in RDFS";
    Poster: Reasoning Web, International Summer School, Athen; 09-07-2014 - 09-13-2014.

    More information

  7. P. Kaufmann, M. Kronegger, A. Pfandler, M. Seidl, M. Widl:
    "A SAT-based Debugging Tool for State Machines and Sequence Diagrams";
    Talk: PUMA/RiSE Workshop, Mondsee; 09-29-2014 - 10-03-2014.

  8. M. Kronegger, M. Lackner, A. Pfandler, R. Pichler:
    "On the Parameterized Complexity of Generalized CP-Nets";
    Talk: Workshop on Challenges in Algorithmic Social Choice (CASC), Bad Belzig, Deutschland; 10-08-2014 - 10-11-2014.

    More information

  9. M. Lackner, E. Elkind:
    "On Detecting Nearly Structured Preference Profiles";
    Talk: Workshop on Challenges in Algorithmic Social Choice (CASC), Bad Belzig, Deutschland; 10-08-2014 - 10-11-2014.

    More information

  10. N. Musliu:
    "Automated Employee Scheduling";
    Talk: SWORDS 2014 - Szeged WORkshop on Discrete Structures, Szeged (invited); 10-09-2014 - 10-10-2014.

    More information

  11. N. Musliu:
    "Scheduling Problems: Case Studies and Solution Techniques";
    Talk: International Conference on Automated Planning and Scheduling (ICAPS), Portsmouth, USA; 06-21-2014 - 06-26-2014.

    More information

  12. A. Pieris, M. Thomazo:
    "Ontological Conjunctive Query Answering via Existential Rules";
    Keynote Lecture: 27th European Summer School in Logic, Language and Information (ESSLLI 2015), Barcelona (invited); 08-03-2015 - 08-14-2015.

    More information

  13. S. Woltran:
    "Comparing the Power of Different Semantics for Abstract Argumentation";
    Talk: Workshop on the Dynamics of Argumentation, Rules and Conditionals DARC, Luxemburg (invited); 10-24-2014.

  14. S. Woltran:
    "Dynamic Programming on Tree Decomposition in Practice. Some Lessons Learned";
    Keynote Lecture: 17th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2015), Timisoara (invited); 09-21-2015 - 09-24-2015.


Doctor's Theses (authored and supervised)


  1. R. Fayzrakhmanov:
    "Web Accessibility for the Blind Through Visual Representation Analysis";
    Supervisor, Reviewer: R. Pichler, A. Provetti; Institut für Informationssysteme, 2014.

    More information

  2. M. Lackner:
    "Detecting Structure in Permutations and Preferences";
    Supervisor, Reviewer: R. Pichler, St. Szeider, G. Erdélyi; Institut für Informationssysteme, 2014; oral examination: 06-11-2014.

    More information

  3. E. Sallinger:
    "Foundations of Information Integration - Analyzing, Managing and Reasoning about Schema Mappings";
    Supervisor, Reviewer: R. Pichler, P. Kolaitis; E184, 2014; oral examination: 07-15-2014.

    More information

  4. M. Triska:
    "Correctness Considerations in CLP(FD) Systems";
    Supervisor, Reviewer: N. Musliu, J. Wielemaker; Institut für Informationssysteme, 2014; oral examination: 01-29-2014.

  5. J. P. Wallner:
    "Complexity Results and Algorithms for Argumentation - Dung's Frameworks and Beyond";
    Supervisor, Reviewer: S. Woltran, G. Weissenbacher; Institute of Information Systems, 2014; oral examination: 05-28-2014.

    More information


Diploma and Master Theses (authored and supervised)


  1. K. Bader:
    "Memetic Algorithms for Tree Decomposition";
    Supervisor: N. Musliu; Institut für Informationssysteme, 2015; final examination: 01-13-2015.

  2. D. Bucar:
    "Electric Vehicles Recharge Scheduling with Time Windows";
    Supervisor: N. Musliu, S. Bessler; Institut für Informationssysteme, 2014.

  3. M. Diller:
    "Solving Reasoning Problems on Abstract Dialectical Frameworks via Quantified Boolean Formulas";
    Supervisor: S. Woltran, J. P. Wallner; Institut für Informationssysteme, 2014; final examination: 04-11-2014.

    More information

  4. J. Fichte:
    "Backdoors to Tractability of Disjunctive Answer Set Programming";
    Supervisor: S. Szeider; Institut für Informationssysteme, 2015.

    More information

  5. A. Haret:
    "Merging in the Horn fragment";
    Supervisor: S. Woltran, St. Rümmele; Institut für Informationssysteme, 2014; final examination: 09-23-2014.

  6. M. Hecher:
    "Optimizing Second-Level Dynamic Programming Algorithms";
    Supervisor: S. Woltran; Institut für Informationssysteme, 2015; final examination: 11-09-2015.

    More information

  7. D. Kocabas:
    "Exact Methods for Shift Design and Break Scheduling";
    Supervisor: N. Musliu; Institut für Informationssysteme, 2015.

  8. M. Moldovan:
    "Implementing Variations of the Traveling Salesperson Problem in a Declarative Dynamic Programming Environment";
    Supervisor: S. Woltran; Institut für Informationssysteme, 2015; final examination: 04-15-2015.

    More information

  9. I. Stoilkovska:
    "XML Data Integration";
    Supervisor: R. Pichler; Institut für Informationssysteme, 2014.

    More information


Scientific Reports


  1. M. Abseher, B. Bliem, G. Charwat, F. Dusberger, M. Hecher, S. Woltran:
    "D-FLAT: Progress Report";
    Report for TU Wien, Institut fuer Informationssysteme; Report No. DBAI-TR-2014-86, 2014; 57 pages.

    More information

  2. B. Bliem, G. Charwat, M. Hecher, S. Woltran:
    "D-FLAT^2: Subset Minimization in Dynamic Programming on Tree Decompositions Made Easy";
    Report for TU Wien; Report No. DBAI-TR-2015-93, 2015; 38 pages.

    More information

  3. P. Dunne, W. Dvorak, T. Linsbichler, S. Woltran:
    "Characteristics of Multiple Viewpoints in Abstract Argumentation";
    Report No. DBAI-TR-2015-89, 2015; 42 pages.

    More information

  4. W. Dvorak, C. Spanring:
    "Comparing the expressiveness of argumentation semantics";
    Report No. DBAI-TR-2014-90, 2015; 32 pages.

    More information

  5. S. Polberg:
    "Revisiting Extension-Based Semantics of Abstract Dialectical Frameworks";
    Report No. DBAI-TR-2015-88, 2015; 72 pages.

    More information