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
2004 - 2004
46 Datensätze
Zeitschriftenartikel
-
G. Antoniou, M. Baldoni, C. Baroglio, R. Baumgartner, F. Bry, T. Eiter, N. Henze, M. Herzog, W. May, V. Patti, R. Schindlauer, H. Tompits, S. Schaffert:
"Reasoning Methods for Personalization on the Semantic Web";
Annals of Mathematics, Computing & Teleinformatics,
2
(2004),
S. 1
- 24.
-
R. Baumgartner, M. Herzog:
"Using Lixto for automating portal-based B2B processes in the automotive industry";
International Journal of Electronic Business (IJEB),
2
(2004),
5;
S. 519
- 530.
-
J. Dorn:
"Planning in virtual enterprises";
International Journal of Electronic Business (IJEB),
2
(2004),
5;
S. 557
- 565.
-
T. Eiter, W. Faber, N. Leone, G. Pfeifer, A. Polleres:
"A Logic Programming Approach to Knowledge-State Planning: Semantics and Complexity";
ACM Transactions on Computational Logic,
5
(2004),
2;
S. 206
- 263.
-
G. Gottlob, C. Koch:
"Logic-based Web Information Extraction";
ACM SIGMOD Record,
Vol. 33
(2004),
2;
S. 87
- 94.
-
G. Gottlob, C. Koch:
"Monadic Datalog and the Expressive Power of Languages Web Information Extraction";
Journal of the ACM,
51
(2004),
1;
S. 74
- 113.
-
C. Koch:
"Query Rewriting with Symmetric Constraints";
AI Communications,
17
(2004),
2;
S. 41
- 100.
-
N. Musliu, A. Schaerf, W. Slany:
"Local search for shift design";
European Journal of Operational Research,
153
(2004),
1;
S. 51
- 64.
-
G. Pfeifer:
"Improving the Model Generation/Checking Interplay to Enhance the Evaluation of Disjunctive Programs";
Lecture Notes in Computer Science,
2923
(2004),
2923;
S. 220
- 233.
Buchbeiträge
-
H. Werthner, O. Fodor, M. Herzog:
"Web Information Extraction and Mediation as a Basis for Smart Business Networking ";
in: "Smart Business Networks. Based on the Vanenburg Science Seminar 26-28 May 2004",
herausgegeben von: Peter Vervest, Eric van Heck, Kenneth Preiss, Louis Francois Pau;
Springer,
2004.
Beiträge in Tagungsbänden
-
F. Calimeri, M. Citrigno, C. Cumbo, W. Faber, N. Leone, S. Perri, G. Pfeifer:
"New DLV Features for Data Integration";
in: "Logics in Artificial Intelligence, 9th European Conference, JELIA 2004, Lisbon, Portugal, September 2004, Proceedings",
J. Alferes, J. Leite (Hrg.);
Springer, LNAI,
2004,
ISBN: 3-540-23242-7,
S. 698
- 701.
-
T. Dell´Armi, W. Faber, G. Ielpa, N. Leone, G. Pfeifer:
"System Description: DLV with Aggregates";
in: "Logic Programming and Nonmonotonic Reasoning, 7th International Conference, LPNMR 2004",
V. Lifschitz, I. Niemelä (Hrg.);
Springer, LNAI 2923,
2004,
ISBN: 3-540-20721-x,
S. 326
- 330.
-
J. Dorn, P. Hrastnik, A. Rainer:
"Conferences as a Virtual Enterprises";
in: "Virtual Enterprises and Collaborative Networks",
herausgegeben von: Camarintha-Matos;
Virtual Enterprises and Collaborative Networks,
Kluwer Academic Publishers,
2004,
S. 551
- 558.
Vorträge und Posterpräsentationen (mit Tagungsband-Eintrag)
-
R. Baumgartner, G. Gottlob, M. Herzog, W. Slany:
"Interactively Adding Web Service Interfaces to Existing Web Applications";
Vortrag: International Symposium on Applications and the Internet,
Tokyo, Japan;
26.01.2004
- 31.01.2004; in: "Proceedings of the 2004 International Symposium on Applications and the Internet (SAINT 2004)",
IEEE,
(2004),
ISBN: 0-7695-2068-5;
S. 74
- 80.
-
J. Dorn:
"A Mobile Communication Forum for Conferences";
Vortrag: Proceedings of m>Business 2004,
New York;
12.07.2004
- 13.07.2004; in: "Proceedings of m>Business 2004",
(2004).
-
J. Dorn:
"Evaluating Reactive Scheduling Systems";
Vortrag: IAT 2004,
Beijing, China;
20.09.2004
- 24.09.2004; in: "Proceedings of the 2004 IEEE/WIC/ACM International Conference on Intelligent Agent Technology",
IEEE Computer Society,
P2101
(2004),
ISBN: 0-7695-2101-0;
S. 458
- 461.
-
J. Dorn:
"m>Forvm - Supporting Organization and Participants of Conferences with Multimodal Communication";
Vortrag: Fifth Global Information Technology Management World Conference,
San Diego, California, USA (eingeladen);
13.06.2004
- 15.06.2004; in: "Fifth Proceedings of the Annual Global Information Technology Management world Conference",
(2004),
S. 126.
-
J. Dorn, A. Rainer, P. Hrastnik:
"Strategies for Virtual Enterprises Using XForms and the Semantic Web";
Vortrag: International Workshop on Semantic Web Technologies in Electronic Business (SWEB2004),
Berlin;
11.10.2004
- 13.10.2004; in: "Proceedings of International Workshop on Semantic Web Technologies in Electronic Business (SWEB2004)",
(2004),
ISBN: 3-88579-122-6;
S. 16.
-
J. Dorn, T. Sillhengst:
"Integrating Mobile Devices in Web Processes";
Vortrag: Fifth Global Information Technology Management World Conference,
San Diego, California, USA (eingeladen);
13.06.2004
- 15.06.2004; in: "Proceedings of the Fifth Annual Global Information Techology Management World Conference",
(2004),
S. 112
- 115.
-
T. Eiter, W. Faber, M. Fink, G. Pfeifer, S. Woltran:
"Complexity of Model Checking and Bounded Predicate Arities for Non-ground Answer Set Programming";
Vortrag: Principles of Knowledge Representation and Reasoning (KR),
Whistler, BC, Canada;
02.06.2004
- 05.06.2004; in: "Principles of Knowledge Representation and Reasoning, Proceedings of the Ninth Conference",
D. Dubois, C. Welty, M.-A. Williams (Hrg.);
AAAI Press,
Menlo Park, CA, USA
(2004),
ISBN: 1-57735-199-1;
S. 377
- 387.
-
W. Faber, N. Leone, G. Pfeifer:
"Recursive Aggregates in Disjunctive Logic Programs: Semantics and Complexity";
Vortrag: 9th European Conference on Logics in AI (JELIA 2004),
Lisbon, Portugal;
27.09.2004
- 30.09.2004; in: "Logics in Artificial Intelligence",
J. Alferes, J. Leite (Hrg.);
Springer Verlag,
LNAI 3229
(2004),
ISBN: 3-540-23242-7;
S. 200
- 212.
-
J. Gärtner, N. Musliu, W. Slany:
"A Heuristic Based System for Generation of Shifts with Breaks";
Vortrag: Twenty-fourth SGAI International Conference on Innovative Techniques and Applications of Artificial Intelligence,
Cambridge, United Kingdom;
13.12.2004
- 15.12.2004; in: "Proceedings of the Twenty-fourth SGAI International Conference on Innovative Techniques and Applications of Artificial Intelligence",
Springer,
(2004),
ISBN: 1-85233-908-x;
S. 95
- 106.
-
G. Gottlob, C. Koch, R. Baumgartner, M. Herzog, S. Flesca:
"The_Lixto_Data_Extraction_Project_-_Back_and_Forth_between_Theory_and_Practice";
Vortrag: PODS 2004,
Paris, Frankreich (eingeladen);
14.06.2004
- 16.06.2004; in: "Proceedings of the Twenty-third ACM SIGMOND-SIGACT-SIGART Symposium on Principles of Database Systems",
Association for Computing Machinery, Inc. (ACM),
New York
(2004),
ISBN: 1-58113-858-x;
S. 1
- 12.
-
G. Gottlob, C. Koch, K. Schulz:
"Conjunctive Queries over Trees";
Vortrag: PODS 2004,
Paris, Frankreich (eingeladen);
14.06.2004
- 16.06.2004; in: "Proceedings of the Twenty-third ACM SIGMOND-SIGACT-SIGART Symposium on Principles of Database Systems",
Association for Computing Machinery, Inc. (ACM),
New York
(2004),
ISBN: 1-58113-858-x;
S. 189
- 200.
-
C. Koch, S. Scherzinger, N. Schweikardt, B. Stegmaier:
"FluXQuery: An Optimizing XQuery Processor for Streaming XML Data";
Vortrag: 30th International Conference on Very Large Data Bases (VLDB2004),
Toronto, Canada;
31.08.2004
- 03.09.2004; in: "Proceedings of the Thirtieth International Conference on Very Large Data Bases",
(2004),
ISBN: 0-12-088469-0;
S. 1309
- 1312.
-
C. Koch, S. Scherzinger, N. Schweikardt, B. Stegmaier:
"Schema-Based Scheduling of Event Processors and Buffer Minimization for Queries on Structured Data Streams";
Vortrag: 30th International Conference on Very Large Data Bases (VLDB2004),
Toronto, Canada;
29.08.2004
- 03.09.2004; in: "Proceedings of the Thirtieth International Conference on Very Large Data Bases",
Morgan Kaufmann Publishers,
(2004),
ISBN: 0-12-088469-0;
S. 228
- 239.
-
N. Musliu:
"Local Search Strategies for Rotating Workforce Scheduling";
Vortrag: 4th EU/ME Workshop,
Nottingham, UK;
04.11.2004
- 05.11.2004; in: "Design and Evaluation of Advanced Hybrid Meta-Heuristics",
(2004).
-
N. Musliu, M. Mörz:
"Genetic Algorithm for Rotating Workforce Scheduling Problem";
Vortrag: ICCC 2004,
Wien;
30.08.2004
- 01.09.2004; in: "Proceedings of the Second IEEE International Conference on Computational Cybernetics",
(2004),
S. 121
- 126.
-
M. Samer, H. Veith:
"A Syntactic Characterization of Distributive LTL Queries";
Vortrag: International Colloquium on Automata, Languages and Programming (ICALP),
Turku, Finnland;
12.07.2004
- 16.07.2004; in: "Proceedings of the 31st International Colloquium on Automata, Languages and Programming",
J. Diaz et al. (Hrg.);
Springer-Verlag Berlin Heidelberg,
Lecture Notes in Computer Science Vol. 3142
(2004),
ISBN: 3-540-22849-7;
S. 1099
- 1110.
-
M. Samer, H. Veith:
"Parameterized Vacuity";
Vortrag: International Conference on Formal Methods in Computer-Aided Design (FMCAD),
Austin, Texas, USA;
14.11.2004
- 17.11.2004; in: "Proceedings of the 5th International Conference on Formal Methods in Computer-Aided Design",
A. Hu, A. Martin (Hrg.);
Springer-Verlag Berlin Heidelberg,
Lecture Notes in Computer Science Vol. 3312
(2004),
ISBN: 3-540-23738-0;
S. 322
- 336.
-
W. Steiner, J. Rushby, M. Sorea, G. Pfeifer:
"Model Checking a Fault-Tolerant Startup Algorithm: From Design Exploration To Exhaustive Fault Simulation";
Vortrag: IEEE International Conference on Dependable Systems and Networks,
Florence, Italy;
28.06.2004
- 01.07.2004; in: "Proceedings of the International Conference on Dependable Systems and Networks (DSN 2004)",
IEEE,
(2004),
ISBN: 0-7695-2052-9.
Vorträge und Posterpräsentationen (ohne Tagungsband-Eintrag)
-
R. Baumgartner, S. Flesca, G. Gottlob, M. Herzog:
"Generating Wrappers for Web Information Sources";
Vortrag: Logic Based Information Agents,
Dagstuhl, Deutschland (eingeladen);
18.04.2004
- 23.04.2004.
-
R. Baumgartner, G. Gottlob, M. Herzog, W. Slany:
"Annotating the Legacy Web with Lixto";
Vortrag: ISWC 2004,
Hiroshima, Japan;
09.11.2004
- 11.11.2004.
Dissertationen (eigene und begutachtete)
-
S. Katzenbeisser:
"Cryptographic Watermarking";
Betreuer/in(nen), Begutachter/in(nen): H. Veith, G. Gottlob;
Institut für Informationssysteme, ARGR Datenbanken & Artificial Intelligence,
2004.
-
M. Samer:
"Reasoning about Specifications in Model Checking";
Betreuer/in(nen), Begutachter/in(nen): H. Veith, G. Gottlob;
Institut für Informationssysteme,
2004.
Diplom- und Master-Arbeiten (eigene und betreute)
-
A. Balaban:
"MIKSI - An Example of an Application Based on Service Oriented Architecture";
Betreuer/in(nen): J. Dorn;
Institut für Informationssysteme, Arbeitsbereich Datenbanken & Artificial Intelligence,
2004.
-
S. Denninger:
"Analyse des Verbesserungspotential von Geschäftsprozessen im Computerhandel durch Einführung von ebXML";
Betreuer/in(nen): J. Dorn;
Institut für Informationssysteme, Arbeitsbereich Datenbanken & Artificial Intelligence,
2004.
-
P. Freidl:
"XML-basierte Entwicklungsumgebungen für einfache Web-Applikationen und Prototypen im Umfeld medizinischer Forschungsaufgaben";
Betreuer/in(nen): G. Gottlob, R. Baumgartner;
Institut für Informationsysteme, ARGR Datenbaken & Artificial Intelligence,
2004.
-
R. Gruber:
"Bewertung von Geschäftsprozessen";
Betreuer/in(nen): J. Dorn;
Institut für Informationssysteme, Arbeitsbereich Datenbanken & Artificial Intelligence,
2004.
-
E. Kicker:
"Entwurf und Realisierung eines Webinformationssystems zur Verwaltung in der Lehre";
Betreuer/in(nen): J. Dorn;
Institut für Informationssysteme, Arbeitsbereich Datenbanken & Artificial Intelligence,
2004.
-
T. Lukasser:
"Efficient Processing of XPath Queries";
Betreuer/in(nen): C. Koch;
Institut für Informationssysteme, Arbeitsbereich Datenbanken & Artificial Intelligence,
2004.
-
C. Piffer:
"Eine Transportplattform für die Koordinierung von Personen- und Gütertransporten in Österreich";
Betreuer/in(nen): J. Dorn;
Institut für Informationssysteme, Arbeitsbereich datenbanken & Artificial Intelligence,
2004.
-
E. Schamp:
"Analyse des Einsatzes von mobiler Kommunikation für die Verwaltung von öffentlichen Parkgaragen";
Betreuer/in(nen): J. Dorn;
Institut für Informationssysteme, Arbeitsbereich Datenbanken & Artificial Intelligence,
2004.
-
F. Schweiger:
"EAI Prozessmodellierung";
Betreuer/in(nen): J. Dorn;
Institut für Informationssysteme, Arbeitsbereich Datenbanken & Artificial Intelligence,
2004.
-
C. Summerer:
"Interfaces zwischen XML-Datemodellen, basierend auf der Software Lixto, und relationalen Datenbanken";
Betreuer/in(nen): G. Gottlob, R. Baumgartner;
Institut für Informationssysteme, Arbeitsbereich Datenbanken & Artificial Intelligence,
2004.
-
C. Wenger:
"Entwurf und Realisierung eines Projekts zur Katalogisierung von gastronomischen Betrieben";
Betreuer/in(nen): J. Dorn;
Institut für Informationssysteme, Arbeitsbereich Datenbanken & Artificial Intelligence,
2004.