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

44 records


Publications in Scientific Journals


  1. L. Di Gaspero, J. Gärtner, G. Kortsarz, N. Musliu, A. Schaerf, W. Slany:
    "The Minimum Shift Design Problem";
    Annals of Operations Research, 155 (2007), 1; 79 - 105.

  2. T. Eiter, W. Faber, M. Fink, S. Woltran:
    "Complexity results for answer set programming with bounded predicate arities and implications";
    Annals of Mathematics and Artificial Intelligence (invited), 51 (2007), 2-4; 123 - 165.

  3. C. Fermüller, R. Pichler:
    "Model Representation over Finite and Infinite Signatures";
    Journal of Logic and Computation, 17 (2007), 3; 453 - 477.

  4. A. Hoffmann-Ostenhof:
    "A counterexample to the bipartizing matching conjecture";
    Discrete Mathematics, 307 (2007), 22; 2723 - 2733.

    More information

  5. N. Musliu, W. Schafhauser:
    "Genetic algorithms for generalized hypertree decompositions";
    European Journal of Industrial Engineering, 1 (2007), 3; 317 - 340.

    More information

  6. M. Pichlmair, W. Seiringer:
    "Kompetenzmanagement für Studierende - Ein Erfahrungsbericht";
    Wirtschaftsinformatik, 1 (2007), 1; 63 - 66.


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: "Proc. of 17th International Conference on Applications of Declarative Programming and Knowledge Management (INAP 2007) and 21st Workshop on (Constraint) Logic Programming (WLP 2007)", Bayerische Julius-Maximilians-Universität Würzburg,, 2007, 4 pages.

  2. M. Goebel, M. Ceresna:
    "Interactive Wrapper Learning for Web Documents Using Tree Alignment";
    in: "Proceedings of IADIS International Conference Applied Computing 2007", N. Guimaraies, P. Isaias (ed.); issued by: IADIS Press; IADIS Press, 2007, ISBN: 978-972-8924-30-0, 363 - 370.

    More information


Talks and Poster Presentations (with Proceedings-Entry)


  1. R. Baumgartner, O. Frölich, G. Gottlob:
    "The Lixto Systems Applications in Business Intelligence and Semantic Web";
    Keynote Lecture: 4th European Semantic Web Conference (ESWC 2007), Innsbruck, Österreich; 06-03-2007 - 06-07-2007; in: "Lecture Notes in Computer Science", Springer-Verlag, 4519 (2007), ISBN: 978-3-540-72666-1; 16 - 26.

    More information

  2. F. Bry, N. Eisinger, T. Eiter, T. Furche, G. Gottlob, C. Ley, B. Linse, R. Pichler, F. Wei:
    "Foundations of Rule-Based Query";
    Talk: Third International Summer School 2007, Dresden, Germany; 09-03-2007 - 09-07-2007; in: "Reasoning Web", Lecture Notes in Computer Science, 4636 (2007), ISBN: 978-3-540-74613-3; 1 - 153.

  3. J. Dorn, C. Grün, H. Werthner, M. Zapletal:
    "A Survey of B2B Methodologies and Technologies: From Business Models towards Deployment Artifacts";
    Talk: 40th Hawaii International Conference On System Science (HICSS 40th), Waikoloa, Big Island, HI, USA; 01-03-2007 - 01-06-2007; in: "40th Hawaii International International Conference on Systems Science (HICSS-40 2007), CD-ROM / Abstracts Proceedings", IEEE Computer Society, Los Alamitos, CA, USA (2007), ISSN: 1530-1605; 10 pages.

    More information

  4. J. Dorn, T. Naz, M. Pichlmair:
    "Ontology Development for Human Resource Management";
    Talk: 4th International Conference on Knowledge Management, Wien; 08-27-2007 - 08-28-2007; in: "Proceedings of 4rd International Conference on Knowledge Management", Ch. Stary, F. Barachini, S. Hawamdeh (ed.); Series on Information & Knowledge Management, 6 (2007), ISBN: 978-981-277-058-5; 109 - 120.

  5. J. Dorn, M. Pichlmair:
    "A Competence Management system for Universities";
    Talk: 15th European Conference on Information Systems (ECIS 2007), St. Gallen; 06-07-2007 - 06-09-2007; in: "Proceedings of European Conference on Information Systems", H. Österle, J. Schelp, R. Winter (ed.); Proceedings of European Conference on Information Systems, (2007), 759 - 770.

  6. J. Dorn, M. Zapletal, H. Werthner:
    "A Survey of B2B Methodologies and Technologies: From Business Models towards Deployment Artifacts";
    Talk: HICSS 07, Hawaii; 01-03-2007 - 01-06-2007; in: "Proc. of HICCS 2007", IEEE Computer Society Press, (2007).

  7. W. Faber, H. Tompits, S. Woltran:
    "Characterizing Notions of Strong Equivalence for Logic Programs with Ordered Disjunctions";
    Talk: VLDB 2007, Wien; 09-23-2007 - 09-24-2007; in: "3rd Multidisciplinary Workshop on Advances in Preference Handling (M-PREF 2007)", (2007), 8 pages.

  8. M. Fink, R. Pichler, H. Tompits, S. Woltran:
    "Complexity of Rule Redundancy in Non-Ground Answer-Set Programming over Finite Domains";
    Talk: International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR), Tempe, Arizona, USA; 05-14-2007 - 05-17-2007; in: "Proceedings of the 9th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2007)", C. Baral, G. Brewka, J. Schlipf (ed.); Springer, LNAI 4483 (2007), ISBN: 978-3-540-72199-4; 123 - 135.

  9. W. Gatterbauer, P. Bohunsky, M. Herzog, B. Krüpl, B. Pollak:
    "Towards Domain-Independent Information Extraction from Web Tables";
    Talk: Sixteenth International World Wide Web Conference, Banff, Alberta, Canada; 05-08-2007 - 05-12-2007; in: "Proceedings of the Sixteenth International World Wide Web Conference (WWW2007)", ACM Press, (2007), ISBN: 978-1-59593-654-7; 71 - 80.

    More information

  10. M. Goebel, V. Zigo, M. Ceresna:
    "Digging the Wild Web: An Interactive Tool for Web Data Consolidation";
    Talk: The 8th International Conference on Web Information Systems Engineering, Nancy, Frankreich; 12-03-2007 - 12-06-2007; in: "Web Information Systems Engineering - WISE", B. Benatallah, F. Casati, D. Georgakopoulos, C. Bartolini, W. Sadiq, C. Godart (ed.); Lecture Notes of Computer Science/Springer, 4831 (2007), ISBN: 978-3-540-76992-7; 613 - 622.

  11. G. Gottlob, R. Pichler, F. Wei:
    "Efficient Datalog Abduction through Bounded Treewidth";
    Talk: Proceedings of the Twenty-Second AAAI Conference on Artificial Intelligence, Vancouver, Canada; 07-22-2007 - 07-26-2007; in: "Proceedings of the Twenty-Second AAAI Conference on Artificial Intelligence", AAAI Press, (2007), ISBN: 978-1-57735-323-2; Paper ID 17/AAAI07-260, 6 pages.

  12. G. Gottlob, R. Pichler, F. Wei:
    "Monadic Datalog over Finite Structures with Bounded Treewidth";
    Talk: PODS 2007, Beijing, China; 06-11-2007 - 06-13-2007; in: "Proceedings of the Twenty-Sixth ACM SIGMOD-SIGACT-SIGART -Symposium on Principles of Database Systems (PODS 2007)", P. Kolaitis (ed.); ACM, (2007), ISBN: 978-1-59593-685-1; 165 - 174.

  13. T. Hassan, R. Baumgartner:
    "Table Recognition and Understanding from PDF Files";
    Talk: ICDAR 2007- 9thInternational Conference on Document Analysis and Recognition, Curitiba, Brasilien; 09-23-2007 - 09-26-2007; in: "Proceeding of the ICDAR 2007", IEEE Computer Society Press, Volume 1, 2 (2007), ISBN: 0-7695-2822-8; 1143 - 1147.

  14. M. Hermann, R. Pichler:
    "Counting Complexity of Propositional Abduction";
    Talk: International Joint Conference on Artificial Intelligence (IJCAI), Hyderabad, Indien; 01-06-2007 - 01-12-2007; in: "Proceeding of the Twentieth International Joint Conference on Artificial Intelligence", AAAI Press, Volume 1, 2 (2007), ISBN: 978-1-57735-298-3; 417 - 422.

  15. N. Musliu:
    "Generation of Tree Decompositions by Iterated Local Search";
    Talk: EvoCOP 2007 - Seventh European Conference on Evolutionary Computation in Combinatorial Optimisation, Valencia, Spain; 04-11-2007 - 04-13-2007; in: "Proceedings of the Seventh European Conference on Evolutionary Computation in Combinatorial Optimisation, EvoCOP 2007, LNCS, Volume 4446", Berlin Heidelberg (2007), 130 - 141.

    More information

  16. N. Musliu:
    "Iterated Local Search for Cyclic Staff Scheduling";
    Talk: EURO XXII: 22nd European Conference on Operational Research, Prague; 07-08-2007 - 07-11-2007; in: "EURO XXII: 22nd European Conference on Operational Research (Book of Abstracts)", (2007), 143.

    More information

  17. N. Musliu:
    "Tabu Search for Generalized Hypertree Decompositions";
    Talk: MIC 2007: The Seventh Metaheuristics International Conference, Montreal, Canada; 06-25-2007 - 06-29-2007; in: "MIC 2007: The Seventh Metaheuristics International Conference", (2007), 3 pages.

    More information

  18. J. Oetsch, M. Seidl, H. Tompits, S. Woltran:
    "An Extension of the System ccT for Testing Relativised Uniform Equivalence under Answer-Set Projection";
    accepted as talk for: Proceedings of the 16th International Conference on Computing (CIC 2007), Mexico City; 11-04-2007 - 11-09-2007; in: "Proceedings of the 16th International Conference on Computing (CIC 2007)", (2007).

  19. J. Oetsch, M. Seidl, H. Tompits, S. Woltran:
    "Testing Relativised Uniform Equivalence under Answer-Set Projection in the System ccT";
    Talk: Technical Report of 21st Workshop on (Constraint) Logic Programming (WLP 2007), Würzburg, Germany; 10-04-2007 - 10-06-2007; in: "Proc. of 17th International Conference on Applications of Declarative Programming and Knowledge Management (INAP 2007) and 21st Workshop on (Constraint) Logic Programming (WLP 2007)", Seite 254-257 (2007), 4 pages.

  20. J. Oetsch, H. Tompits, S. Woltran:
    "Facts Do Not Cease to Exist Because They Are Ignored: Relativised Uniform Equivalence with Answer-Set Projection";
    Talk: AAAI ' 07, Vancouver, Canada; 07-22-2007 - 07-26-2007; in: "Proceedings of the Twenty-Second AAAI Conference on Artificial Intelligence", AAAI Press, (2007), ISBN: 978-1-57735-323-2; Paper ID 05/AAAI07-072, 7 pages.

    More information

  21. B. Pollak, W. Gatterbauer:
    "Creating Permanent Test Collections of Web Pages for Information Extraction Research";
    Talk: Proceedings of SOFSEM 2007, Harrachov, Czech Republic; 01-20-2007 - 01-26-2007; in: "Proceeding of SOFSEM 2007", Academy of Sciences (ed.); Theory and Practice of Computer Science, Vol. II (2007), ISBN: 80-903298-9-6; 103 - 115.

  22. U. Schmid, A. Steininger, H. Veith:
    "Towards a Systematic Design of Fault-Tolerant Asynchronous Circuits";
    Poster: GMM/GI/ITG-Fachtagung Zuverlässigkeit und Entwurf, München; 03-26-2007 - 03-28-2007; in: "Fachtagung Zuverlässigkeit und Entwurf", VDE Verlag, (2007), ISBN: 978-3-8007-3023-0; 173 - 174.

  23. O. Svenson, S. Vorobyov:
    "Linear Complementarity and (P)-Matrices for Stochastic Games";
    Talk: 6th International Andrei Ershov Memorial Conference, Akademgorodok, Novosibirsk, Russia; 06-27-2006 - 06-30-2006; in: "Perspectives of System Informatics", I. Virbitskaite, A. Voronkov (ed.); Lecture Notes of Computer Science, 4378 (2007), ISBN: 978-3-540-70880-3; 412 - 425.


Talks and Poster Presentations (without Proceedings-Entry)


  1. J. Oetsch, H. Tompits, S. Woltran:
    "Facts Do Not Cease to Exist Because They Are Ignored: Relativised Uniform Equivalence with Answer-Set Projection";
    Poster: AAAI ' 07, Vancouver, Canada; 07-22-2007 - 07-26-2007.


Habilitation Theses


  1. N. Musliu:
    "Metaheuristics for Scheduling and other Hard Problems";
    Technische Universität/Informatik, 2007.


Doctor's Theses (authored and supervised)


  1. W. Gatterbauer:
    "Contributions to Large-Scale Information Acquisition from the Web";
    Supervisor, Reviewer: G. Gottlob, R. Pichler; Institut für Informationssysteme, Arbeitsbereich Datenbanken & Artificial Intelligence, 2007; oral examination: 09-25-2007.

  2. K. Reichinger:
    "Telecommunication and the Next Generation Web: Introducing ENUM to the Semantic Web";
    Supervisor, Reviewer: G. Gottlob, J. Dorn; Institut für Informationssysteme, Arbeitsbereich Datenbanken & Artificial Intelligence, 2007; oral examination: 01-16-2007.

  3. C. Schallhart:
    "Architecture and Security in Networked Virtual Environments";
    Supervisor, Reviewer: G. Gottlob, H. Veith; Institut für Informationssysteme, Arbeitsbereich Datenbanken & Artificial Intelligence, 2007; oral examination: 06-12-2007.

  4. N. Stolba:
    "Towards a Sustainable DWH Approach for Evidence-Based Healthcare";
    Supervisor, Reviewer: A. Tjoa, T. Mück; Institut für Softwaretechnik und Interaktive Systeme, 2007; oral examination: 11-20-2007.

    More information

  5. V. Zigo:
    "A Light-weight Processing Model for Interactive Web Information Acquisition";
    Supervisor, Reviewer: G. Gottlob, G. Kappel; Institut für Informationssysteme, Arbeitsbereich Datenbanken & Artificial Intelligence, 2007; oral examination: 01-16-2007.


Diploma and Master Theses (authored and supervised)


  1. K. Anestopoulos:
    "E-Assessment-computergestützte Prüfungssysteme im Bildungssektor";
    Supervisor: R. Pichler; Institut für Informationssysteme, Arbeitsbereich Datenbanken & Artificial Intelligence, 2007.

  2. M. Bauer:
    "Erstellung und semantische Annotation von Dokumenten auf Basis automatisch extrahierter Webdaten";
    Supervisor: J. Dorn; Institut für Informationssysteme, Arbeitsbereich Datenbanken & Artificial Intelligence, 2007; final examination: 11-13-2007.

  3. A. Dermaku:
    "Generalized Hypertree Decomposition based on Hypergraph Partitioning";
    Supervisor: G. Gottlob, N. Musliu; Institut für Informationssysteme, Arbeitsbereich Datenbanken & Artificial Intelligence, 2007; final examination: 01-09-2007.

    More information

  4. M. Jakl:
    "Efficient Algorithms through Bounded Treewidth";
    Supervisor: R. Pichler; Institut für Informationssysteme, Arbeitsbereich Datenbanken & Artificial Intelligence, 2007.

    More information

  5. M. Mörz:
    "A new Tabu Search Framework and it's Application";
    Supervisor: G. Gottlob, N. Musliu; Institut für Informationssysteme 184/2, 2007; final examination: 03-13-2007.

  6. C. Semturs:
    "Using Licto for Abstract Automation of Web Applications";
    Supervisor: G. Gottlob; Institut für Informationssysteme, Arbeitsbereich Datenbanken & Artificial Intelligence, 2007; final examination: 01-09-2007.