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
41 Datensätze
Bücher und Buch-Herausgaben
-
J. Renz:
"Qualitative Spatial reasoning with Topological Information, LNCS 2293";
Springer,
Berlin,
2002,
ISBN: 3-540-43346-5;
190 S.
Zeitschriftenartikel
-
R. Baumgartner, G. Gottlob:
"Propositional Default Logics Made Easier: Computational Complexity of Model Checking";
Theoretical Computer Science,
289
(2002),
S. 591
- 627.
-
M. Broxvall, P. Jonsson, J. Renz:
"Disjunctions, Independence, Refinements";
Artificial Intelligence,
140
(2002),
1-2;
S. 153
- 173.
-
A. Gerevini, J. Renz:
"Combining Topological and Size Constraints for Spatial Reasoning";
Artificial Intelligence,
137
(2002),
1-2;
S. 1
- 42.
-
N. Musliu, J. Gärtner, W. Slany:
"Efficient generation of rotating workforce schedules";
Discrete Applied Mathematics,
118
(2002),
1-2;
S. 85
- 98.
-
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
-
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
-
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)
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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)
-
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.
-
G. Pfeifer:
"Tutorial: Answer Set Programming";
Vortrag: 8th European Conference on Artificial Intelligence, JELIA 2002,
Cosenza, Italien;
26.09.2002
- 29.09.2002.
Dissertationen (eigene und begutachtete)
-
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)
-
M. Böck:
"Usenet Test: Ein System zur vergleichenden Bewertung von Usenet News-Servern";
Betreuer/in(nen): G. Pfeifer;
Institut für Informationssysteme,
2002.
-
D. Böckmann:
"Prozessoptimierung im intermodalen Güterverkehr durch den Einsatz von Informationssystemen";
Betreuer/in(nen): J. Dorn;
Institut für Informationssysteme,
2002.
-
S. Fischer:
"Unterstützung von Quality Function Deployment durch Informationssysteme";
Betreuer/in(nen): J. Dorn;
Institut für Informationssysteme,
2002.
-
T. Gattringer:
"Location Based Services";
Betreuer/in(nen): M. Herzog, G. Gottlob;
Institut für Informationssysteme,
2002.
-
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.
-
M. Hutle:
"Constraint Satisfaction Problems - Hyprid Decompostion and Evaluation";
Betreuer/in(nen): F. Wotawa;
Institut für Informationssysteme,
2002.
-
O. Jorns:
"Aspekte der IT-Security als technisches Gestaltungsziel aus Perspektive der Organisation";
Betreuer/in(nen): W. Slany;
Institut für Informationssysteme,
2002.
-
C. Kahlig:
"Wissensextraktion aus Dokumenten";
Betreuer/in(nen): J. Dorn;
Institut für Informationssysteme,
2002.
-
M. Liehmann:
"Erweiterung einer Webserver-Scriptingsprache um XQL - MetaHTML, XML und XQL";
Betreuer/in(nen): G. Pfeifer, W. Slany;
Institut für Informationssysteme,
2002.
-
B. Marx:
"Systematische Vergabe von Benutzerzugriffsberechtigungen";
Betreuer/in(nen): J. Dorn;
Institut für Informationssysteme,
2002.
-
C. Maschek:
"Erfahrung und Bewertung mit dem Einsatz vom SAP Workflowmanagementsystem in der Praxis";
Betreuer/in(nen): J. Dorn;
Institut für Informationssysteme,
2002.
-
S. Nebl:
"Anforderungen an Benutzerprofile bei mobilen Telekommunikationsservices";
Betreuer/in(nen): J. Dorn;
Institut für Informationssystem,
2002.
-
H. Petek:
"System Analysis und Monitoring";
Betreuer/in(nen): F. Wotawa;
Institut für Informationssysteme,
2002.
-
M. Rosenthal:
"Analyse von Geschäftsmodellen im Internet";
Betreuer/in(nen): J. Dorn;
Institut für Informationssysteme,
2002.
-
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
-
T. Eiter, W. Faber, N. Leone, G. Pfeifer:
"Computing Preferred Answer Sets by Meta-Interpretation in Answer Set Programming";
2002.
-
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.
-
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.