CNKBS 1992: Munich, Germany

Gérard Comyn, Matthias Jarke, Suryanarayana M. Sripada (Eds.): CNKBS'92, Proceedings of the First Compulog Net Meeting on Knowledge Bases, Munich, Germany, 6-7 February 1992. ECRC-92-2 European Computer-Industry Research Centre, Munich 1992

Tutorial

Rainer Manthey: Update-driven Inference in Deductive Databases. 1-5

Semantics of Deductive Databases

Hendrik Decker: Foundations of first-order databases. 6-8
Antonio Brogi, Evelina Lamma, Paolo Mancarella, Paola Mello: Normal logic programs as open positive programs. 9-11
Eric Wegrzynowski, Jean-Paul Delahaye: The grand loop semantics for logic programs. 12-15

Conditional/Intensional Answers

Robert Demolombe: A strategy for the computation of conditional answers. 16-17
Giuseppe De Giacomo: Intensional query answering by partial evaluation. 18-20

Queries

Manfred A. Jeusfeld, Martin Staudt: Query classes. 21-23
Burkhard Freitag: Bottom-up evaluation of embedded implications. 24-26
Elisa Bertino, Maurizio Martelli, Danilo Montesi: CLP (X) as a framework for action and deduction. 27-29

Panel on Implemented KBS and Technology Transfer

Michael Freeston: First find your clause. 30-33
Rainer Haidan: Conceptual Modelling in a Logic Based Framework. 34-35
Michael Ley, Bernd Walter: LILOG-DB: Some implementation techniques. 36-37

Complexity issues

Thomas Eiter, Georg Gottlob: Complexity of Propositional Knowledge Base Revision. 38-40
Foto N. Afrati: The parallel complexity of single rule logic programs. 41-43

Meta-level architectures

Fausto Giunchiglia, Luciano Serafini: Multilanguage hierarchical logics (or: how we can do without modal logics). 44-45
Suryanarayana M. Sripada: Temporal deductive databases. 46-48
Danny De Schreye, Bern Martens: A sensible least Herbrand semantics for untyped Vanilla meta-programming and its extension to a limited form of amalgamation. 49-51

Structured Concepts

Jørgen Fischer Nilsson: Concept object algebra for knowledge bases. 52-54
Georg Lausen, Heinz Uphoff: Inheritance and rules. 55-57

Formal Aspects of Information Systems

Pierangelo Miglioli, Ugo Moscato, Mario Ornaghi: A constructive logic approach to database theory. 58-60
Magnus Boman, Paul Johanesson: A note on the limitations of utilizing logic for federated information systems. 61-63
Dolors Costal: A method for reasoning about deductive conceptual models of information systems. 64-66

Copyright © Fri Mar 12 17:08:08 2010 by Michael Ley (ley@uni-trier.de)