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

64 records


Publications in Scientific Journals


  1. T. Eiter, K. Makino, G. Gottlob:
    "Computational Aspects of Monotone Dualization: A Brief Survey";
    Discrete Applied Mathematics, 156 (2008), 11; 2035 - 2049.

  2. I. Feinerer, K. Hornik, D. Meyer:
    "Text Mining Infrastructure in R";
    Journal of Statistical Software, 25 (2008), 5; 54 pages.

    More information

  3. S. Vorobyov:
    "Cyclic Games and Linear Programming";
    Discrete Applied Mathematics (invited), Special Volume Dedicated to the Work of Leonid Khachiyan (2008), 11; 2195 - 2231.

  4. S. Woltran:
    "A Common View on Strong, Uniform, and Other Notions of Equivalence in Answer-Set Programming";
    Theory and Practice of Logic Programming, 8 (2008), 2; 217 - 234.


Contributions to Books


  1. N. Musliu:
    "An Iterative Heuristic Algorithm for Tree Decomposition";
    in: "Recent Advances in Evolutionary Computation for Combinatorial Optimization. Studies in Computational Intelligence, Volume 153/2008", C. Cotta, J. van Hemert (ed.); Springer, 2008, ISBN: 978-3-540-70806-3, 133 - 150.


Contributions to Proceedings


  1. J. Dorn, M. Pichlmair, K. Schimper, H. Tellioglu:
    "Supporting Competence Management in Software Projects";
    in: "Proceedings of International Conference on Concurrent Enterprising", ICE Proceedings, 2008, 451 - 458.

    More information

  2. R. Pichler, A. Polleres, F. Wei, S. Woltran:
    "Entailment for Domain-restricted RDF";
    in: "Proceedings of the 5th Annual European Semantic Web Conference (ESWC'08)", Springer LNCS, 2008, ISBN: 978-3-540-68233-2, 200 - 214.


Talks and Poster Presentations (with Proceedings-Entry)


  1. A. Beer, J. Gärtner, N. Musliu, W. Schafhauser, W. Slany:
    "Scheduling Breaks in Shift Plans for Call Centers";
    Talk: The 7th International Conference on the Practice and Theory of Automated Timetabling, Montreal; 08-18-2008 - 08-22-2008; in: "Proceedings of PATAT 2008 - The 7th International Conference on the Practice and Theory of Automated Timetabling", (2008), 17 pages.

    More information

  2. J. Delgrande, T. Schaub, H. Tompits, S. Woltran:
    "Belief Revision of Logic Programs under Answer Set Semantics";
    Talk: Principles of Knowledge Representation and Reasoning (KR), Sydney, Australien; 09-16-2008 - 09-19-2008; in: "Proceedings of the 11th Conference on Principles of Knowledge Representation and Reasoning (KR'08)", G. Brewka, J. Lang (ed.); AAAI Press, (2008), ISBN: 978-1-57735-384-3; 411 - 421.

    More information

  3. A. Dermaku, T. Ganzow, G. Gottlob, B. J. McMahan, N. Musliu, M. Samer:
    "Heuristic Methods for Hypertree Decomposition";
    Keynote Lecture: MICAI 2008: 7th Mexican International Conference on Artificial Intelligence, Mexico (invited); 10-27-2008 - 10-31-2008; in: "Lecture Notes in Computer Scienc, MICAI 2008: Advances in Artificial Intelligence", Springer, 5317 (2008), 1 - 11.

  4. U. Egly, S. Gaggl, S. Woltran:
    "Answer-Set Programming Encodings for Argumentation Frameworks";
    Talk: International Conference on Logic Programming (ICLP), Udine; 12-09-2008 - 12-13-2008; in: "ICLP-Workshop Proceedings; Proceedings of the 1st International Workshop on Answer Set Programming and Other Computing Paradigms, ASPOCP 2008", W. Faber, J. Lee (ed.); (2008), 1 - 15.

    More information

  5. U. Egly, S. Gaggl, S. Woltran:
    "ASPARTIX: Implementing Argumentation Frameworks Using Answer-Set Programming";
    Talk: International Conference on Logic Programming (ICLP), Udine; 12-09-2008 - 12-13-2008; in: "Proceedings of the 24th Conference on Logic Programming (ICLP'08)", M. de la Banda, E. Pontelli (ed.); Springer, 5366 (2008), ISBN: 978-3-540-89981-5; 734 - 738.

    More information

  6. T. Eiter, G. Gottlob, M. Ortiz de la Fuente, M. Simkus:
    "Query Answering in the Description Logic Horn-SHIQ";
    Talk: European Conference on Logics in Artificial Intelligence (JELIA), Dresden, Germany; 09-28-2008 - 10-01-2008; in: "Logics in Artificial Intelligence (JELIA 08)", S. Hölldobler, C. Lutz, H. Wansing (ed.); Lecture Notes in Artificial Intelligence, 5293 (2008), ISBN: 978-3-540-87802-5; 166 - 179.

  7. W. Faber, H. Tompits, S. Woltran:
    "Notions of Strong Equivalence for Logic Programs with Ordered Disjunction";
    Talk: Principles of Knowledge Representation and Reasoning (KR), Sydney, Australien; 09-16-2008 - 09-19-2008; in: "Proceedings of the 11th Conference on Principles of Knowledge Representation and Reasoning (KR'08)", G. Brewka, J. Lang (ed.); AAAI Press, (2008), ISBN: 978-1-57735-384-3; 433 - 443.

    More information

  8. A. Falkner, I. Feinerer, G. Salzer, G. Schenner:
    "Solving Practical Configuration Problems using UML";
    Talk: ECAI 2008 Workshop on Configuration Systems, Patras, Greece; 07-21-2008 - 07-22-2008; in: "Proceedings of ECAI 2008 Workshop on Configuration Systems", (2008), ISBN: 978-960-6843-01-3; 6 pages.

    More information

  9. I. Feinerer, K. Hornik:
    "Text Mining of Supreme Administrative Court Jurisdictions";
    Talk: 31st Annual Conference of the Gesellschaft für Klassifikation e.V., Albert-Ludwigs-Universität Freiburg, Germany; 03-07-2007 - 03-09-2007; in: "Data Analysis, Machine Learning, and Applications (Proceedings of the 31st Annual Conference of the Gesellschaft für Klassifikation e.V.)", Springer, (2008), 569 - 576.

    More information

  10. I. Feinerer, A. Karatzoglou:
    "Fast text mining using kernels in R";
    Talk: COMPSTAT 2008 International Conference on Computational Statistics, Porto, Portugal; 08-24-2008 - 08-29-2008; in: "COMPSTAT 2008-Proceedings in Computational Statistics", (2008), ISBN: 978-3-7908-2083-6; 8 pages.

    More information

  11. M. Gebser, T. Schaub, H. Tompits, S. Woltran:
    "Alternative Characterizations for Program Equivalence under Answer-Set Semantics Based on Unfounded Sets";
    Talk: 5th International Symposium on Foundations of Information and Knowledge Systems (FoIKS'08), Pisa, Italien; 02-11-2008 - 02-15-2008; in: "Proceedings of the 5th International Symposium on Foundations of Information and Knowledge Systems (FoIKS'08)", S. Hartmann, G. Kern-Isberner (ed.); Springer LNCS, 4932 (2008), ISBN: 978-3-540-77683-3; 24 - 41.

    More information

  12. G. Gottlob, R. Pichler, F. Wei:
    "Abduction with Bounded Treewidth: From Theoretical Tractability to Practically Efficient Computation";
    Talk: The Twenty-Third AAAI Conference on Artificial Intelligence and the Twentieth Innovative Applications of Artificial Intelligence Conference, Chicago, USA; 07-13-2008 - 07-17-2008; in: "AAAI-08/IAAI-08 Proceedings", A. Cohn, D. M. Hamilton (ed.); AAAI Press, Volume 3 (2008), ISBN: 978-1-57735-368-3; 1541 - 1547.

  13. M Herman, R. Pichler:
    "Counting Complexity of Minimal Cardinality and Minimal Weight Abduction";
    Talk: 11th European Conference (JELIA 2008), Dresden, Deutschland; 09-28-2008 - 10-01-2008; in: "Logics in Artificial Intelligence", S. Hölldobler, C. Lutz, H. Wansing (ed.); LNAI 5293 (2008), ISBN: 3-540-87802-5; 206 - 218.

    More information

  14. M. Hermann, R. Pichler:
    "Complexity of Counting the Optimal Solution";
    Talk: The 14th Annual International Computing and Combinatorics Conference (COCOON 2008), Dalian, China; 06-27-2008 - 06-29-2008; in: "Computing and Combinatorics", X. Hu, J. Wang (ed.); Lecture Notes of Computer Science, Springer, 5092 (2008), ISBN: 978-3-540-69732-9; 149 - 159.

  15. M. Jakl, R. Pichler, St. Rümmele, S. Woltran:
    "Fast Counting with Bounded Treewidth";
    Talk: 15th Interantional Conference on Logic for Programmin, Artificial Intelligence, and Reasoning (LPAR), Doha, Qatar; 11-22-2008 - 11-27-2008; in: "Logic for Programming, Artificial Intelligence, and Reasoning", I. Cervesato, H. Veith, A. Voronkov (ed.); Springer, 5330 (2008), ISBN: 3-540-89438-1; 436 - 450.

  16. T. Neubauer, T. Mück:
    "PIPE: Ein System zur Pseudonymisierung von Gesundheitsdaten";
    Talk: eHealth 2008 conference, Portoroz, Slovenia; 05-06-2008 - 05-07-2008; in: "Proceedings of e-Health 2008", (2008).

  17. U. Neumerkel, M. Triska, J. Wielemaker:
    "Declarative language extensions for prolog courses";
    Talk: International Conference on Functional Programming, Workshop on Functional and Declarative Programming in Education, Victoria, BC, Canada; 09-21-2008; in: "Proceedings of the 2008 international workshop on Functional and declarative programming in education", ACM Press, New York, NY, USA (2008), ISBN: 978-1-60558-068-5; 73 - 77.

    More information

  18. M. Pichlmair, J. Dorn:
    "Evaluation of Competence Management at Universities";
    Talk: International Conference on Knowledge Management (ICKM 2008), Columbus, Ohio, USA; 10-23-2008 - 10-24-2008; in: "Series on Innovation and Knowledge Management", S. Hawamdeh, K. Stauss, F. Barachini (ed.); World Scientific, Vol. 7 (2008), ISBN: 978-981-283-756-1; 65 - 76.

  19. A. Prantl, J. Knoop, M. Schordan, M. Triska:
    "Constraint solving for high-level WCET analysis";
    Talk: The 18th Workshop on Logic-based methods in Programming Environments, Udine, Italy; 12-12-2008; in: "The 18th Workshop on Logic-based methods in Programming Environments", (2008), 77 - 89.

    More information

  20. J. Puehrer, H. Tompits, S. Woltran:
    "Elimination of Disjunction and Negation in Answer-Set Programs under Hyperequivalence";
    Talk: International Conference on Logic Programming (ICLP), Udine, Italien; 12-09-2008 - 12-13-2008; in: "Proceedings of the 24th Conference on Logic Programming (ICLP'08)", M. de la Banda, E. Pontelli (ed.); Springer LNCS, 5366 (2008), ISSN: 0302-9743; 561 - 575.

    More information

  21. V. Savenkov, R. Pichler:
    "Towards Practical Feasibility of Core Computation in Data Exchange";
    Talk: 15th Interantional Conference on Logic for Programmin, Artificial Intelligence, and Reasoning (LPAR), Doha, Qatar; 11-22-2008 - 11-27-2008; in: "Logic for Programming, Artificial Intelligence, and Reasoning", I. Cervesato, H. Veith, A. Voronkov (ed.); Springer, 5330 (2008), ISBN: 3-540-89438-1; 62 - 78.

  22. M. Triska, N. Musliu:
    "An Improved SAT Formulation for the Social Golfer Problem";
    Talk: The 7th International Conference on the Practice and Theory of Automated Timetabling, Montreal, Canada; 08-19-2008 - 08-22-2008; in: "Proceedings of PATAT 2008 - The 7th International Conference on the Practice and Theory of Automated Timetabling", (2008), 13 pages.

  23. M. Triska, N. Musliu:
    "Solving the Social Golfer Problem with a GRASP";
    Talk: PATAT 2008, Montreal, Canada; 08-18-2008 - 08-22-2008; in: "In Proceedings of PATAT 2008 - The 7th International Conference on the Practice and Theory of Automated Timetabling", (2008), 12 pages.

  24. M. Triska, U. Neumerkel, J. Wielemaker:
    "A Generalised Finite Domain Constraint Solver for SWI-Prolog";
    Talk: 22nd Workshop on (Constraint) Logic Programming, Dresden; 09-30-2008 - 10-01-2008; in: "22nd Workshop on (Constraint) Logic Programming", Technical Report, University Halle-Wittenberg, Institute of Computer Science, 2008/08 (2008), 89 pages.

    More information

  25. M. Triska, U. Neumerkel, J. Wielemaker:
    "Better Termination for Prolog with Constraints";
    Talk: 18th Workshop on Logic-based methods in Programming Environments, Udine, Italy; 12-12-2008; in: "18th Workshop on Logic-based methods in Programming Environments (WLPE'08)", P. Arenas, D. Zanardini (ed.); (2008), 90 - 96.

    More information

  26. M. Truszczynski, S. Woltran:
    "Hyperequivalence of Logic Programs with Respect to Supported Models";
    Talk: The Twenty-Third AAAI Conference on Artificial Intelligence and the Twentieth Innovative Applications of Artificial Intelligence Conference, Chicago, USA; 07-13-2008 - 07-17-2008; in: "AAAI-08/IAAI-08 Proceedings", A. Cohn, D. M. Hamilton (ed.); AAAI Press, Volume 1 (2008), ISBN: 978-1-57735-368-3; 560 - 565.

  27. M. Truszczynski, S. Woltran:
    "Hyperequivalence of programs and operators (Preliminary version)";
    Talk: Logic in Artificial Intelligence: Special Session in Honor of the 65th Birthday of Victor W. Marek, Fort Lauderdale, Florida, U.S.A. (invited); 01-02-2008 - 01-04-2008; in: "Tenth International Symposium on Artificial Intelligence and Mathematics (ISAIM)", M. Kaminski, M. Truszczynski (ed.); (2008), 8 pages.

  28. M. Truszczynski, S. Woltran:
    "Relativized Hyperequivalence of Logic Programs for Modular Programming";
    Talk: International Conference on Logic Programming (ICLP), Udine; 12-09-2008 - 12-13-2008; in: "Proceedings of the 24th Conference on Logic Programming (ICLP'08)", M. de la Banda, E. Pontelli (ed.); Springer, 5366 (2008), ISBN: 978-3-540-89981-5; 576 - 590.

    More information


Talks and Poster Presentations (without Proceedings-Entry)


  1. A. Beer, J. Gärtner, N. Musliu, W. Schafhauser, W. Slany:
    "An Iterated Local Search Algorithm for a Real-Life Break Scheduling Problem";
    Talk: Matheuristics2008 - Second International Workshop on Model Based Metaheuristics, Bertinoro; 06-16-2008 - 06-18-2008.

    More information

  2. W. Holzinger, B. Krüpl, R. Baumgartner:
    "Exploiting Semantic Web Technologies to Model Web Form Interactions";
    Poster: WWW 2008, China, Beijing; 04-21-2008 - 04-25-2008.

    More information


Habilitation Theses


  1. S. Woltran:
    "Contributions to Advanced Equivalence Checking in Answer Set Programming";
    TU Wien, Fakultät für Informatik, 2008.


Doctor's Theses (authored and supervised)


  1. M. Pichlmair:
    "Evaluierung von Kompetenzmanagement für Studierende";
    Supervisor, Reviewer: J. Dorn, G. Steinhardt; Institut für Softwaretechnik und Interaktive Systeme, 2008; oral examination: 06-17-2008.


Diploma and Master Theses (authored and supervised)


  1. P. Bohunsky:
    "VENTip - Methodology and implementation of table interpretation";
    Supervisor: R. Pichler, S. Dustdar; Institut für Informationssysteme, Arbeitsbereich Datenbanken & Artificial Intelligence, 2008; final examination: 11-2008.

    More information

  2. Y. Darmaputra:
    "An Application of Heuristic Route Search Techniques for a Scalable Flight Search System";
    Supervisor: R. Pichler, R. Baumgartner; Institut für Informationssysteme, Arbeitsbereich Datenbanken & Artificial Intelligence, 2008; final examination: 06-2008.

    More information

  3. M. Dorner:
    "Optimizations of structural join algorithms: XML - Structural Join Evolution";
    Supervisor: R. Pichler; Institut für Informationssysteme, Arbeitsbereich Datenbanken & Artificial Intelligence, 2008; final examination: 06-26-2008.

    More information

  4. P. Gansterer:
    "Umsetzung einer e-Learning Applikation für SQL mithilfe eines regelbasierten Bewertungssystems";
    Supervisor: R. Pichler, K. Seyr; Institut für Informationssysteme, Arbeitsbereich Datenbanken & Artificial Intelligence, 2008; final examination: 04-18-2008.

    More information

  5. M. J. Kofler:
    "Open Source Jave EE Application Server functionality, Configuration and performance on the basis of Geronimo, JBoss and Glassfish";
    Supervisor: R. Pichler, R. Baumgartner; Institut für Informationssysteme, Arbeitsbereich Datenbanken & Artificial Intelligence, 2008; final examination: 10-07-2008.

    More information

  6. M. Kulnigg:
    "Die Communication Center Management Plattform, Eine Webapplikation zur Hardwaresteuerung/-überwachung";
    Supervisor: G. Gottlob, M. Herzog; Institut für Informationssysteme, Arbeitsbereich Datenbanken & Artificial Intelligence, 2008.

    More information

  7. E. Lebedeva:
    "Hypertree Decompositions for Optimal Winner Determination in Combinatorial Auctions";
    Supervisor: G. Gottlob, N. Musliu, W. Schafhauser; Institut für Informationssysteme, Arbeitsbereich Datenbanken & Artificial Intelligence, 2008; final examination: 03-2008.

    More information

  8. M. Lee:
    "Data Mining on Empty Result Queries";
    Supervisor: N. Musliu, F. Wei; Institut für Informationssysteme, Arbeitsbereich Datenbanken & Artificial Intelligence, 2008; final examination: 05-2008.

  9. A. Mager:
    "Automatisiertes Verständnis von formularbasierten Webseiten durch statistische Klassifikation der Seiten und Elemente";
    Supervisor: R. Pichler, R. Baumgartner; Institut für Informationssysteme, Arbeitsbereich Datenbanken & Artificial Intelligence, 2008; final examination: 10-08-2008.

    More information

  10. M. Makowski:
    "Data Cleaning and Performance Tuning in the GAINS Model";
    Supervisor: R. Pichler, K. Seyr; Institut für Informationssysteme, Arbeitsbereich Datenbanken & Artificial Intelligence, 2008; final examination: 04-18-2008.

    More information

  11. R. Ostrcil:
    "Data representation, queries and updates in probabilistic and uncertain databases";
    Supervisor: R. Pichler; Institut für Informationssysteme, Arbeitsbereich Datenbanken & Artificial Intelligence, 2008; final examination: 10-2008.

    More information

  12. E. Paisios:
    "Generic Programing for Graph Problems Using Tree Decompositions";
    Supervisor: N. Musliu, F. Wei; Institut für Informationssysteme, Arbeitsbereich Datenbanken & Artificial Intelligence, 2008.

    More information

  13. St. Rümmele:
    "Efficient Counting with Bounded Treewidth using Datalog";
    Supervisor: R. Pichler, S. Woltran; Institut für Informationssysteme, Arbeitsbereich Datenbanker & Artificial Intelligence, 2008; final examination: 12-2008.

    More information

  14. Ch. Singewald:
    "Efficient problem solving based on datalog transformations";
    Supervisor: R. Pichler; Institut für Informationssysteme, Arbeitsbereich Datenbanken & Artificial Intelligence, 2008; final examination: 11-2008.

    More information

  15. L. Steiner:
    "Einbindung von automatisiert extrahierten Webdaten in Internet Portalen";
    Supervisor: R. Pichler, M. Herzog; Institut für Informationssysteme, Arbeitsbereich Datenbanken & Artificial Intelligence, 2008; final examination: 10-2008.

    More information

  16. M. Triska:
    "Solution Methods for the Social Golfer Problem";
    Supervisor: N. Musliu; Institut für Informationssysteme, Arbeitsbereich Datenbanken & Artificial Intelligence, 2008.

  17. Th. Zwierschitz:
    "An Extensible and Configurable Record Linkage Framework";
    Supervisor: R. Pichler, R. Baumgartner; Institut für Informationssysteme, Arbeitsbereich Datenbanken & Artificial Intelligence, 2008; final examination: 10-07-2008.

    More information


Scientific Reports


  1. P. Besnard, A. Hunter, S. Woltran:
    "Encoding Deductive Argumentation in Quantified Boolean Formulae";
    Report No. DBAI-TR-2008-60, 2008; 28 pages.

  2. U. Egly, S. Gaggl, S. Woltran:
    "Answer-Set Programming Encodings for Argumentation Frameworks";
    Report No. DBAI-TR-2008-62, 2008; 25 pages.

  3. U. Egly, M. Seidl, S. Woltran:
    "A Solver for QBFs in Negation Normal Form";
    Report for TU Wien. Institut für Informationssysteme 184/3, Abteilung für Wissensbasierte Systeme; Report No. INFSYS RR-1843-08-03, 2008; 44 pages.

  4. B. Fazzinga, G. Gianforme, G. Gottlob, T. Lukasiewicz:
    "From Web Search to Semantic Web Search";
    Report for TU Wien. Institut für Informationssysteme 184/3, Abteilung für Wissensbasierte Systeme; Report No. INFSYS RR-1843-08-11, 2008; 27 pages.

  5. M. Jakl, R. Pichler, St. Rümmele, S. Woltran:
    "Fast Counting with Bounded Treewidth";
    Report No. DBAI-TR-2008-61, 2008; 27 pages.

  6. R. Pichler, A. Polleres, F. Wei, S. Woltran:
    "dRDF: Entailment for Domain-Restricted RDF";
    Report No. DBAI-TR-2008-59, 2008; 28 pages.

  7. M. Truszczynski, S. Woltran:
    "Hyperequivalence of Logic Programs with Respect to Supported Models";
    Report No. DBAI-TR-2008-58, 2008; 32 pages.

  8. M. Truszczynski, S. Woltran:
    "Relativized Hyperequivalence of Logic Programs for Modular Programming";
    Report No. DBAI-TR-2008-63, 2008; 37 pages.