Abstract is missing.
- Update-driven Inference in Deductive DatabasesRainer Manthey. 1-5
- Foundations of first-order databasesHendrik Decker. 6-8
- Normal logic programs as open positive programsAntonio Brogi, Evelina Lamma, Paolo Mancarella, Paola Mello. 9-11
- The grand loop semantics for logic programsEric Wegrzynowski, Jean-Paul Delahaye. 12-15
- A strategy for the computation of conditional answersRobert Demolombe. 16-17
- Intensional query answering by partial evaluationGiuseppe De Giacomo. 18-20
- Query classesManfred A. Jeusfeld, Martin Staudt. 21-23
- Bottom-up evaluation of embedded implicationsBurkhard Freitag. 24-26
- CLP (X) as a framework for action and deductionElisa Bertino, Maurizio Martelli, Danilo Montesi. 27-29
- First find your clauseMichael Freeston. 30-33
- Conceptual Modelling in a Logic Based FrameworkRainer Haidan. 34-35
- LILOG-DB: Some implementation techniquesMichael Ley, Bernd Walter. 36-37
- Complexity of Propositional Knowledge Base RevisionThomas Eiter, Georg Gottlob. 38-40
- The parallel complexity of single rule logic programsFoto N. Afrati. 41-43
- Multilanguage hierarchical logics (or: how we can do without modal logics)Fausto Giunchiglia, Luciano Serafini. 44-45
- Temporal deductive databasesSuryanarayana M. Sripada. 46-48
- A sensible least Herbrand semantics for untyped Vanilla meta-programming and its extension to a limited form of amalgamationDanny De Schreye, Bern Martens. 49-51
- Concept object algebra for knowledge basesJørgen Fischer Nilsson. 52-54
- Inheritance and rulesGeorg Lausen, Heinz Uphoff. 55-57
- A constructive logic approach to database theoryPierangelo Miglioli, Ugo Moscato, Mario Ornaghi. 58-60
- A note on the limitations of utilizing logic for federated information systemsMagnus Boman, Paul Johanesson. 61-63
- A method for reasoning about deductive conceptual models of information systemsDolors Costal. 64-66