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

50 records


Publications in Scientific Journals


  1. M. Balduccini, S. Woltran:
    "Special issue on answer set programming";
    AI Communications, 24 (2011), 2; 105 - 106.

    More information

  2. A. Bohn, I. Feinerer, K. Hornik, P. Mair:
    "Content-based social network analysis of mailing lists";
    R Journal, 3 (2011), 1; 11 - 18.

    More information

  3. N. Creignou, J. Schmidt, M. Thomas, S. Woltran:
    "Complexity of logic-based argumentation in Post's framework";
    Argument & Computation, 2 (2011), 2-3; 107 - 129.

    More information

  4. W. Dvorak, S. Woltran:
    "On the Intertranslatability of Argumentation Semantics";
    Journal of Artificial Intelligence Research, 41 (2011), 445 - 475.

    More information

  5. G. Gottlob, R. Pichler, V. Savenkov:
    "Normalization and optimization of schema mappings";
    VLDB Journal, 20 (2011), 2; 277 - 302.

    More information

  6. E. Oikarinen, S. Woltran:
    "Characterizing strong equivalence for argumentation frameworks";
    Artificial Intelligence, 175 (2011), 14-15; 1985 - 2009.

    More information

  7. G Post, J Kingston, S. Ahmadi, S. Daskalaki, C. Gogos, J. Kyngas, C. Nurmi, N. Musliu, N. Pillay, H. Santos, A. Schaerf:
    "XHSTT: an XML archive for high school timetabling problems in different countries";
    Annals of Operations Research, (*) (2011).

    More information


Contributions to Books


  1. W. Faber, S. Woltran:
    "Manifold Answer-Set Programs and Their Applications";
    in: "Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning", M. Balduccini, T. Son (ed.); Springer-Verlag, Berlin Heidelberg, 2011, ISBN: 978-3-642-20831-7, 44 - 63.

    More information


Contributions to Proceedings


  1. S. Woltran:
    "Equivalence between Extended Datalog Programs. A Brief Survey";
    in: "Datalog Reloaded", O. de Moor, G. Gottlob, T. Furche, A. Sellers (ed.); Springer, 2011, ISBN: 978-3-642-24205-2, 106 - 119.

    More information


Talks and Poster Presentations (with Proceedings-Entry)


  1. M. Ali, R. Pichler, H. Truong, S. Dustdar:
    "Data Concern Aware Querying for the Integration of Data Services";
    Poster: ICEIS, Beijing; 06-08-2011 - 06-11-2011; in: "Proceedings of the 13th International Conference on Enterprise Information Systems", J. Cordeiro, X. Li, Z. Zhang, J. Zhang (ed.); SciTePress, Volume 1 (2011), ISBN: 978-989-8425-53-9; 111 - 119.

    More information

  2. M. Ali, R. Pichler, H. Truong, S. Dustdar:
    "On Integrating Data Services Using Data Mashups";
    Talk: Britsh National Conference on Databases - BNCOD, Manchester, Großbritannien; 07-12-2011 - 07-14-2011; in: "Advances in Databases", A. A. A. Fernandes, A.J.G. Gray, K. Belhajjame (ed.); LNCS/Springer, 7051 (2011), ISBN: 978-3-642-24576-3; 132 - 135.

    More information

  3. G. Brewka, P. Dunne, S. Woltran:
    "Relating the Semantics of Abstract Dialectical Frameworks and Standard AFs";
    Talk: International Joint Conference on Artificial Intelligence (IJCAI), Barcelon, Spain; 07-16-2011 - 07-22-2011; in: "Proceedings of the 22nd Int. Joint Conference on Artificial Intelligence", T. Walsh (ed.); AAAI Press, (2011), ISBN: 978-1-57735-516-8; Paper ID 137, 6 pages.

    More information

  4. D. Calvanese, M. Ortiz de la Fuente, M. Simkus:
    "Containment of Regular Path Queries under Description Logic Constraints";
    Talk: International Joint Conference on Artificial Intelligence (IJCAI), Barcelona, Spain; 07-16-2011 - 07-22-2011; in: "Proceedings of the Twenty-Second International Joint Conference on Artificial Intelligence", T. Walsh (ed.); (2011), ISBN: 978-1-57735-516-8; 805 - 812.

    More information

  5. D. Calvanese, M. Ortiz de la Fuente, M. Simkus, G. Stefanoni:
    "The Complexity of Conjunctive Query Abduction in DL-Lite";
    Talk: International Workshop on Description Logics (DL), Barcelon, Spain; 07-13-2011 - 07-16-2011; in: "CEUR Workshop Proceedings", R. Rosati, S. Rudolph, M. Zakharyaschev (ed.); CEUR Workshop Proceedings, 745 (2011), ISSN: 1613-0073; Paper ID 49, 11 pages.

    More information

  6. W. Dvorak:
    "On the Complexity of Computing the Justification Status of an Argument";
    Talk: First International Workshop on the Theory and Applications of Formal Argumentation (TAFA-11), Barcelona, Spain; 07-16-2011 - 07-22-2011; in: "Proceedings of the 1st international Workshop on the Theory and Applications of Formal Argumentation", S. Modgil, N. Oren, F. Toni (ed.); http://ijcai-11.iiia.csic.es/files/proceedings/W25-%20TAFA-post-proceedings.pdf, (2011), 15 pages.

    More information

  7. W. Dvorak, P. Dunne, S. Woltran:
    "Parametric Properties of Ideal Semantics";
    Talk: International Joint Conference on Artificial Intelligence (IJCAI), Barcelona, Catalonia, Spain; 07-16-2011 - 07-22-2011; in: "Proceedings of the 22nd Int. Joint Conference on Artificial Intelligence", T. Walsh (ed.); AAAI Press, (2011), ISBN: 978-1-57735-516-8; Paper ID 148, 6 pages.

    More information

  8. W. Dvorak, S. Gaggl, J. P. Wallner, S. Woltran:
    "Making Use of Advances in Answer-Set Programming for Abstract Argumentation Systems.";
    Talk: International Conference on Applications of Declarative Programming and Knowledge Management, Vienna, Austria; 09-28-2011 - 09-30-2011; in: "19th International Conference on Applications of Declarative Programming and Knowledge Management (INAP 2011)", (2011), 14 pages.

    More information

  9. W. Dvorak, M. Morak, C. Nopp, S. Woltran:
    "A Dynamic Programming Reasoner for Abstract Argumentation.";
    Talk: International Conference on Applications of Declarative Programming and Knowledge Management, Vienna, Austria; 09-28-2011 - 09-30-2011; in: "19th International Conference on Applications of Declarative Programming and Knowledge Management (INAP 2011)", (2011), 5 pages.

    More information

  10. I. Feinerer:
    "Efficient configuration and verification of software product lines";
    Talk: International Software Product Line Conference, München, Deutschland; 08-21-2011 - 08-26-2011; in: "Proceedings of the 15th International Software Product Line Conference", I. Schäfer, I. John, K. Schmid (ed.); ACM, Volume 2 (2011), ISBN: 978-1-4503-0789-5; 49.

    More information

  11. I. Feinerer, R. Pichler, E. Sallinger, V. Savenkov:
    "On the Undecidability of the Equivalence of Second-Order Tuple Generating Dependencies";
    Talk: AMW - Alberto Mendelzon International Workshop on Foundations of Data Management, Santiago, Chile; 05-09-2011 - 05-12-2011; in: "CEUR Workshop Proceedings", P. Barceló, V. Tannen (ed.); 749 (2011), ISSN: 1613-0073; Paper ID 5, 13 pages.

    More information

  12. I. Feinerer, G. Salzer, T. Sisel:
    "Reducing multiplicities in class diagrams";
    Talk: 14th International Conference on Model Driven Engineering Languages and Systems, Wellington, New Zealand; 10-16-2011 - 10-21-2011; in: "Lecture Notes in Computer Science", 6981 (2011), ISBN: 978-3-642-24484-1; 379 - 393.

    More information

  13. J. Gärtner, N. Musliu, W. Schafhauser, W. Slany:
    "TEMPLE - A Domain Specific Language for Modeling and Solving Staff Scheduling Problems";
    Talk: Symposium on Computational Intelligence in Scheduling (SCIS), Paris, France; 04-11-2011 - 04-15-2011; in: "Proceedings of 2011 Symposium on Computational Intelligence in Scheduling", (2011), ISBN: 978-1-61284-195-3; 58 - 64.

    More information

  14. S. Gaggl, S. Woltran:
    "Strong Equivalence for Argumentation Semantics based on Conflict-free Sets";
    Talk: European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU), Belfast, Northern Ireland; 06-29-2011 - 07-01-2011; in: "Lecture Notes in Artificial Intelligence", W. Liu (ed.); Springer, 6717 (2011), ISSN: 0302-9743; 38 - 49.

    More information

  15. M. Morak, N. Musliu, R. Pichler, St. Rümmele, S. Woltran:
    "A New Tree-Decomposition Based Algorithm for Answer Set Programming";
    Poster: 2011 IEEE 23rd International Conference on Tools with Artificial Intelligence, Boca Raton, Florida USA; 11-07-2011 - 11-09-2011; in: "2011 IEEE 23rd International Conference on Tools with Artificial Intelligence", T. M. Khoshgoftaar, X. Zhu (ed.); (2011), ISSN: 1082-3409; 916 - 918.

    More information

  16. N. Musliu:
    "Constructing Cyclic Staff Schedules by Iterated Local Search";
    Talk: Metaheuristic International Conference (MIC), Udine; 07-25-2011 - 07-28-2011; in: "Proceedings of the 9th Metaheuristic International Conference (MIC 2011)", (2011), ISBN: 978-88-900984-3-7; 655 - 657.

  17. M. Ortiz de la Fuente, M. Simkus, S. Rudolph:
    "Query Answering in the Horn Fragments of the Description Logics SHOIQ and SROIQ";
    Talk: International Joint Conference on Artificial Intelligence (IJCAI), Barcelona, Spain; 07-16-2011 - 07-22-2011; in: "Proceedings of the Twenty-Second International Joint Conference on Artificial Intelligence", T. Walsh (ed.); (2011), ISBN: 978-1-57735-516-8; 1039 - 1044.

    More information

  18. R. Pichler, E. Sallinger, V. Savenkov:
    "Relaxed Notions of Schema Mapping Equivalence Revisited";
    Talk: International Conference on Database Theory (ICDT), Uppsala, Schweden; 03-21-2011 - 03-25-2011; in: "Proceedings of the 14th International Conference Database Theory", T. Milo (ed.); ACM, (2011), ISBN: 978-1-4503-0529-7; Paper ID 10, 12 pages.

    More information

  19. R. Pichler, S. Skritek:
    "The Complexity of Evaluating Tuple Generating Dependencies";
    Talk: International Conference on Database Theory (ICDT), Uppsala, Schweden; 03-21-2011 - 03-25-2011; in: "Proceedings of the 14th International Conference on Database Theory", T. Milo (ed.); ACM, (2011), ISBN: 978-1-4503-0529-7; Paper ID 23, 12 pages.

    More information

  20. R. Pichler, S. Skritek:
    "Tractable Counting of the Answers to Conjunctive Queries";
    Talk: AMW - Alberto Mendelzon International Workshop on Foundations of Data Management, Santiago, Chile; 05-09-2011 - 05-12-2011; in: "CEUR Workshop Proceedings", P. Barceló, V. Tannen (ed.); CEUR Workshop Proceedings, 749 (2011), ISSN: 1613-0073; Paper ID 4, 12 pages.

    More information

  21. M. Triska, N. Musliu:
    "A Constraint Programming Application for Rotating Workforce Scheduling";
    Talk: 24th International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems, Syracuse, NY; 06-28-2011 - 07-01-2011; in: "Developing Concepts in Applied Intelligence: 24th International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems", Studies in Computational Intelligence, 363 (2011), 83 - 88.


Talks and Poster Presentations (without Proceedings-Entry)


  1. M. Alviano, W. Faber, S. Woltran:
    "Complexity of Super-Coherence Problems in ASP";
    Talk: Workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP) 2010, Lexington, Kentucky, USA; 07-06-2011 - 07-10-2011.

    More information

  2. W. Dvorak:
    "On the Intertranslatability of Argumentation Semantics";
    Talk: LAF (London Argumentation Forum), London, Großbritannien; 03-25-2011.

    More information

  3. S. Gaggl:
    "Making Use of Advances in Answer-Set Programming for Abstract Argumentation Systems.";
    Talk: Computational Logic and Knowledge Representation Workshop, Toulouse, Frankreich (invited); 10-21-2011 - 10-22-2011.

    More information

  4. B. Krüpl-Sypien, R. Fayzrakhmanov, W. Holzinger, M. Panzenböck:
    "A Versatile Model for Web Page Representation, Information Extraction and Content Re-Packaging";
    Talk: The ACM Symposium on Document Engineering - DocEng, Mountain View, California, USA; 09-19-2011 - 09-22-2011.

    More information

  5. M. Lackner:
    "On the fixed-parameter tractability of computing minimal models";
    Talk: Workshop - Parameterized Complexity: Not About Graphs, Darwin, Australien; 08-05-2011 - 08-08-2011.

    More information

  6. M. Lackner, A. Pfandler:
    "Algorithms for finding minimal models";
    Talk: Workshop - Parameterized Complexity: Not About Graphs, Darwin, Australien; 08-05-2011 - 08-08-2011.

    More information

  7. A. Pfandler, M. Lackner:
    "Hardness results for Weighted Minimal Model SAT";
    Talk: Workshop - Parameterized Complexity: Not About Graphs, Darwin, Australien; 08-05-2011 - 08-08-2011.

    More information

  8. S. Woltran:
    "Computational Aspects of Formal Argumentation";
    Talk: TU Dresden, Dresden, Deutschland; 03-25-2011.

  9. S. Woltran:
    "Strong Equivalence in Argumentation";
    Talk: Universität Leipzig, Leipzig, Deutschland; 06-22-2011.


Doctor's Theses (authored and supervised)


  1. M. Ali:
    "Distributed Heterogeneous Web Data Sources Integration - DeXIN Approach";
    Supervisor, Reviewer: R. Pichler, U. Zdun; Institut für Informationssysteme, 2011; oral examination: 08-26-2011.

    More information


Diploma and Master Theses (authored and supervised)


  1. M. Kronegger:
    "LinkEfficient planning with QBF-solvers";
    Supervisor: R. Pichler, A. Pfandler; f. Informationssysteme, 2011; final examination: 09-13-2011.

    More information

  2. A. Lehrbaum:
    "A New Hyperheuristic Algorithm for Cross-Domain Search Problems";
    Supervisor: N. Musliu; Institut für Informationssysteme, 2011; final examination: 11-2011.

  3. M. Morak:
    "dynASP - A Dynamic-Programming Based Answer Set Programming Solver";
    Supervisor: S. Woltran, St. Rümmele; Institut für Informationssysteme, 2011; final examination: 01-27-2011.

    More information

  4. L. Nguyen:
    "An Efficient Algorithm for Phylogeny Reconstruction by Maximum Likelihood";
    Supervisor: N. Musliu, A. von Haeseler; Institut für Informationssysteme, 2011; final examination: 04-2011.


Scientific Reports


  1. W. Dvorak, S. Gaggl, J. P. Wallner, S. Woltran:
    "Making Use of Advances in Answer-Set Programming for Abstract Argumentation Systems";
    Report for TU Wien, Institut für Informationssysteme; Report No. DBAI-TR-2011-70, 2011; 32 pages.

    More information

  2. W. Dvorak, R. Pichler, S. Woltran:
    "Towards Fixed-Parameter Tractable Algorithms for Abstract Argumentation";
    Report for TU Wien, Institut für Informationssysteme; Report No. DBAI-TR-2011-74, 2011; 55 pages.

    More information

  3. C. Feier, T. Eiter, M. Kifer, A. Mosca, M. Rezk, R. Rosati, M. Ortiz de la Fuente, M. Simkus, T. Tran, G. Xiao:
    "D3.4 Converged and Optimized Combinations of Rules and Ontologies";
    Report for ONTORULE project; Report No. D3.4, 2011; 163 pages.

    More information

  4. S. Gaggl, S. Woltran:
    "Strong Equivalence for Argumentation Semantics based on Conflict-free Sets";
    Report for TU Wien, Institut für Informationssysteme; Report No. DBAI-TR-2011-68, 2011; 19 pages.

    More information

  5. M. Morak, N. Musliu, R. Pichler, St. Rümmele, S. Woltran:
    "Evaluating Tree-Decomposition Based Algorithms for Answer Set Programming";
    Report No. DBAI-TR-2011-73, 2011; 19 pages.

    More information

  6. M. Morak, S. Woltran:
    "Preprocessing of Complex Non-Ground Rules in Answer Set Programming";
    Report No. DBAI-TR-2011-72, 2011; 14 pages.

    More information