TU Home
 


Publication Database Home  

Publication list for members of
E184 - Institute of Information Systems
E184 (Persons without Research Area Affiliation)
E184-2 Datenbanken und Artificial Intelligence
as authors or essentially involved persons
2014 - 2015

40 records


Publications in Scientific Journals


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

    More information

  2. 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

  3. 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


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.


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. 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

  4. 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

  5. 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

  6. 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

  7. 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

  8. 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

  9. 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

  10. 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

  11. 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

  12. 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

  13. 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

  14. 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

  15. 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

  16. 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

  17. 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

  18. 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

  19. 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

  20. 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

  21. 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

  22. 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


Talks and Poster Presentations (without Proceedings-Entry)


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

  2. 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

  3. 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

  4. 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

  5. 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


Doctor's Theses (authored and supervised)


  1. 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

  2. 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


Diploma and Master Theses (authored and supervised)


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


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