TU Home
Diese Publikationsliste wurde automatisch aus den Publikationsdaten der Fakultät für Informatik erstellt. Wenn Sie komplexere Suchabfragen vornehmen wollen, rufen Sie bitte die Seite "Publikationen der Fakultät" direkt auf, oder verwenden Sie die globale Suchfunktion der Publikationsdatenbank der Technischen Universität Wien!


Publikationsdatenbank Home  

Publikationsliste für Angehörige von
E192 - Institut für Logic and Computation
E192-02 Database and AI
als Autorinnen / Autoren bzw. wesentlich beteiligte Personen
2007 - 2007

43 Datensätze


Zeitschriftenartikel


  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; S. 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 (eingeladen), 51 (2007), 2-4; S. 123 - 165.

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

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

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

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


Beiträge in Tagungsbänden


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

  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 (Hrg.); herausgegeben von: IADIS Press; IADIS Press, 2007, ISBN: 978-972-8924-30-0, S. 363 - 370.


Vorträge und Posterpräsentationen (mit Tagungsband-Eintrag)


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

  2. J. Dorn, C. Grün, H. Werthner, M. Zapletal:
    "A Survey of B2B Methodologies and Technologies: From Business Models towards Deployment Artifacts";
    Vortrag: 40th Hawaii International Conference On System Science (HICSS 40th), Waikoloa, Big Island, HI, USA; 03.01.2007 - 06.01.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 S.

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

  4. J. Dorn, M. Pichlmair:
    "A Competence Management system for Universities";
    Vortrag: 15th European Conference on Information Systems (ECIS 2007), St. Gallen; 07.06.2007 - 09.06.2007; in: "Proceedings of European Conference on Information Systems", H. Österle, J. Schelp, R. Winter (Hrg.); Proceedings of European Conference on Information Systems, (2007), S. 759 - 770.

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

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

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

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

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

  10. G. Gottlob, R. Pichler, F. Wei:
    "Efficient Datalog Abduction through Bounded Treewidth";
    Vortrag: Proceedings of the Twenty-Second AAAI Conference on Artificial Intelligence, Vancouver, Canada; 22.07.2007 - 26.07.2007; in: "Proceedings of the Twenty-Second AAAI Conference on Artificial Intelligence", AAAI Press, (2007), ISBN: 978-1-57735-323-2; Paper-Nr. 17/AAAI07-260, 6 S.

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

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

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

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

  15. N. Musliu:
    "Iterated Local Search for Cyclic Staff Scheduling";
    Vortrag: EURO XXII: 22nd European Conference on Operational Research, Prague; 08.07.2007 - 11.07.2007; in: "EURO XXII: 22nd European Conference on Operational Research (Book of Abstracts)", (2007), S. 143.

  16. N. Musliu:
    "Tabu Search for Generalized Hypertree Decompositions";
    Vortrag: MIC 2007: The Seventh Metaheuristics International Conference, Montreal, Canada; 25.06.2007 - 29.06.2007; in: "MIC 2007: The Seventh Metaheuristics International Conference", (2007), 3 S.

  17. J. Oetsch, M. Seidl, H. Tompits, S. Woltran:
    "An Extension of the System ccT for Testing Relativised Uniform Equivalence under Answer-Set Projection";
    als Vortrag angenommen für: Proceedings of the 16th International Conference on Computing (CIC 2007), Mexico City; 04.11.2007 - 09.11.2007; in: "Proceedings of the 16th International Conference on Computing (CIC 2007)", (2007).

  18. J. Oetsch, M. Seidl, H. Tompits, S. Woltran:
    "Testing Relativised Uniform Equivalence under Answer-Set Projection in the System ccT";
    Vortrag: Technical Report of 21st Workshop on (Constraint) Logic Programming (WLP 2007), Würzburg, Germany; 04.10.2007 - 06.10.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 S.

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

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

  21. 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; 26.03.2007 - 28.03.2007; in: "Fachtagung Zuverlässigkeit und Entwurf", VDE Verlag, (2007), ISBN: 978-3-8007-3023-0; S. 173 - 174.

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


Vorträge und Posterpräsentationen (ohne Tagungsband-Eintrag)


  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; 22.07.2007 - 26.07.2007.


Habilitationsschriften


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


Dissertationen (eigene und begutachtete)


  1. W. Gatterbauer:
    "Contributions to Large-Scale Information Acquisition from the Web";
    Betreuer/in(nen), Begutachter/in(nen): G. Gottlob, R. Pichler; Institut für Informationssysteme, Arbeitsbereich Datenbanken & Artificial Intelligence, 2007; Rigorosum: 25.09.2007.

  2. K. Reichinger:
    "Telecommunication and the Next Generation Web: Introducing ENUM to the Semantic Web";
    Betreuer/in(nen), Begutachter/in(nen): G. Gottlob, J. Dorn; Institut für Informationssysteme, Arbeitsbereich Datenbanken & Artificial Intelligence, 2007; Rigorosum: 16.01.2007.

  3. C. Schallhart:
    "Architecture and Security in Networked Virtual Environments";
    Betreuer/in(nen), Begutachter/in(nen): G. Gottlob, H. Veith; Institut für Informationssysteme, Arbeitsbereich Datenbanken & Artificial Intelligence, 2007; Rigorosum: 12.06.2007.

  4. N. Stolba:
    "Towards a Sustainable DWH Approach for Evidence-Based Healthcare";
    Betreuer/in(nen), Begutachter/in(nen): A. Tjoa, T. Mück; Institut für Softwaretechnik und Interaktive Systeme, 2007; Rigorosum: 20.11.2007.

  5. V. Zigo:
    "A Light-weight Processing Model for Interactive Web Information Acquisition";
    Betreuer/in(nen), Begutachter/in(nen): G. Gottlob, G. Kappel; Institut für Informationssysteme, Arbeitsbereich Datenbanken & Artificial Intelligence, 2007; Rigorosum: 16.01.2007.


Diplom- und Master-Arbeiten (eigene und betreute)


  1. K. Anestopoulos:
    "E-Assessment-computergestützte Prüfungssysteme im Bildungssektor";
    Betreuer/in(nen): 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";
    Betreuer/in(nen): J. Dorn; Institut für Informationssysteme, Arbeitsbereich Datenbanken & Artificial Intelligence, 2007; Abschlussprüfung: 13.11.2007.

  3. A. Dermaku:
    "Generalized Hypertree Decomposition based on Hypergraph Partitioning";
    Betreuer/in(nen): G. Gottlob, N. Musliu; Institut für Informationssysteme, Arbeitsbereich Datenbanken & Artificial Intelligence, 2007; Abschlussprüfung: 09.01.2007.

  4. M. Jakl:
    "Efficient Algorithms through Bounded Treewidth";
    Betreuer/in(nen): R. Pichler; Institut für Informationssysteme, Arbeitsbereich Datenbanken & Artificial Intelligence, 2007.

  5. M. Mörz:
    "A new Tabu Search Framework and it's Application";
    Betreuer/in(nen): G. Gottlob, N. Musliu; Institut für Informationssysteme 184/2, 2007; Abschlussprüfung: 13.03.2007.

  6. C. Semturs:
    "Using Licto for Abstract Automation of Web Applications";
    Betreuer/in(nen): G. Gottlob; Institut für Informationssysteme, Arbeitsbereich Datenbanken & Artificial Intelligence, 2007; Abschlussprüfung: 09.01.2007.