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

20 records


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

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

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

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

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

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

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


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