Deductive Databases / Abduction in Deductive Databases 1995

Refine list

showing all ?? records

Semantics of Logic Programs

Query Optimization in Deductive Databases

Implementation Techniques

Updates & Integrity Checking

Belief Revision

Metaprogramming Techniques

a service of  Schloss Dagstuhl - Leibniz Center for Informatics