Books and other writings
There are currently 17 Books and other writings in the database:1998 | 1997 | 1995 | 1993 | 1992 | 1990 | 1989 | 1988 | 1985 | 1983 | 1981 | 1979 |
1998
G. Gottlob and E.Grandjean, K. Seyr (Editors). Computer Science Logic. Proceedings of the 12th International Workshop CSL'98. Brno, Czech Republic, August 1998. Number 1584 in LNCS. Springer Verlag Heidelberg, 19981997
J. Dorn and G. Gottlob. Künstliche Intelligenz. In Informatik-Handbuch, P. Rechenberg and G. Pomberger Eds, Hanser Verlag 1997, pp819-8381995
G. Gottlob and M. Vardi, editors. Database Theory. ICDT'95, 5th International Conference, Number 893 in LNCS. Springer Verlag Heidelberg, 19951993
G. Gottlob, A. Leitsch, and D. Mundici, editors. Computational Logic and Proof Theory. Proceedings of the Third Kurt Grödel Kolloquium, Brno, Czech Republic, August 1993, Number 713 in LNCS. Springer Verlag Heidelberg, 1993. Other writings1992
A. Pirotte, C. Delobel, and G. Gottlob, editors. Advances in Database Technology. EDBT92 Number 580 in LNCS. Springer Verlag Heidelberg, 19921990
S. Ceri, G. Gottlob, and L. Tanca. Logic Programming and Databases. Surveys in Computer Science. Springer Verlag, 1990G. Gottlob and W. Nejdl (Editors). Expert Systems in Engineering - Principles and Applications. (Proceedings of an International Workshop, Vienna,September 1990). LNCS/AI-462. Springer Verlag Heidelberg, 1990
Th. Frühwirth, G. Gottlob, and W. Horn (Editors). Expertensysteme - Grundlagen und Methoden. Springers Angewandte Informatik. Springer Verlag Wien-New York, 1990
G. Friedrich and G. Gottlob. Inferenzstrategien. In Th. Frühwirth, G. Gottlob, and W. Horn, editors, Expertensysteme. Springer-Verlag, 1990
1989
G. Gottlob, M. Schre, and M. Stumptner. Datenbanksysteme (Vorlesungsskriptum). Course Lecture Notes. Technische Universität Wien, 19891988
G. Gottlob and M. Stumptner. AI und Expertensysteme - Von Software Engineering zu Knowledge Engineering. In Technik und Trends, Schriftenreihe des Österreichischen Industriewissenschaftlichen Instituts, 1988A. Ancona, G. Gottlob, A. Clematis, L. DeFloriani, G. Dodero, and Vl Gianuzzi. Permanent data structures for Modula2. Technical Report SP2-88, TU-184-2, 1988
1985
S. Copelli, G. Gottlob, L. Grossi, D. Mandrioli und P. Paolini, L. Suppa, and A. Repichini. SAD: Sistema di Archivi Distribuiti. C.NR-DATANET, 19851983
G. Gottlob. On the truth functional representations of some special extensions of the propositional calculus. Technical report, TU-184-2, 1983. Manuscript1981
G. Gottlob. Dissertation: Mehrwertige Logik - Aufbau und Anwendung in der Informatik. PhD thesis, Technische Universität Wien, 1981G. Gottlob. Operative dreiwertige Logiken zur Charakterisierung von Entscheidungsprozessen und Auswertunsvorgängen. In Manuscript. Talk and Abstract presented at the International Symposium on Logic and Philosophy of Science, Kirchberg, Austria, 1981