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