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

57 records


Publications in Scientific Journals


  1. P. Besnard, A. Hunter, S. Woltran:
    "Encoding deductive argumentation in quantified Boolean formulae";
    Artificial Intelligence, 173 (2009), 15; 1406 - 1423.

    More information

  2. U. Egly, M. Seidl, S. Woltran:
    "A Solver for QBFs in Negation Normal Form";
    Constraints, 14 (2009), 1; 38 - 79.

    More information

  3. I. Feinerer, G. Salzer:
    "A Comparison of Tools for Teaching Formal Software Verification";
    Formal Aspects of Computing, 21 (2009), 3; 293 - 301.

    More information

  4. H. Fleischner, E. Mujuni, D. Paulusma, S. Szeider:
    "Covering graphs with few complete bipartite subgraphs";
    Theoretical Computer Science, 410 (2009), 21-23; 2045 - 2053.

    More information

  5. M. Hermann, R. Pichler:
    "Complexity of Counting the Optimal Solution";
    Theoretical Computer Science, 410 (2009), 38-40; 3814 - 3825.

  6. T. Janhunen, E. Oikarinen, H. Tompits, S. Woltran:
    "Modularity Aspects of Disjunctive Stable Models";
    Journal of Artificial Intelligence Research, 35 (2009), 813 - 857.

    More information

  7. D. Pearce, H. Tompits, S. Woltran:
    "Characterising Equilibrium Logic and Nested Logic Programs: Reductions and Complexity";
    Theory and Practice of Logic Programming, 9 (2009), 5; 565 - 616.

    More information

  8. M. Truszczynski, S. Woltran:
    "Hyperequivalence of logic programs with respect to supported models";
    Annals of Mathematics and Artificial Intelligence, 53 (2009), 1-4; 331 - 365.

    More information

  9. M. Truszczynski, S. Woltran:
    "Relativized hyperequivalence of logic programs for modular programming";
    Theory and Practice of Logic Programming, Vol. 9 (2009), 6; 781 - 819.

    More information


Contributions to Proceedings


  1. M. Gebser, J. Puehrer, T. Schaub, H. Tompits, S. Woltran:
    "spock: A Debugging Support Tool for Logic Programs under the Answer-Set Semantics";
    in: "Applications of Declarative Programming and Knowledge Management", D. Seipel, M. Hanus, A. Wolf (ed.); Springer, 2009, ISBN: 978-3-642-00674-6, 247 - 252.

    More information

  2. J. Oetsch, M. Seidl, H. Tompits, S. Woltran:
    "Testing Relativised Uniform Equivalence under Answer-Set Projection in the System ccT";
    in: "Applications of Declarative Programming and Knowledge Management", D. Seipel, M. Hanus, A. Wolf (ed.); Springer, 2009, ISBN: 978-3-642-00674-6, 241 - 246.


Talks and Poster Presentations (with Proceedings-Entry)


  1. M. Ali, R. Pichler, H. Truong, S. Dustdar:
    "DeXIN: An Extensible Framework for Distributed XQuery over Heterogeneous Data Sources";
    Talk: 11th International Conference on Enterprise Information Systems, ICEIS 2009, Milan, Italy; 05-06-2009 - 05-10-2009; in: "Enterprise Information Systems Proceedings of the 11th International Conference, ICEIS 2009", J. Filipe, J. Cordeiro (ed.); Springer, LNBIP 24 (2009), ISBN: 978-3-642-01346-1; 172 - 183.

    More information

  2. M. Ali, R. Pichler, H. Truong, S. Dustdar:
    "On Using Distributed Extended XQuery for Web Data Sources as Services";
    Talk: 9th International Conference on Web Engineering, ICWE 2009, San Sebastián, Spain; 06-24-2009 - 06-26-2009; in: "Web Engineering Proceedings of the 9th International Conference, ICWE 2009", M. Gaedke, M. Grossniklaus, O. Díaz (ed.); Springer, LNCS 5648 (2009), ISBN: 978-3-642-02817-5; 497 - 500.

    More information

  3. A. Beer, J. Gärtner, N. Musliu, W. Schafhauser, W. Slany:
    "Testing while modelling staff scheduling problems";
    Talk: 23rd European Conference on Operational Research, Bonn, Deutschland; 07-05-2009 - 07-08-2009; in: "23rd EUROPEAN CONFERENCE ON OPERATIONAL RESEARCH, BOOK OF ABSTRACTS", (2009), 198.

    More information

  4. A. Cali, G. Gottlob, T. Lukasiewicz:
    "A General Datalog-Based Framework for Tractable Query Answering over Ontologies";
    Talk: Italian Symposium on Databases (SEBD), Camogli, Italy; 06-21-2009 - 06-24-2009; in: "Proceedings of the 17th Italian Symposium on Advanced Database Systems (SEBD 2009)", V. De Antonellis, S. Castano, B. Catania, G. Guerrini (ed.); Seneca Edizioni, Torino, Italia (2009), ISBN: 978-88-6122-154-3; 29 - 36.

  5. A. Cali, G. Gottlob, T. Lukasiewicz:
    "A General Datalog-Based Framework for Tractable Query Answering over Ontologies";
    Talk: ACM Symposium on Principles of Database Systems (PODS), Providence, Rhode Island, USA; 06-29-2009 - 07-02-2009; in: "Proceedings of the 28th ACM Symposium on Principles of Database Systems (PODS 2009)", J. Paredaens, S. Jianwen (ed.); ACM Press, (2009), ISBN: 978-1-60558-553-6; 77 - 86.

  6. A. Cali, G. Gottlob, T. Lukasiewicz:
    "Datalog±: A Unified Approach to Ontologies and Integrity Constraints";
    Keynote Lecture: International Conference on Database Theory (ICDT), Saint-Petersburg, Russia (invited); 03-23-2009 - 03-26-2009; in: "Proceedings of the 12th International Conference on Database Theory (ICDT 2009)", R. Fagin (ed.); ACM International Conference Proceeding Series, 361 (2009), 14 - 30.

  7. A. Cali, G. Gottlob, T. Lukasiewicz:
    "Datalog±: A Unified Approach to Ontologies and Integrity Constraints";
    Keynote Lecture: Italian Symposium on Databases (SEBD), Camogli, Italy (invited); 06-21-2009 - 06-24-2009; in: "Proceedings of the 17th Italian Symposium on Advanced Database Systems (SEBD 2009)", V. De Antonellis, S. Castano, B. Catania, G. Guerrini (ed.); Seneca Edizioni, Torino, Italia (2009), ISBN: 978-88-6122-154-3; 5 - 6.

  8. A. Cali, G. Gottlob, T. Lukasiewicz:
    "Tractable Query Answering over Ontologies with Datalog+-";
    Talk: International Workshop on Description Logics (DL), Oxford, UK; 07-27-2009 - 07-30-2009; in: "Proceedings of the 22nd International Workshop on Description Logics (DL 2009)", B. Cuenca Grau, I. Horrocks, B. Motik, U. Sattler (ed.); CEUR workshop proceedings, 477 (2009), ISSN: 1613-0073; 46:1 - 46:12.

  9. J. Delgrande, T. Schaub, H. Tompits, S. Woltran:
    "Merging Logic Programs under Answer Set Semantics";
    Talk: International Conference on Logic Programming (ICLP), Pasadena, Californien; 07-14-2009 - 07-17-2009; in: "Logic Programming", P. Hill, D. Warren (ed.); Springer, LNCS 5649 (2009), ISBN: 3-642-02845-4; 160 - 174.

    More information

  10. W. Dvorak, G. Gottlob, R. Pichler, S. Woltran:
    "Alternation as a programming paradigm";
    Talk: PPDP'09 - 11th International ACM SIGPLAN Symposium on Princeples and Practice of Declarative Programming, Coimbra, Portugal; 09-07-2009 - 09-09-2009; in: "Proc. of the 11th International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming", A. Porto, F. J. Lopez-Fraguas (ed.); ACM Press, (2009), ISBN: 978-1-60558-568-0; 61 - 72.

    More information

  11. C. dŽAmato, N. Fanizzi, B. Fazzinga, G. Gottlob, T. Lukasiewicz:
    "Combining Semantic Web Search with the Power of Inductive Reasoning";
    Talk: Workshop on Uncertainty Reasoning for the Semantic Web (URSW), Washington DC, USA; 10-26-2009; in: "Proceedings of the Fifth International Workshop on Uncertainty Reasoning for the Semantic Web (URSW 2009)", F. Bobillo, P. da Costa, C. dŽAmato, N. Fanizzi, K.B. Laskey, K.J. Laskey, T. Lukasiewicz, T. Martin, N. Nickles, M. Pool, S. Smrz (ed.); CEUR-Proceedings, 527 (2009), ISSN: 1613-0073; 15 - 26.

  12. W. Faber, S. Woltran:
    "A Framework for Programming with Module Consequences";
    Talk: 2nd International Workshop on Software Engineering for Answer Set Programming (SEA'09), co-located with the 10th Int. Conf. on Logic Programming and Nonmonotonic Reasoning (LPNMR'09), Potsdam; 09-14-2009 - 09-18-2009; in: "Proc. of the 2nd International Workshop on Software Engineering for Answer Set Programming (SEA'09)", M. De Vos, T. Schaub (ed.); (2009), ISSN: 1613-0073; 34 - 48.

    More information

  13. W. Faber, S. Woltran:
    "Manifold Answer-Set Programs for Meta-reasoning";
    Talk: 10th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2009), Potsdam; 09-14-2009 - 09-18-2009; in: "Logic Programming and Nonmonotonic Reasoning", E. Erdem, F. Lin, T. Schaub (ed.); Springer, 5753 (2009), ISBN: 978-3-642-04237-9; 115 - 128.

    More information

  14. W. Faber, S. Woltran:
    "Manifold Answer-Set Programs for Meta-Reasoning";
    Talk: Workshop on Nonmonotonic Reasoning, Action and Change (NRAC'09), co-located with 21st Int. Joint Conf. on Artificial Intelligence (IJCAI-09), Pasadena, California, USA; 07-11-2009 - 07-17-2009; in: "Proc. of the IJCAI-09 Workshop on Nonmonotonic Reasoning, Action and Change (NRAC'09)", A. Herzig, B. Johnston (ed.); ePress of the University of Technology, Sydney, Sydney, Australia (2009), 33 - 40.

    More information

  15. G. Gottlob, R. Pichler, V. Savenkov:
    "Normalization and Optimization of Schema Mappings";
    Talk: Very Large Databases (VLDB), Lyon, Frankreich; 08-24-2009 - 08-28-2009; in: "Proceedings of the 35thInt. Conf. on Very Large Data Bases", H. V. Jagadish (ed.); VLDB Endowment, Vol. 2, Nr. 1 (2009), Paper ID 923, 12 pages.

    More information

  16. T. Hassan:
    "GraphWrap-A System for Interactive Wrapping of PDF Documents Using Graph Matching Techniques";
    Poster: The 9th ACM Symposium on Document Engineering (DocEng'09), München, Deutschland; 09-15-2009 - 09-18-2009; in: "Proc. of the 2009 ACM Symposium on Document Engineering", U. M. Borghoff, B. Chidlovskii, S. Rönnau (ed.); (2009), ISBN: 978-1-60558-575-8; 247 - 248.

    More information

  17. T. Hassan:
    "Object-Level Document Analysis of PDF Files";
    Talk: The 9th ACM Symposium on Document Engineering (DocEng'09), München, Deutschland; 09-15-2009 - 09-18-2009; in: "Proc. of the 2009 ACM Symposium on Document Engineering", U. M. Borghoff, B. Chidlovskii, S. Rönnau (ed.); (2009), ISBN: 978-1-60558-575-8; 47 - 55.

    More information

  18. T. Hassan:
    "User-Guided Wrapping of PDF Documents Using Graph Matching Techniques";
    Talk: 10th Int. Conference on Document Analysis and Recognition, Barcelona, Spanien; 07-26-2009 - 07-29-2009; in: "Proc. of the 10th Int. Conf. on Document Analysis and Recognition", A. Apostolos, M. Cheriet, U. Pal (ed.); (2009), ISBN: 978-0-7695-3725-2; 631 - 635.

    More information

  19. W. Holzinger, B. Krüpl, R. Baumgartner:
    "Automated Ontology-Driven Metasearch Generation with Metamorph";
    Talk: Web Information Systems Engineering - WISE 2009 10th International Conference, Poznan, Poland; 10-05-2009 - 10-07-2009; in: "Web Information Systems Engineering - WISE", G. Vossen, D. Long, J. X. Yu (ed.); Springer, LNCS 5802 (2009), ISBN: 978-3-642-04408-3; 473 - 480.

    More information

  20. M. Jakl, R. Pichler, S. Woltran:
    "Answer-Set Programming with Bounded Tree Width";
    Talk: 21st International Joint Conference on Artificial Intelligence (IJCAI 2009), Pasadena, California, U.S.A.; 07-11-2009 - 07-17-2009; in: "Proc. of the Twenty-First Int. Joint Conference on Artificial Intelligence", C. Boutilier (ed.); AAAI Press, Menlo Park, California, U.S.A. (2009), ISBN: 978-1-57735-428-4; 816 - 822.

    More information

  21. A. Karatzoglou, I. Feinerer, K. Hornik:
    "Nonparametric distribution analysis for text mining";
    Talk: 32nd Annual Conference of the Gesellschaft für Klassifikation e.V., Hamburg; 07-16-2008 - 07-18-2008; in: "Advances in Data Analysis, Data Handling and Business Intelligence", Springer, (2009), ISBN: 978-3-642-01045-3; 295 - 305.

    More information

  22. B. Krüpl, W. Holzinger, Y. Darmaputra, R. Baumgartner:
    "A Flight Meta-Search Engine with Metamorph";
    Poster: 18th Int. World Wide Web Conference, Madrid, Spanien; 04-20-2009 - 04-24-2009; in: "WWW 2009 Proceedings", J. Quemada, G. Léon (ed.); Association for Computing Machinery, Inc. (ACM), (2009), ISBN: 978-1-60558-487-4; 2 pages.

    More information

  23. N. Musliu, A. Beer, J. Gärtner, W. Schafhauser, W. Slany:
    "Local Search for Shift and Break Scheduling";
    Talk: 23rd European Conference on Operational Research, Bonn, Deutschland; 07-05-2009 - 07-08-2009; in: "23rd EUROPEAN CONFERENCE ON OPERATIONAL RESEARCH, BOOK OF ABSTRACTS", (2009), 102.

    More information

  24. N. Musliu, W. Schafhauser, M. Widl:
    "A Memetic Algorithm for a Break Scheduling Problem";
    Talk: VIII Metaheuristic International Conference, Hamburg, Deutschland; 07-13-2009 - 07-16-2009; in: "Cd Mic 2009", (2009), 10 pages.

    More information

  25. J. Oetsch, M. Seidl, H. Tompits, S. Woltran:
    "ccT on Stage: Generalised Uniform Equivalence Testing for Verifying Student Assignment Solutions";
    Talk: 10th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2009), Potsdam; 09-14-2009 - 09-18-2009; in: "Logic Programming and Nonmonotonic Reasoning", E. Erdem, F. Lin, T. Schaub (ed.); Springer, 5753 (2009), ISBN: 978-3-642-04237-9; 382 - 395.

    More information

  26. R. Pichler, St. Rümmele, S. Woltran:
    "Belief Revision with Bounded Treewidth";
    Talk: 10th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2009), Potsdam; 09-14-2009 - 09-18-2009; in: "Logic Programming and Nonmonotonic Reasoning", E. Erdem, F. Lin, T. Schaub (ed.); Springer, 5753 (2009), ISBN: 978-3-642-04237-9; 250 - 263.

    More information

  27. R. Pichler, V. Savenkov:
    "DEMo: Data Exchange Modeling Tool";
    Poster: Very Large Databases (VLDB), Lyon, Frankreich; 08-24-2009 - 08-28-2009; in: "Proceedings of the 35thInt. Conf. on Very Large Data Bases", H. V. Jagadish (ed.); (2009), Paper ID 1043, 4 pages.

    More information

  28. W. Schafhauser, A. Beer, J. Gärtner, N. Musliu, W. Slany:
    "Temple - a language for staff scheduling problems";
    Talk: 23rd European Conference on Operational Research, Bonn, Deutschland; 07-05-2009 - 07-08-2009; in: "23rd EUROPEAN CONFERENCE ON OPERATIONAL RESEARCH, BOOK OF ABSTRACTS", (2009), 198.

    More information

  29. S. Woltran:
    "Belief Revision with Bounded Treewidth";
    Talk: Dagstuhl Seminar 09351: Information processing, rational belief change and social interaction, Wadern, Schloss Dagstuhl, Deutschland (invited); 08-23-2009 - 08-27-2009; in: "Dagstuhl Seminar Proceedings", G. Bonanno, J. Delgrande, H. Rott (ed.); (2009), ISSN: 1862-4405; 51 pages.

    More information


Talks and Poster Presentations (without Proceedings-Entry)


  1. W. Dvorak:
    "Argumentation with Bounded Tree-Width";
    Poster: Advanced Course in Artificial Intelligence '09, Belfast, GB; 08-23-2009 - 08-29-2009.

    More information

  2. S. Gaggl:
    "ASPARTIX: A System for Computing Different Argumentation Semantics in Answer-Set Programming";
    Poster: Advanced Course in Artificial Intelligence '09, Belfast, GB; 08-23-2009 - 08-29-2009.

    More information

  3. S. Woltran:
    "Characterizing Strong Equivalence for Argumentation Frameworks";
    Keynote Lecture: Argumentation Christmas Meeting, Leipzig (invited); 12-03-2009 - 12-04-2009.


Diploma and Master Theses (authored and supervised)


  1. W. Dvorak:
    "Alternation as a programming paradigm";
    Supervisor: R. Pichler, S. Woltran; Institut für Informationssysteme, Arbeitsbereich Datenbanken & Artificial Intelligence, 2009; final examination: 02-2009.

    More information

  2. J. Eder:
    "On extending postgreSQL with the skyline operator";
    Supervisor: R. Pichler, F. Wei; Institut für Informationssysteme, Arbeitsbereich Datenbanken & Artificial Intelligence, 2009; final examination: 01-2009.

    More information

  3. S. Gaggl:
    "Solving Argumentation Frameworks using Answer Set Programming";
    Supervisor: U. Egly, S. Woltran; Institut für Informationssysteme, Arbeitsbereich Datenbanken & Artificial Intelligence, 2009; final examination: 02-2009.

    More information

  4. Th. Hammerl:
    "Ant Colony Optimization for Tree and Hypertree Decompositions";
    Supervisor: N. Musliu; Institut für Informationssysteme, Arbeitsbereich Datenbanken & Artificial Intelligence, 2009; final examination: 04-28-2009.

    More information

  5. A. Pfandler:
    "Decentralized Diagnosis: Complexity Analysis and Datalog Encodings";
    Supervisor: R. Pichler, S. Woltran; Institut für Informationssysteme, Arbeitsbereich Datenbanken & Artificial Intelligence, 2009; final examination: 11-2009.

    More information

  6. N. Prangnawarat:
    "Realizing Web Accessibility based on Understanding the Visual Structure of Grocery Web Portals";
    Supervisor: R. Pichler, W. Holzinger; Institut für Informationssysteme, Arbeitsbereich Datenbanken & Artificial Intelligence, 2009; final examination: 07-10-2009.

  7. S. Rettinger:
    "Foundations of Data Integration";
    Supervisor: R. Pichler; Institut für Informationssysteme, Arbeitsbereich Datenbanken & Artificial Intelligence, 2009; final examination: 11-2009.

    More information

  8. A. Roubickova:
    "Complexity of Argumentation";
    Supervisor: R. Pichler, S. Woltran; Institut fuer Informationssysteme, 2009; final examination: 11-01-2009.

  9. O. Selinger:
    "OpenESB for Web Process Integration";
    Supervisor: R. Pichler; Institut für Informationssysteme, Arbeitsbereich Datenbanken & Artificial Intelligence, 2009; final examination: 08-30-2009.

    More information

  10. S. Skritek:
    "Implementing a peer data management system";
    Supervisor: R. Pichler; Institut für Informationssysteme, Arbeitsbereich Datenbanken & Artificial Intelligence, 2009; final examination: 08-2009.

    More information

  11. F. Wagner:
    "Analyse von Redundanzen beim Datenaustausch";
    Supervisor: R. Pichler, V. Savenkov; Institut für Informationssysteme, Arbeitsbereich Datenbanken & Artificial Intelligence, 2009; final examination: 07-2009.

    More information


Scientific Reports


  1. A. Beer, J. Gärtner, N. Musliu, W. Schafhauser, W. Slany:
    "TEMPLE - A Modeling Language for Resource Planning and Scheduling Problems";
    Report No. DBAI-TR-2009-65, 2009; 16 pages.

    More information

  2. W. Dvorak, G. Gottlob, R. Pichler, S. Woltran:
    "Alternation as a Programming Paradigm";
    Report No. DBAI-TR-2009-64, 2009; 28 pages.

    More information

  3. W. Dvorak, S. Woltran:
    "Technical Note: Complexity of Stage Semantics in Argumentation Frameworks";
    Report No. DBAI-TR-2009-66, 2009; 13 pages.

    More information