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

65 records


Publications in Scientific Journals


  1. R. Baumgartner, G. Gottlob, M. Herzog:
    "Lixto - Halfway to the Semantic Web";
    ÖGAI Journal, 1 (2003), 19 - 24.

  2. E. Clarke, O. Grumberg, S. Jha, Y. Lu, H. Veith:
    "Counterexample-Guided Abstraction Refinement for Symbolic Model Checking";
    Journal of the ACM, Volume 50 (2003), Issue 5; 752 - 794.

    More information

  3. T. Eiter, W. Faber, N. Leone, G. Pfeifer:
    "Computing Preferred Answer Sets by Meta-Interpretation in Answer Set Programming";
    Theory and Practice of Logic Programming, 3 (2003), 4+5; 463 - 498.

    More information

  4. T. Eiter, W. Faber, N. Leone, G. Pfeifer, A. Polleres:
    "A Logic Programming Approach to Knowledge-State Planning, II: The DLVK System";
    Artificial Intelligence, 144 (2003), 1; 157 - 211.

    More information

  5. T. Eiter, W. Faber, N. Leone, G. Pfeifer, A. Polleres:
    "Answer Set Planning under Action Costs";
    Journal of Artificial Intelligence Research, 19 (2003), 25 - 71.

    More information

  6. T. Eiter, G. Gottlob, K. Makino:
    "New Results on Monotone Dualization and Generating Hypergraph Transversals";
    SIAM JOURNAL ON COMPUTING, 32 (2003), 2; 514 - 537.

  7. G. Gottlob, C. Koch, R. Pichler:
    "XPath Processing in a Nutshell";
    ACM SIGMOD Record, Issue 1 (2003), Volume 32; 12 - 19.

    More information

  8. G. Gottlob, C. Papadimitriou:
    "On the Complexity of single-rule datalog Queries";
    Information and Computation, 183 (2003), 1; 104 - 122.

  9. C. Koch, N. Leone, G. Pfeifer:
    "Enhancing disjunctive logic programming systems by SAT checkers";
    Artificial Intelligence, Volume 151 (2003), Issues 1-2; 177 - 212.

  10. J. Renz:
    "A Canonical Model of the Region Connection Calculus";
    Journal of Applied Non-Classical Logics (JANCL), 12 (2003), 3-4.


Contributions to Books


  1. R. Baumgartner, S. Eichholz, S. Flesca, G. Gottlob, M. Herzog:
    "Semantic Markup of News Items with Lixto";
    in: "Annotation for the Semantic Web", S. Handschuh, S. Staab (ed.); issued by: Frontiers in Artificial Intelligence and Applications; IOS Press Ohmsha, 2003, ISBN: 1-58603-345-x, 63 - 78.

  2. J. Dorn, K. Fröschl, M. Hackl:
    "Web-enabled Smart Service Business Infrastructures";
    in: "Building the Knowledge Economy: Issues, Applications Case Studies", issued by: P. Cunningham, M. Cunningham and P. Fateling; IOS Press, Amsterdam, Niederlande, 2003, ISBN: 1586033794, 967 - 974.

    More information


Contributions to Proceedings


  1. S. Chaki, E. Clarke, A. Groce, S. Jha, H. Veith:
    "Modular Verification of Software Components in C*";
    in: "Proceedings of the 25th Conference on Software Engineering ", issued by: 25thConference on Software Engineering; IEEE, 2003, ISBN: 0-7695-1877-x, 385 - 395.

    More information

  2. T. DellŽArmi, W. Faber, G. Ielpa, N. Leone, G. Pfeifer:
    "Aggregate Functions in Disjunctive Logic Programming: Semantics,Complexity,and Implementation in DLV";
    in: "Proceedings of the 18th International Joint Conference on Artificial Intelligence (IJCAI) 2003", Elsevier Science Publishers, 2003, ISBN: 0-127-05661-0, 847 - 852.

    More information

  3. T. DellŽArmi, W. Faber, G. Ielpa, N. Leone, G. Pfeifer:
    "Aggregate Functions in DLV";
    in: "Answer Set Programming - Advances in Theory and Implementation", M. De Vos, A. Provetti (ed.); CEUR-WS.org, 2003, ISSN: 1613-0073, 274 - 288.

    More information


Talks and Poster Presentations (with Proceedings-Entry)


  1. A. Adelsbach, S. Katzenbeisser, H. Veith:
    "Watermarking schemes provably secure against copy and ambiguity attacks";
    Poster: ACM Workshop On Digital Rights Management, Washington, DC, USA; 10-27-2003; in: "Porceedings of the 2003 ACM workshop on Digital rights management", ACM Press, New York, NY, USA (2003), ISBN: 1-58113-786-9; 111 - 119.

  2. R. Baumgartner, M. Ceresna, G. Gottlob, M. Herzog, V. Zigo:
    "Web Information Acquisition with Lixto Suite: A Demonstration";
    Poster: 19th International Conference on Data Engineering, Bangalore, India; 03-05-2003 - 03-08-2003; in: "Proceedings 19th International Conference on Data Engineering", IEEE Computer Society, (2003), ISBN: 0-7803-7665-x; 747 - 749.

    More information

  3. R. Baumgartner, G. Gottlob, M. Herzog:
    "Visual Programming of Web Data Aggregation Applications";
    Talk: IIWeb-03: IJCAI-03 Workshop on Information Integration on the Web, Acapulco, Mexiko; 08-09-2003 - 08-10-2003; in: "Information Integration on the Web (IIWeb-03)", S. Kambhampati, C. Knoblock (ed.); (2003), 137 - 142.

  4. R. Baumgartner, M. Herzog, T. Wiedemair:
    "Web Data Extraction and Integration (Tutorial)";
    Talk: 2nd International Conference on Mobile Business, Vienna; 06-23-2003 - 06-24-2003; in: "The Second International Conference of Mobile Business", G. Giaglis, H. Werthner, V. Tschammer, K. Fröschl (ed.); OCG, (2003), ISBN: 3-85403-169-6; 575 - 577.

  5. F. Buccafurri, G. Gottlob:
    "Multiagent Compromises, Joint Fixpoints and Stable Models";
    Talk: 2003 Joint Conference on Declarative Programming, Reggio Calabria, Italien; 09-03-2003 - 09-05-2003; in: "Proceedings of the 2003 Joint Conference on Declarative Programming", (2003), 180 - 192.

    More information

  6. P. Buneman, M. Grohe, C. Koch:
    "Path Queries on Compressed XML";
    Talk: 29th Conference on Very Large Data Bases, Berlin, Deutschland; 09-09-2003 - 09-12-2003; in: "Proceedings of the 29 th VLDB Conference", M. Kaufman (ed.); Kaufmann, (2003), ISBN: 0-12-722442-4; 141 - 152.

  7. L. Di Gaspero, J. Gärtner, G. Kortsarz, N. Musliu, A. Schärf, W. Slany:
    "A Hybrid Network flow Tabu Search for the Miimum Shift Design Poblem";
    Talk: The 5th Metaheuristics International Conference, Kyoto, Japan; 08-25-2003 - 08-28-2003; in: "Proceedings ot The Fifth Metaheuristics International Conference", A. Schärf (ed.); (2003), 6 pages.

  8. L. Di Gaspero, J. Gärtner, G. Kortsarz, N. Musliu, A. Schärf, W. Slany:
    "The MinimumShift Design problem: Theory and Pratice";
    Talk: 11th Annual European Symposium on Algorithms (ESA 2003), Budapest, Ungarn; 09-16-2003 - 09-19-2003; in: "Proceedings of the 11th Annual European Symposium on Algorithms", Lecture Notes in Computer Science, 2832 (2003), ISBN: 3-540-20064-9; 593 - 604.

  9. T. Eiter, W. Faber, M. Fink, G. Pfeifer, S. Woltran:
    "Complexity of Answer Set Checking and Bounded Predicate Arities for Non-ground Answer Set Programming";
    Talk: 2nd Intl. Answer Set Programming Workshop, Messina, Italy; 09-26-2003 - 09-28-2003; in: "Answer Set Programming - Advances in Theory and Implementation", M. De Vos, A. Provetti (ed.); CEUR-WS, 78 (2003), ISSN: 1613-0073; 69 - 83.

    More information

  10. M. Frick, M. Grohe, C. Koch:
    "Query Evaluation on Compressed Trees";
    Talk: IEEE Symposium on Logic in Computer Science, Ottawa, Kanada; 06-21-2003 - 06-25-2003; in: "Proceeding on LICS 2003", IEEE, (2003), ISBN: 0-7695-1884-2; 188 - 197.

    More information

  11. G. Gottlob, G. Greco, F. Scarcello:
    "Pure Nash Equilibria: Hard and Easy Games";
    Talk: 9th Conference on Theoretical Aspects of Rationality and Knowledge (TARK 03), Bloomington, USA; 06-20-2003 - 06-22-2003; in: "Proceedings of the 9th conference on Theoretical Aspects of Rationality and Knowledge", (2003), 215 - 229.

    More information

  12. G. Gottlob, M. Herzog:
    "Enabling Systems to access Web Data - Novel Wrapper and Data Aggregation Technology";
    Talk: Ninth International Conference on Computer Aided Systems Theory - EUROCAST 2003, Las Palmas de Gran Canaria, Spanien (invited); 02-24-2003 - 02-28-2004; in: "Procedings of the Ninth International Conference on Computer Aided Systems Theory", IUCTC Universidad de Las Palmas de Gran Canaria, (2003), ISBN: 84-688-0820-2; 1 - 3.

  13. G. Gottlob, C. Koch, R. Pichler:
    "The Complexity of XPath Query Evaluation";
    Talk: ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, San Diego, USA (invited); 06-09-2003 - 06-11-2003; in: "Proceedings of the 22nd ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems", F. Neven (ed.); ACM Press, (2003), ISBN: 1-58113-670-6; 179 - 190.

    More information

  14. G. Gottlob, C. Koch, R. Pichler:
    "XPath Query Evaluation: Improving Time and Space Efficiency";
    Talk: 19th International Conference on Data Engineering, Bangalore, Indien; 03-05-2003 - 03-08-2003; in: "Proceedings on the ICDE 2003", (2003), 379 - 390.

  15. C. Koch, S. Scherzinger:
    "Attribute Grammars for Scalable Query Processing on XML Streams";
    Poster: The 9th International Workshop on Data Base Programming Languages, Potsdam, Deutschland (invited); 09-06-2003 - 09-08-2003; in: "Informal Proceedings of the 9th International Workshop on Data Base Programming Languages", (2003), 135 - 146.

    More information

  16. N. Musliu:
    "Applying Tabu Search to the Rotating Workforce Scheduling Problem";
    Poster: The 5th Metaheuristics International Conference, Kyoto, Japan; 08-25-2003 - 08-28-2003; in: "Proceedings of "The Fifth Metaheuristics International Conference", (2003), 12 - 18.

  17. G. Pfeifer:
    "Solving Hard Disjunctive Logic Programs Faster";
    Poster: 2003 Joint Conference on Declarative Programming, Reggio Calabria, Italien; 09-03-2003 - 09-05-2003; in: "Proceedings of the 2003 Joint Conference on Declarative Programming", Mediterranea, (2003), 227 - 236.

    More information

  18. Sagar, P. Fenkam, H. Veith, H. Gall, E. Kirda, S. Jha:
    "Integrating Publish/Subscribe into a Mobile Teamwork Support Platform";
    Talk: International Conference on Software Engineering and Knowledge Engineering (SEKE), USA, San Francisco Bay; 07-01-2003 - 07-03-2003; in: "Proceedings of the 15th International Conference on Software Engineering and Knowledge Engineering", (2003), ISBN: 1-891706-12-8; 510 - 517.

    More information

  19. M. Samer, H. Veith:
    "Validity of CTL Queries Revisited";
    Talk: Annual Conference of the European Association for Computer Science Logic (CSL), Wien, Österreich; 08-25-2003 - 08-30-2003; in: "Proceedings of the 12th Annual Conference of the European Association for Computer Science Logic", M. Baaz, J. A. Makowsky (ed.); Springer-Verlag Berlin Heidelberg, Lecture Notes in Computer Science Vol. 2803 (2003), ISBN: 3-540-40801-0; 470 - 483.

  20. H. Veith:
    "Friends or Foes? Communities in Software Verification";
    Talk: Computer Science Logic (CSLŽ3), Wien, Österreich (invited); 08-25-2003 - 08-30-2003; in: "Lecture Notes in Computer Science", Spronger-Verlag Heidelberg, Volume 2803 / 2003 (2003), ISBN: 3-540-40801-0; 528 - 529.


Talks and Poster Presentations (without Proceedings-Entry)


  1. G. Gottlob:
    "Enabling Systems to Access Web Data-Novel Wrapper and Data Aggregation Technology";
    Talk: Ninth International Conference on Computer Aided Systems Theory - EUROCAST 2003, Las Palmas de Gran Canaria, Spain (invited); 02-24-2003 - 02-28-2003.

  2. G. Gottlob:
    "Existential Second-Order Logic over Graphs: Charting the Tractability Frontier";
    Talk: Model Theory Workshop FMT'03, Bedlewo, Polen (invited); 03-31-2003 - 04-04-2003.

  3. G. Gottlob:
    "Monadic Second order Logic and Logic Programming over Tree-Structured Data";
    Talk: 2003 Joint Conference on Declarative Programming, Reggio Calabria, Italien (invited); 09-03-2003 - 09-05-2003.

  4. G. Gottlob:
    "Web information Extraction with Lixto: Visual Logic and Expressive Power";
    Talk: The 2003 IEEE/WIC International Conference on Web Intelligence (WI 2003), Halifax, Kanada (invited); 10-13-2003 - 10-16-2003.

    More information

  5. G. Gottlob, R. Baumgartner, S. Flesca, M. Herzog, C. Koch:
    "Web information Extracton with Lixto: Visual Logic and Expressive Power";
    Talk: DISI Seminar, Genua, Italien (invited); 11-24-2003 - 11-26-2003.

  6. G. Gottlob, C. Koch:
    "Xpath Query Processing";
    Talk: The 9th International Workshop on Data Base Programming Languages, Potsdam, Deutschland (invited); 09-06-2003 - 09-08-2003.


Habilitation Theses


  1. C. Koch:
    "Queries on tree-structured data";
    TU Wien, Fakultät für Informatik, 2003.


Doctor's Theses (authored and supervised)


  1. E. Fütty:
    "A machine translation system based on the interlingua method, using ESPERANTO as the interlingua, in conbination with sentence patterns";
    Supervisor, Reviewer: G. Gottlob; Institut für Informationssysteme, ARGR Datenbanken & Artificial Intelligence, 2003.

  2. T. Korimort:
    "Heuristic Hypertree Decomposition";
    Supervisor, Reviewer: G. Gottlob; Institut für Informationssysteme, ARGR Datenbanken & Artificial Intelligence, 2003.

  3. A. Polleres:
    "Advances in Answer Set Planning";
    Supervisor, Reviewer: T. Eiter, G. Gottlob; Institut für Informationssysteme, 2003.

    More information

  4. A. Prianichnikova:
    "Preemtive Scheduling in real time systems with cyclic precedence constraints";
    Supervisor, Reviewer: J. Dorn; Institut für Informationssysteme, 2003.

    More information


Diploma and Master Theses (authored and supervised)


  1. F. Bruckner:
    "Entwurf und Implementierung eines wertebasierten Diagnose-Modells für VHDL-Programme";
    Supervisor: F. Wotawa; Institut für Informationssysteme, 2003.

  2. A. Burner:
    "Multi-Platform Publishing";
    Supervisor: G. Gottlob, M. Herzog; Institut für Informationssysteme, 2003.

  3. A. Corradini:
    "Eine webbasierte Übungsumgebung: Ein webbasiertes e-learning Tool im Bereich von Datenbanksystemen mit den Schwerpunkten "minimale Überdeckung", Schlüsselsuche und 3. Normalform";
    Supervisor: G. Gottlob, G. Pfeifer; für Informationssysteme, 2003.

  4. K. Dotchkov:
    "Database Migration from Oracle to SQL Server";
    Supervisor: G. Gottlob; Institut für Informationssysteme, ARGR Datenbanken & Artificial Intelligence, 2003.

  5. R. El-Berry:
    "Analyse, Entwurf und Implementierung einer XML-basierten Prozessgrammatik";
    Supervisor: J. Dorn; Institut für Informationssysteme, Arbeitsbereich Datenbanken & Artificial Intelligence, 2003.

    More information

  6. S. Forsich:
    "Zahlungssysteme im Internet";
    Supervisor: J. Dorn; Institut für Informationssysteme, ARGR Datenbanken & Artificial Intelligence, 2003.

  7. C. Gruber:
    "Generisches Entwickeln mittels PHP und M4 SQL am Beispiel einer Backoffile-Datenbank";
    Supervisor: G. Gottlob; Institut für Informationssysteme, 2003.

  8. T. Györgyfalvay:
    "Efficient Implementation of Telecommunication Support Tools Based on Database Systems";
    Supervisor: G. Gottlob; Institut für Informationssysteme, 2003.

    More information

  9. G. Houska:
    "Erfolgsfaktoren Mobiler Kommunikation im Aussendienst";
    Supervisor: J. Dorn; Institut für Informationssysteme, Datenbanken & Artificial Intelligence, 2003.

    More information

  10. A. Köck:
    "Internet-basierte Billig-Systeme im Tourismus";
    Supervisor: J. Dorn; Institut für Informationssysteme, Arbeitsbereich Datenbanken & Artificial Intelligence, 2003.

    More information

  11. V. Krammer:
    "Vergleich von Open-Source-Datenbanksystemen: SAP DB, PostgreSQL und MySQL";
    Supervisor: G. Gottlob; Institut für Informationssysteme, ARGR Datenbanken & Artificial Intelligence, 2003.

  12. A. Krisch:
    "Ubiquitous Computing und Privatsphäre";
    Supervisor: J. Dorn; Institut für Informationssysteme, 2003.

  13. M. Kummerer:
    "Problematik der nachträglichen Dokumentation einer Datenbankanwendung unter besonderer Berücksichtigung der Unified Modeling Language";
    Supervisor: W. Slany; Institut für Informationssysteme, 2003.

  14. A. Plaickner:
    "Symbolic Model Checking using NUSMV";
    Supervisor: H. Veith; Institut für Informationssysteme, 2003.

    More information

  15. A. Plaickner:
    "Symbolic Model Checking using NUSMV";
    Supervisor: H. Veith; Institut für Informationssysteme, 2003.

  16. R. Rateshtari:
    "Personal and Knowledge Management";
    Supervisor: J. Dorn; Institut für Informationssysteme, ARGR Datenbanken & Artificial Intelligence, 2003.

  17. T. Sillhengst:
    "Integration von mobilen Geräten in Web - Prozesse";
    Supervisor: J. Dorn; Institut für Informationssysteme, Arbeitsbereich Datenbanken & Artificial Intelligence, 2003.

    More information


Scientific Reports


  1. T. DellŽArmi, W. Faber, G. Ielpa, N. Leone, G. Pfeifer:
    "Semantics and Computation of Aggregate Functions in Disjunctive Logic Programming";
    2003.

  2. T. Eiter, W. Faber, G. Pfeifer, M. Fink, S. Woltran:
    "Complexity of Answer Set Checking and Bounded Predicate Arities for Non-Ground Answer Set Programming";
    2003.