Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Suryanarayana M. Sripada |
Temporal deductive databases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CNKBS ![In: CNKBS'92, Proceedings of the First Compulog Net Meeting on Knowledge Bases, Munich, Germany, 6-7 February 1992, pp. 46-48, 1992, European Computer-Industry Research Centre, Munich. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
1 | 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 ![Search on Bibsonomy](Pics/bibsonomy.png) |
CNKBS ![European Computer-Industry Research Centre, Munich The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
1 | Magnus Boman, Paul Johanesson |
A note on the limitations of utilizing logic for federated information systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CNKBS ![In: CNKBS'92, Proceedings of the First Compulog Net Meeting on Knowledge Bases, Munich, Germany, 6-7 February 1992, pp. 61-63, 1992, European Computer-Industry Research Centre, Munich. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
1 | Jørgen Fischer Nilsson |
Concept object algebra for knowledge bases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CNKBS ![In: CNKBS'92, Proceedings of the First Compulog Net Meeting on Knowledge Bases, Munich, Germany, 6-7 February 1992, pp. 52-54, 1992, European Computer-Industry Research Centre, Munich. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
1 | Michael Ley, Bernd Walter |
LILOG-DB: Some implementation techniques. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CNKBS ![In: CNKBS'92, Proceedings of the First Compulog Net Meeting on Knowledge Bases, Munich, Germany, 6-7 February 1992, pp. 36-37, 1992, European Computer-Industry Research Centre, Munich. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
1 | Thomas Eiter, Georg Gottlob |
Complexity of Propositional Knowledge Base Revision. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CNKBS ![In: CNKBS'92, Proceedings of the First Compulog Net Meeting on Knowledge Bases, Munich, Germany, 6-7 February 1992, pp. 38-40, 1992, European Computer-Industry Research Centre, Munich. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
1 | Robert Demolombe |
A strategy for the computation of conditional answers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CNKBS ![In: CNKBS'92, Proceedings of the First Compulog Net Meeting on Knowledge Bases, Munich, Germany, 6-7 February 1992, pp. 16-17, 1992, European Computer-Industry Research Centre, Munich. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
1 | Dolors Costal |
A method for reasoning about deductive conceptual models of information systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CNKBS ![In: CNKBS'92, Proceedings of the First Compulog Net Meeting on Knowledge Bases, Munich, Germany, 6-7 February 1992, pp. 64-66, 1992, European Computer-Industry Research Centre, Munich. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
1 | Burkhard Freitag |
Bottom-up evaluation of embedded implications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CNKBS ![In: CNKBS'92, Proceedings of the First Compulog Net Meeting on Knowledge Bases, Munich, Germany, 6-7 February 1992, pp. 24-26, 1992, European Computer-Industry Research Centre, Munich. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
1 | Rainer Haidan |
Conceptual Modelling in a Logic Based Framework. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CNKBS ![In: CNKBS'92, Proceedings of the First Compulog Net Meeting on Knowledge Bases, Munich, Germany, 6-7 February 1992, pp. 34-35, 1992, European Computer-Industry Research Centre, Munich. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
1 | Pierangelo Miglioli, Ugo Moscato, Mario Ornaghi |
A constructive logic approach to database theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CNKBS ![In: CNKBS'92, Proceedings of the First Compulog Net Meeting on Knowledge Bases, Munich, Germany, 6-7 February 1992, pp. 58-60, 1992, European Computer-Industry Research Centre, Munich. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
1 | Michael Freeston |
First find your clause. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CNKBS ![In: CNKBS'92, Proceedings of the First Compulog Net Meeting on Knowledge Bases, Munich, Germany, 6-7 February 1992, pp. 30-33, 1992, European Computer-Industry Research Centre, Munich. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
1 | Rainer Manthey |
Update-driven Inference in Deductive Databases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CNKBS ![In: CNKBS'92, Proceedings of the First Compulog Net Meeting on Knowledge Bases, Munich, Germany, 6-7 February 1992, pp. 1-5, 1992, European Computer-Industry Research Centre, Munich. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
1 | Georg Lausen, Heinz Uphoff |
Inheritance and rules. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CNKBS ![In: CNKBS'92, Proceedings of the First Compulog Net Meeting on Knowledge Bases, Munich, Germany, 6-7 February 1992, pp. 55-57, 1992, European Computer-Industry Research Centre, Munich. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
1 | Foto N. Afrati |
The parallel complexity of single rule logic programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CNKBS ![In: CNKBS'92, Proceedings of the First Compulog Net Meeting on Knowledge Bases, Munich, Germany, 6-7 February 1992, pp. 41-43, 1992, European Computer-Industry Research Centre, Munich. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
1 | Giuseppe De Giacomo |
Intensional query answering by partial evaluation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CNKBS ![In: CNKBS'92, Proceedings of the First Compulog Net Meeting on Knowledge Bases, Munich, Germany, 6-7 February 1992, pp. 18-20, 1992, European Computer-Industry Research Centre, Munich. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
1 | Danny De Schreye, Bern Martens |
A sensible least Herbrand semantics for untyped Vanilla meta-programming and its extension to a limited form of amalgamation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CNKBS ![In: CNKBS'92, Proceedings of the First Compulog Net Meeting on Knowledge Bases, Munich, Germany, 6-7 February 1992, pp. 49-51, 1992, European Computer-Industry Research Centre, Munich. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
1 | Elisa Bertino, Maurizio Martelli, Danilo Montesi |
CLP (X) as a framework for action and deduction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CNKBS ![In: CNKBS'92, Proceedings of the First Compulog Net Meeting on Knowledge Bases, Munich, Germany, 6-7 February 1992, pp. 27-29, 1992, European Computer-Industry Research Centre, Munich. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
1 | Eric Wegrzynowski, Jean-Paul Delahaye |
The grand loop semantics for logic programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CNKBS ![In: CNKBS'92, Proceedings of the First Compulog Net Meeting on Knowledge Bases, Munich, Germany, 6-7 February 1992, pp. 12-15, 1992, European Computer-Industry Research Centre, Munich. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
1 | Fausto Giunchiglia, Luciano Serafini |
Multilanguage hierarchical logics (or: how we can do without modal logics). ![Search on Bibsonomy](Pics/bibsonomy.png) |
CNKBS ![In: CNKBS'92, Proceedings of the First Compulog Net Meeting on Knowledge Bases, Munich, Germany, 6-7 February 1992, pp. 44-45, 1992, European Computer-Industry Research Centre, Munich. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
1 | Manfred A. Jeusfeld, Martin Staudt 0001 |
Query classes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CNKBS ![In: CNKBS'92, Proceedings of the First Compulog Net Meeting on Knowledge Bases, Munich, Germany, 6-7 February 1992, pp. 21-23, 1992, European Computer-Industry Research Centre, Munich. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
1 | Antonio Brogi, Evelina Lamma, Paolo Mancarella, Paola Mello |
Normal logic programs as open positive programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CNKBS ![In: CNKBS'92, Proceedings of the First Compulog Net Meeting on Knowledge Bases, Munich, Germany, 6-7 February 1992, pp. 9-11, 1992, European Computer-Industry Research Centre, Munich. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
1 | Hendrik Decker |
Foundations of first-order databases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CNKBS ![In: CNKBS'92, Proceedings of the First Compulog Net Meeting on Knowledge Bases, Munich, Germany, 6-7 February 1992, pp. 6-8, 1992, European Computer-Industry Research Centre, Munich. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|