CNKBS

Keyphrases

Publications

1992

Suryanarayana M. Sripada
Temporal deductive databases. CNKBS (1992)
CNKBS'92, Proceedings of the First Compulog Net Meeting on Knowledge Bases, Munich, Germany, 6-7 February 1992 CNKBS (1992)
Magnus Boman, Paul Johanesson
A note on the limitations of utilizing logic for federated information systems. CNKBS (1992)
Jørgen Fischer Nilsson
Concept object algebra for knowledge bases. CNKBS (1992)
Michael Ley, Bernd Walter
LILOG-DB: Some implementation techniques. CNKBS (1992)
Thomas Eiter, Georg Gottlob
Complexity of Propositional Knowledge Base Revision. CNKBS (1992)
Robert Demolombe
A strategy for the computation of conditional answers. CNKBS (1992)
Dolors Costal
A method for reasoning about deductive conceptual models of information systems. CNKBS (1992)
Burkhard Freitag
Bottom-up evaluation of embedded implications. CNKBS (1992)
Rainer Haidan
Conceptual Modelling in a Logic Based Framework. CNKBS (1992)
Pierangelo Miglioli, Ugo Moscato, Mario Ornaghi
A constructive logic approach to database theory. CNKBS (1992)
Michael Freeston
First find your clause. CNKBS (1992)
Rainer Manthey
Update-driven Inference in Deductive Databases. CNKBS (1992)
Georg Lausen, Heinz Uphoff
Inheritance and rules. CNKBS (1992)
Foto N. Afrati
The parallel complexity of single rule logic programs. CNKBS (1992)
Giuseppe De Giacomo
Intensional query answering by partial evaluation. CNKBS (1992)
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)
Elisa Bertino, Maurizio Martelli, Danilo Montesi
CLP (X) as a framework for action and deduction. CNKBS (1992)
Eric Wegrzynowski, Jean-Paul Delahaye
The grand loop semantics for logic programs. CNKBS (1992)
Fausto Giunchiglia, Luciano Serafini
Multilanguage hierarchical logics (or: how we can do without modal logics). CNKBS (1992)
Manfred A. Jeusfeld, Martin Staudt
Query classes. CNKBS (1992)
Antonio Brogi, Evelina Lamma, Paolo Mancarella, Paola Mello
Normal logic programs as open positive programs. CNKBS (1992)
Hendrik Decker
Foundations of first-order databases. CNKBS (1992)