default search action
CNKBS 1992: Munich, Germany
- Gérard Comyn, Matthias Jarke, Suryanarayana M. Sripada:
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. CNKBS 1992: 1-5
Semantics of Deductive Databases
- Hendrik Decker:
Foundations of first-order databases. CNKBS 1992: 6-8 - Antonio Brogi, Evelina Lamma, Paolo Mancarella, Paola Mello:
Normal logic programs as open positive programs. CNKBS 1992: 9-11 - Eric Wegrzynowski, Jean-Paul Delahaye:
The grand loop semantics for logic programs. CNKBS 1992: 12-15
Conditional/Intensional Answers
- Robert Demolombe:
A strategy for the computation of conditional answers. CNKBS 1992: 16-17 - Giuseppe De Giacomo:
Intensional query answering by partial evaluation. CNKBS 1992: 18-20
Queries
- Manfred A. Jeusfeld, Martin Staudt:
Query classes. CNKBS 1992: 21-23 - Burkhard Freitag:
Bottom-up evaluation of embedded implications. CNKBS 1992: 24-26 - Elisa Bertino, Maurizio Martelli, Danilo Montesi:
CLP (X) as a framework for action and deduction. CNKBS 1992: 27-29
Panel on Implemented KBS and Technology Transfer
- Michael Freeston:
First find your clause. CNKBS 1992: 30-33 - Rainer Haidan:
Conceptual Modelling in a Logic Based Framework. CNKBS 1992: 34-35 - Michael Ley, Bernd Walter:
LILOG-DB: Some implementation techniques. CNKBS 1992: 36-37
Complexity issues
- Thomas Eiter, Georg Gottlob:
Complexity of Propositional Knowledge Base Revision. CNKBS 1992: 38-40 - Foto N. Afrati:
The parallel complexity of single rule logic programs. CNKBS 1992: 41-43
Meta-level architectures
- Fausto Giunchiglia, Luciano Serafini:
Multilanguage hierarchical logics (or: how we can do without modal logics). CNKBS 1992: 44-45 - Suryanarayana M. Sripada:
Temporal deductive databases. CNKBS 1992: 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. CNKBS 1992: 49-51
Structured Concepts
- Jørgen Fischer Nilsson:
Concept object algebra for knowledge bases. CNKBS 1992: 52-54 - Georg Lausen, Heinz Uphoff:
Inheritance and rules. CNKBS 1992: 55-57
Formal Aspects of Information Systems
- Pierangelo Miglioli, Ugo Moscato, Mario Ornaghi:
A constructive logic approach to database theory. CNKBS 1992: 58-60 - Magnus Boman, Paul Johanesson:
A note on the limitations of utilizing logic for federated information systems. CNKBS 1992: 61-63 - Dolors Costal:
A method for reasoning about deductive conceptual models of information systems. CNKBS 1992: 64-66
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.