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

50 Datensätze


Bücher und Buch-Herausgaben


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


Zeitschriftenartikel


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

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

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

  4. A. Gerevini, J. Renz:
    "Combining Topological and Size Constraints for Spatial Reasoning";
    Artificial Intelligence, 137 (2002), 1-2; S. 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; S. 42 - 79.

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

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


Buchbeiträge


  1. 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 (Hrg.); Cambridge University Press, Cambridge, 2002, ISBN: 0521808324, S. 369 - 381.


Beiträge in Tagungsbänden


  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 (Hrg.); Springer, Cosenza, Italy, 2002, ISBN: 3-540-44190-5, S. 186 - 197.


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


  1. R. Baumgartner, G. Gottlob, M. Herzog, T. Wiedemair:
    "Building Dynamic Information Portals - A Case Study in the Agrarian Domain";
    Vortrag: Intelligent Systems, Information Society 2002, Ljubljana, Slovenia (eingeladen); 14.10.2002 - 18.10.2002; in: "Proc. on Intelligent Systems, Information Society 2002", M. Bohanec, M. Gams (Hrg.); Proc. A of Information Society 2002 (2002), ISBN: 961-6303-41-4; S. 5 - 11.

  2. F. Calimeri, W. Faber, N. Leone, G. Pfeifer:
    "Pruning Operators for Answer Set Programming Systems";
    Vortrag: 9th International Workshop on Non-Monotonic Reasoning (NMR'2002), Toulouse, France; 19.04.2002 - 21.04.2002; in: "Proceedings of the 9th International Workshop on Non-Monotonic Reasoning (NMR'200)", S. Benferhat, E. Giunchiglia (Hrg.); (2002), S. 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";
    Vortrag: Fourth International Conference on Formal Methods in Computer-Aided Design (FMCAD2002), Portland, Oregon, USA (eingeladen); 06.11.2002 - 08.11.2002; in: "Proceedings of the 4th International Conference on Formal Methods in Computer-Aided Design", M. Aagaard, J. O´Leary (Hrg.); Springer/LNCS, 2517 (2002), ISBN: 3-540-00116-6; S. 33 - 51.

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

  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; 23.09.2002 - 26.09.2002; in: "Logics in Artificial Intelligence", S. Flesca, S. Greco, N. Leone, G. Ianni (Hrg.); Lecture Notes in Artificial Intelligence (LNAI)/Springer, 2424 (2002), ISBN: 3-540-44190-5; S. 541 - 544.

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

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

  8. G. Gottlob, C. Koch:
    "Monadic Queries over Tree-Structured Data";
    Vortrag: 17th Annual IEEE Symposium on Logic in Computer Science (LIC'S02), Copenhagen, Denmark (eingeladen); 22.07.2002 - 25.07.2002; in: "Proceedings of the 17th Annual IEEE Symposium on Logic in Computer Science (LIC'S02)", G. Plotkin (Hrg.); IEEE Computer Society, (2002), ISBN: 0-7695-1483-9; S. 189 - 202.

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

  10. S. Katzenbeisser, F. Petitcolas:
    "Defining Security in Steganographic Systems";
    Vortrag: Conference Security and Watermarking of Multimedia Contents IV, San Jose, USA; 21.01.2002 - 24.01.2002; in: "Proceedings of SPIE", E. Delp, P. Wong (Hrg.); 4675 (2002), ISBN: 0-8194-4415-4; S. 50 - 56.

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

  12. C. Koch:
    "Query Rewriting with Symmetric Constraints";
    Vortrag: 2nd International Symposium on Foundations of information and knowledge systems, Salzau Castle, Germany; 20.02.2002 - 23.02.2002; in: "Foundations of information and knowledge systems", T. Eiter, K. Schewe (Hrg.); LNCS/Springer Verlag, Berlin (2002), ISBN: 3-540-43220-5; S. 130 - 147.

  13. 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 (eingeladen); 23.09.2002 - 26.09.2002; in: "Logics in Artificial Intelligence", S. Flesca, S. Greco, N. Leone, G. Ianni (Hrg.); Lecture Notes in Artificial Intelligence, Springer, 2424 (2002), ISBN: 3-540-44190-5; S. 537 - 540.

  14. W. Slany:
    "Theory and practice of the shift design problem";
    Vortrag: 4th international conference on the Practice And Theory of Automated Timetabling, Gent, Belgium (eingeladen); 21.08.2002 - 23.08.2002; in: "Proc. of the 4th international conference on the Practice And Theory of Automated Timetabling (PATAT 2002)", E. Burke, P. DeCausmaecker (Hrg.); Kaho, Gent, Belgien (2002), ISBN: 90-806096-1-7; S. 53 - 56.


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


  1. G. Pfeifer:
    "Benchmarking ASP Sytems";
    Vortrag: Dagstuhl Seminar Nr. 02381, Nonmonotonic Reasoning, Answer Set Programming and Constraints, Schloss Dagstuhl, Deutschland; 15.09.2002 - 20.09.2002.

  2. G. Pfeifer:
    "Tutorial: Answer Set Programming";
    Vortrag: 8th European Conference on Artificial Intelligence, JELIA 2002, Cosenza, Italien; 26.09.2002 - 29.09.2002.

  3. H. Veith:
    "Model Checking - Recent Results and Developments";
    Vortrag: University of Leeds, Leeds, United Kingdom; 09.03.2002 - 13.03.2002.

  4. H. Veith:
    "Verfahren zur Komplexitätsreduktion im Model Checking";
    Vortrag: Universität Saarbrücken, Saarbrücken, Deutschland (eingeladen); 02.01.2002.

  5. H. Veith:
    "Verfahren zur Komplexitätsreduktion im Model Checking";
    Vortrag: Technische Universität Graz, Graz, Österreich; 06.05.2002.

  6. H. Veith:
    "Verfahren zur Komplexitätsreduktion im Model Checking";
    Vortrag: Technische Universität München, München, Deutschland; 27.11.2002 - 28.11.2002.


Dissertationen (eigene und begutachtete)


  1. M. Herzog:
    "A rapid application development environment for XML-based data flow applications";
    Betreuer/in(nen), Begutachter/in(nen): G. Gottlob; Institut für Informationssysteme, 2002.


Diplom- und Master-Arbeiten (eigene und betreute)


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

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

  3. S. Fischer:
    "Unterstützung von Quality Function Deployment durch Informationssysteme";
    Betreuer/in(nen): J. Dorn; Institut für Informationssysteme, 2002.

  4. T. Gattringer:
    "Location Based Services";
    Betreuer/in(nen): 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";
    Betreuer/in(nen): J. Dorn; Institut für Informationssysteme, 2002.

  6. M. Hutle:
    "Constraint Satisfaction Problems - Hyprid Decompostion and Evaluation";
    Betreuer/in(nen): F. Wotawa; Institut für Informationssysteme, 2002.

  7. O. Jorns:
    "Aspekte der IT-Security als technisches Gestaltungsziel aus Perspektive der Organisation";
    Betreuer/in(nen): W. Slany; Institut für Informationssysteme, 2002.

  8. C. Kahlig:
    "Wissensextraktion aus Dokumenten";
    Betreuer/in(nen): J. Dorn; Institut für Informationssysteme, 2002.

  9. M. Liehmann:
    "Erweiterung einer Webserver-Scriptingsprache um XQL - MetaHTML, XML und XQL";
    Betreuer/in(nen): G. Pfeifer, W. Slany; Institut für Informationssysteme, 2002.

  10. B. Marx:
    "Systematische Vergabe von Benutzerzugriffsberechtigungen";
    Betreuer/in(nen): J. Dorn; Institut für Informationssysteme, 2002.

  11. C. Maschek:
    "Erfahrung und Bewertung mit dem Einsatz vom SAP Workflowmanagementsystem in der Praxis";
    Betreuer/in(nen): J. Dorn; Institut für Informationssysteme, 2002.

  12. S. Nebl:
    "Anforderungen an Benutzerprofile bei mobilen Telekommunikationsservices";
    Betreuer/in(nen): J. Dorn; Institut für Informationssystem, 2002.

  13. H. Petek:
    "System Analysis und Monitoring";
    Betreuer/in(nen): F. Wotawa; Institut für Informationssysteme, 2002.

  14. M. Rosenthal:
    "Analyse von Geschäftsmodellen im Internet";
    Betreuer/in(nen): J. Dorn; Institut für Informationssysteme, 2002.

  15. M. Samer:
    "Temporal Logic Queries in Model Checking";
    Betreuer/in(nen): H. Veith; Institut für Informationssysteme, 2002.

  16. B. Schmidt:
    "Framework für generische Suche in einem komplexen Objektmodell am Beispiel von See your Client";
    Betreuer/in(nen): F. Wotawa; Institut für Informationssystem, 2002.


Wissenschaftliche Berichte


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

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

  3. 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)";
    Bericht für Institut f. Informationssysteme, TU Wien; 2002.