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

76 records


Books and Book Editorships


  1. J. Renz:
    "Qualitative Spatial reasoning with Topological Information, LNCS 2293";
    Springer, Berlin, 2002, ISBN: 3-540-43346-5; 190 pages.


Publications in Scientific Journals


  1. R. Baumgartner, G. Gottlob:
    "Propositional Default Logics Made Easier: Computational Complexity of Model Checking";
    Theoretical Computer Science, 289 (2002), 591 - 627.

  2. M. Broxvall, P. Jonsson, J. Renz:
    "Disjunctions, Independence, Refinements";
    Artificial Intelligence, 140 (2002), 1-2; 153 - 173.

  3. T. Eiter, H. Veith:
    "On the complexity of Data Disjunctions";
    Theoretical Computer Science, 288 (2002), 101 - 128.

  4. A. Gerevini, J. Renz:
    "Combining Topological and Size Constraints for Spatial Reasoning";
    Artificial Intelligence, 137 (2002), 1-2; 1 - 42.

  5. G. Gottlob, E. Grädel, H. Veith:
    "Datalog LITE: a deductive query language with linear time model checking";
    ACM Transactions on Computational Logic, Volume 3 (2002), 1; 42 - 79.

    More information

  6. G. Gottlob, N. Leone, F. Scarcello:
    "Computing LOGCFL certificates";
    Theoretical Computer Science, 270 (2002), 1-2; 761 - 777.

    More information

  7. G. Gottlob, N. Leone, F. Scarcello:
    "Hypertree Decompositions and Tractable Queries";
    Journal of Computer and System Sciences, Vol. 64 (2002), 3; 579 - 627.

  8. G. Gottlob, C. Papadimitriou:
    "On the Complexity of Single-Rule Datalog Queries";
    Information and Computation, 177 (2002).

    More information

  9. G. Gottlob, F. Scarcello, M. Sideri:
    "Fixed-parameter complexity in AI and nonmonotonic reasoning";
    Artificial Intelligence, Volume 138 (2002), 1-2; 55 - 86.

    More information

  10. N. Musliu, J. Gärtner, W. Slany:
    "Efficient generation of rotating workforce schedules";
    Discrete Applied Mathematics, 118 (2002), 1-2; 85 - 98.

    More information

  11. W. Slany:
    "Endgame Problems of Sim-like graph Ramsey avoidance games are PSPACE-complete";
    Theoretical Computer Science, Vol. 289 (2002), 1; 829 - 843.


Contributions to Books


  1. F. Buccafurri, G. Gottlob:
    "Multiagent Compromises, Joint Fixpoints, and Stable Models";
    in: "LNAI 2407/Computational Logic: Logic Programming and Beyond", A. Kakas, F. Sadri (ed.); Springer, Berlin, 2002, ISBN: 3-540-43959-5, 561 - 585.

    More information

  2. L. Carlotta, G. Gottlob:
    "Schule, Internet und Öffentlichkeit";
    in: "Internet und Öffentlichkeit", A. von Liechtenstein (ed.); WUV Universitätsverlag, Wien, 2002, ISBN: 3-85114-667-0, 213 - 226.

  3. F. Harary, W. Slany, O. Verbitsky:
    "A Symmetric Strategy in Graph Avoidance Games";
    in: "More Games of No Chance, Mathematical Sciences Research Institute Publications 42", R. Nowakowski (ed.); Cambridge University Press, Cambridge, 2002, ISBN: 0521808324, 369 - 381.


Contributions to Proceedings


  1. T. Eiter, W. Faber, N. Leone, G. Pfeifer, A. Polleres:
    "Answer Set Planning under Action Costs";
    in: "Logics in Artificial in Intelligence, LNAI 2424", S. Flesca, S. Greco, N. Leone, G. Ianni (ed.); Springer, Cosenza, Italy, 2002, ISBN: 3-540-44190-5, 186 - 197.

    More information

  2. T. Eiter, G. Gottlob:
    "Hypergraph Transversal Computation and Related Problems in Logic and AI";
    in: "Logics in Artificial Intelligence, LNAI 2424", S. Flesca, S. Greco, N. Leone, G. Ianni (ed.); Springer, Cosenza, Italy, 2002, ISBN: 3-540-44190-5, 549 - 564.

    More information

  3. T. Eiter, G. Gottlob, K. Makino:
    "New Results on Monotone Dualization and Generating Hypergraph Transversals";
    in: "Proceedings of the 34th annual ACM Symposium on Theory of computing", J. Reif (ed.); ACM Press, New York, NY, USA, 2002, ISBN: 1-58113-495-9, 14 - 22.

    More information


Talks and Poster Presentations (with Proceedings-Entry)


  1. R. Baumgartner, G. Gottlob, M. Herzog, T. Wiedemair:
    "Building Dynamic Information Portals - A Case Study in the Agrarian Domain";
    Talk: Intelligent Systems, Information Society 2002, Ljubljana, Slovenia (invited); 10-14-2002 - 10-18-2002; in: "Proc. on Intelligent Systems, Information Society 2002", M. Bohanec, M. Gams (ed.); Proc. A of Information Society 2002 (2002), ISBN: 961-6303-41-4; 5 - 11.

  2. F. Calimeri, W. Faber, N. Leone, G. Pfeifer:
    "Pruning Operators for Answer Set Programming Systems";
    Talk: 9th International Workshop on Non-Monotonic Reasoning (NMR'2002), Toulouse, France; 04-19-2002 - 04-21-2002; in: "Proceedings of the 9th International Workshop on Non-Monotonic Reasoning (NMR'200)", S. Benferhat, E. Giunchiglia (ed.); (2002), 200 - 209.

  3. P. Chauhan, E. Clarke, J. Kukula, S. Sapra, H. Veith, D. Wang:
    "Automated Abstraction Refinement for Model Checking Large State Spaces using SAT based Conflict Analysis";
    Talk: Fourth International Conference on Formal Methods in Computer-Aided Design (FMCAD2002), Portland, Oregon, USA (invited); 11-06-2002 - 11-08-2002; in: "Proceedings of the 4th International Conference on Formal Methods in Computer-Aided Design", M. Aagaard, J. OŽLeary (ed.); Springer/LNCS, 2517 (2002), ISBN: 3-540-00116-6; 33 - 51.

  4. E. Clarke, S. Jha, Y. Lu, H. Veith:
    "Tree-Like Counterexamples in Model Cheking";
    Talk: 17th Annual IEEE Symposium on Logic in Computer Science (LIC'S02), Copenhagen, Denmark; 07-22-2002 - 07-25-2002; in: "Proceedings of the Seventeenth Annual IEEE Symposium on Logic in Computer Science (LICS' 2002)", (2002), ISBN: 0-7695-1483-9; 19 - 29.

    More information

  5. T. Eiter, W. Faber, N. Leone, G. Pfeifer, A. Polleres:
    "The DLVK Planning System: Progress Report";
    Poster: 8th European Conference on Artificial Intelligence, JELIA 2002, Cosenza, Italy; 09-23-2002 - 09-26-2002; in: "Logics in Artificial Intelligence", S. Flesca, S. Greco, N. Leone, G. Ianni (ed.); Lecture Notes in Artificial Intelligence (LNAI)/Springer, 2424 (2002), ISBN: 3-540-44190-5; 541 - 544.

  6. T. Eiter, G. Gottlob, T. Schwentick:
    "Second-Order Logic over Strings: Regular and Non-Regular Fragments";
    Talk: International Conference on Developments in Language Theory (DLT), Vienna, Austria; 07-16-2001 - 07-21-2001; in: "Proceedings Fifth International Conference on Developments in Language Theory (DLT 2001). Revised Papers", W. Kuich et al. (ed.); Springer, (2002), ISBN: 3-540-43453-4; 37 - 56.

  7. G. Even, G. Kortsarz, W. Slany:
    "On Network Design Problems: Fixed Cost Flows and the Covering Steiner Problem";
    Talk: 8th Scandinavian Workshop on Algorithm Theory, Turku, Finland; 07-03-2002 - 07-05-2002; in: "8th Scandinavian Workshop on Algorithm Theory (SWAT), Lecture Notes in Computer Science", M. Pentonnen, E. Meineche Schmitt (ed.); Springer LNCS, 2368 (2002), ISBN: 3-540-43866-1; 318 - 329.

  8. G. Gottlob:
    "Visual Data Extraction Through Visual Logic Programming";
    Talk: 9th International Workshop on Non-Monotonic Reasoning (NMR'2002), Toulouse, France (invited); 04-19-2002 - 04-21-2002; in: "Proceedings of the 9th International Workshop on Non-Monotonic Reasoning (NMR'2002)", S. Benferhat, E. Giunchiglia (ed.); (2002), 4.

    More information

  9. G. Gottlob, C. Koch:
    "Monadic Datalog and the Expressive Power of Languages for Web Information Extraction.";
    Talk: Twenty-first ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems (PODS 2002), Madison, Wisconsin, USA (invited); 06-03-2002 - 06-06-2002; in: "Proceedings of the Twenty-first ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems", S. Abiteboul (ed.); (2002), ISBN: 1-58113-507-6; 17 - 28.

    More information

  10. G. Gottlob, C. Koch:
    "Monadic Queries over Tree-Structured Data";
    Talk: 17th Annual IEEE Symposium on Logic in Computer Science (LIC'S02), Copenhagen, Denmark (invited); 07-22-2002 - 07-25-2002; in: "Proceedings of the 17th Annual IEEE Symposium on Logic in Computer Science (LIC'S02)", G. Plotkin (ed.); IEEE Computer Society, (2002), ISBN: 0-7695-1483-9; 189 - 202.

    More information

  11. G. Gottlob, C. Koch, R. Pichler:
    "Efficient Algorithms for Processing XPath Queries";
    Talk: 28th international Conference on Very Large Data Bases 2002, Hong Kong SAR, China; 08-20-2002 - 08-23-2002; in: "Proceedings of the 28th international Conference on Very Large Data Bases 2002", P. Bernstein, Y. Ioannidis, R. Ramakrishnan, D. Papadias (ed.); Morgan Kaufmann Publishers, (2002), ISBN: 1-55860-869-9; 95 - 106.

    More information

  12. S. Katzenbeisser, F. Petitcolas:
    "Defining Security in Steganographic Systems";
    Talk: Conference Security and Watermarking of Multimedia Contents IV, San Jose, USA; 01-21-2002 - 01-24-2002; in: "Proceedings of SPIE", E. Delp, P. Wong (ed.); 4675 (2002), ISBN: 0-8194-4415-4; 50 - 56.

    More information

  13. S. Katzenbeisser, H. Veith:
    "Securing Symmetric Watermarking Schemes Against Protocol Attacks";
    Talk: Conference Security and Watermarking of Multimedia Contents IV, San Jose, California, USA; 01-21-2002 - 01-24-2002; in: "Proceedings of SPIE 2002", E. Delp, P. Wong (ed.); Vol. 4675 (2002), ISBN: 0-8194-4415-4; 260 - 268.

    More information

  14. C. Koch:
    "Query Rewriting with Symmetric Constraints";
    Talk: 2nd International Symposium on Foundations of information and knowledge systems, Salzau Castle, Germany; 02-20-2002 - 02-23-2002; in: "Foundations of information and knowledge systems", T. Eiter, K. Schewe (ed.); LNCS/Springer Verlag, Berlin (2002), ISBN: 3-540-43220-5; 130 - 147.

  15. N. Leone, G. Pfeifer, W. Faber, F. Calimeri, T. DellŽArmi, T. Eiter, G. Gottlob, G. Ianni, G. Ielpa, C. Koch, S. Perri, A. Polleres:
    "The DLV System";
    Poster: 8th European Conference on Artificial Intelligence, JELIA 2002, Cosenza, Italy (invited); 09-23-2002 - 09-26-2002; in: "Logics in Artificial Intelligence", S. Flesca, S. Greco, N. Leone, G. Ianni (ed.); Lecture Notes in Artificial Intelligence, Springer, 2424 (2002), ISBN: 3-540-44190-5; 537 - 540.

    More information

  16. W. Slany:
    "Theory and practice of the shift design problem";
    Talk: 4th international conference on the Practice And Theory of Automated Timetabling, Gent, Belgium (invited); 08-21-2002 - 08-23-2002; in: "Proc. of the 4th international conference on the Practice And Theory of Automated Timetabling (PATAT 2002)", E. Burke, P. DeCausmaecker (ed.); Kaho, Gent, Belgien (2002), ISBN: 90-806096-1-7; 53 - 56.

    More information


Talks and Poster Presentations (without Proceedings-Entry)


  1. G. Gottlob:
    "Efficient Algortihms for Processing XPath Queries";
    Talk: Ludwig-Maximilian-Universität, München, Deutschland (invited); 12-20-2002.

  2. G. Gottlob:
    "Hypertree Decompositions";
    Talk: Symposium on the Effectiveness of Logic in Computer Science, Saarbrücken, Deutschland (invited); 03-04-2002 - 03-06-2002.

  3. G. Gottlob:
    "Monadic Query Languages over Semistructured Data";
    Talk: Ludwig-Maximilian-Universität, München, Deutschland (invited); 12-20-2002.

  4. G. Gottlob:
    "Monadic Query Languages over Semstructured Data";
    Talk: Institut für mathematische Logik, Freiburg, Albert-Ludwigs-Universität Freiburg, Deutschland (invited); 10-20-2002 - 10-21-2002.

  5. G. Gottlob:
    "Web Information Extraction On half-way to the Semantic Web";
    Talk: Universität Prag, Prag, Tschechien (invited); 11-19-2002.

  6. G. Pfeifer:
    "Benchmarking ASP Sytems";
    Talk: Dagstuhl Seminar Nr. 02381, Nonmonotonic Reasoning, Answer Set Programming and Constraints, Schloss Dagstuhl, Deutschland; 09-15-2002 - 09-20-2002.

  7. G. Pfeifer:
    "Tutorial: Answer Set Programming";
    Talk: 8th European Conference on Artificial Intelligence, JELIA 2002, Cosenza, Italien; 09-26-2002 - 09-29-2002.

  8. H. Veith:
    "Model Checking - Recent Results and Developments";
    Talk: University of Leeds, Leeds, United Kingdom; 03-09-2002 - 03-13-2002.

  9. H. Veith:
    "Verfahren zur Komplexitätsreduktion im Model Checking";
    Talk: Universität Saarbrücken, Saarbrücken, Deutschland (invited); 01-02-2002.

  10. H. Veith:
    "Verfahren zur Komplexitätsreduktion im Model Checking";
    Talk: Technische Universität Graz, Graz, Österreich; 05-06-2002.

  11. H. Veith:
    "Verfahren zur Komplexitätsreduktion im Model Checking";
    Talk: Technische Universität München, München, Deutschland; 11-27-2002 - 11-28-2002.


Doctor's Theses (authored and supervised)


  1. R. Bruckner:
    "Zero-Latency Data Warehousing - Toward an Integrated Analysis Environment with Minimized Latency for Data Propagations.";
    Supervisor, Reviewer: A. Tjoa, G. Gottlob; Institut für Softwaretechnik & Interaktive Systeme (E188), 2002.

    More information

  2. M. Fink:
    "Declarative Logic-Programming Components for Information Agents";
    Supervisor, Reviewer: T. Eiter, G. Gottlob; Institut für Informationssysteme, 2002.

  3. M. Herzog:
    "A rapid application development environment for XML-based data flow applications";
    Supervisor, Reviewer: G. Gottlob; Institut für Informationssysteme, 2002.

  4. G. Sabbatini:
    "Declarative Logic Programming for Representing Evolving Nonmonotonic Knowledge Bases";
    Supervisor, Reviewer: T. Eiter, G. Gottlob; Institut für Informationssysteme, 2002.


Diploma and Master Theses (authored and supervised)


  1. M. Böck:
    "Usenet Test: Ein System zur vergleichenden Bewertung von Usenet News-Servern";
    Supervisor: G. Pfeifer; Institut für Informationssysteme, 2002.

  2. D. Böckmann:
    "Prozessoptimierung im intermodalen Güterverkehr durch den Einsatz von Informationssystemen";
    Supervisor: J. Dorn; Institut für Informationssysteme, 2002.

  3. S. Fischer:
    "Unterstützung von Quality Function Deployment durch Informationssysteme";
    Supervisor: J. Dorn; Institut für Informationssysteme, 2002.

  4. T. Gattringer:
    "Location Based Services";
    Supervisor: M. Herzog, G. Gottlob; Institut für Informationssysteme, 2002.

  5. W. Hübner:
    "Evaluierung von Standards zur Abwicklung von elektronischen Business-to-Business Geschäftsbeziehungen";
    Supervisor: J. Dorn; Institut für Informationssysteme, 2002.

  6. M. Hutle:
    "Constraint Satisfaction Problems - Hyprid Decompostion and Evaluation";
    Supervisor: F. Wotawa; Institut für Informationssysteme, 2002.

  7. O. Jorns:
    "Aspekte der IT-Security als technisches Gestaltungsziel aus Perspektive der Organisation";
    Supervisor: W. Slany; Institut für Informationssysteme, 2002.

  8. M. Jovanovic:
    ""Extreme Testing" Komponententest in den "agilen" Softwareentwicklungsmethoden";
    Supervisor: G. Gottlob; Institut für Informationssysteme, 2002.

  9. C. Kahlig:
    "Wissensextraktion aus Dokumenten";
    Supervisor: J. Dorn; Institut für Informationssysteme, 2002.

  10. G. Ledermüller:
    "Visual Composition of XML Queries";
    Supervisor: G. Gottlob; Institut für Informationssyssteme, 2002.

  11. M. Liehmann:
    "Erweiterung einer Webserver-Scriptingsprache um XQL - MetaHTML, XML und XQL";
    Supervisor: G. Pfeifer, W. Slany; Institut für Informationssysteme, 2002.

  12. B. Marx:
    "Systematische Vergabe von Benutzerzugriffsberechtigungen";
    Supervisor: J. Dorn; Institut für Informationssysteme, 2002.

  13. C. Maschek:
    "Erfahrung und Bewertung mit dem Einsatz vom SAP Workflowmanagementsystem in der Praxis";
    Supervisor: J. Dorn; Institut für Informationssysteme, 2002.

  14. S. Nebl:
    "Anforderungen an Benutzerprofile bei mobilen Telekommunikationsservices";
    Supervisor: J. Dorn; Institut für Informationssystem, 2002.

  15. H. Petek:
    "System Analysis und Monitoring";
    Supervisor: F. Wotawa; Institut für Informationssysteme, 2002.

  16. M. Rosenthal:
    "Analyse von Geschäftsmodellen im Internet";
    Supervisor: J. Dorn; Institut für Informationssysteme, 2002.

  17. M. Samer:
    "Temporal Logic Queries in Model Checking";
    Supervisor: H. Veith; Institut für Informationssysteme, 2002.

  18. B. Schmidt:
    "Framework für generische Suche in einem komplexen Objektmodell am Beispiel von See your Client";
    Supervisor: F. Wotawa; Institut für Informationssystem, 2002.

  19. E. Schwab:
    "Extracting Tourism Information from the Web";
    Supervisor: G. Gottlob; Institut für Informationssysteme, 2002.

  20. A. Waser:
    "Test Automation - A Case Study";
    Supervisor: G. Gottlob; Institut für Informationssysteme, 2002.

  21. T. Wiedemair:
    "MACE - Verifiying Agent Programs";
    Supervisor: G. Gottlob; Institut für Informationssysteme, 2002.

  22. J. Zhu:
    "Portal Integration of XML-based Information Sources, A Case Study with InfoPipes and Jetspeed";
    Supervisor: G. Gottlob; Institut für Informationssysteme, 2002.


Scientific Reports


  1. M. Cadoli, T. Eiter, G. Gottlob:
    "Complexity of Nested Circumscription and Nested Abnormality Theories";
    Report for Institut f. Informationssysteme, TU Wien; 2002.

  2. T. Eiter, W. Faber, N. Leone, G. Pfeifer:
    "Computing Preferred Answer Sets by Meta-Interpretation in Answer Set Programming";
    2002.

  3. T. Eiter, W. Faber, N. Leone, G. Pfeifer, A. Polleres:
    "Answer Set Planning under Action Costs (INFSYS RR-1843-02-13)";
    Report for Institut f. Informationssysteme, TU Wien; 2002.

  4. T. Eiter, G. Gottlob, K. Makino:
    "New Results on Monotone Dualization and Generating Hypergraph Transversals (INFSYS RR-1843-02-05)";
    Report for Institut f. Informationssysteme, TU Wien; 2002.

  5. N. Leone, G. Pfeifer, W. Faber, T. Eiter, G. Gottlob, C. Koch, C. Mateis, S. Perri, F. Scarcello:
    "The DLV System for Knowledge Representation and Reasoning (INFSYS RR-1843-02-14)";
    Report for Institut f. Informationssysteme, TU Wien; 2002.