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. 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
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
- 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
Complexity issues
- 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
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
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-18T214307 by the dblp team