DeutschClear Cookie - decide language by browser settings
Up a level
Export as [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | Date
Number of items: 9.


Bry, François; Manthey, Rainer; Schütz, Heribert (1995): Deduktive Datenbanken. Künstliche Intelligenz : KI ; Forschung, Entwicklung, Erfahrungen ; Organ des Fachbereichs 1 Künstliche Intelligenz der Gesellschaft für Informatik e.V., GI. Themenheft Logische Programmierung [PDF, 168kB]

Conference or Workshop Item

Bry, François; Manthey, Rainer; Martens, Bernd (1991): Integrity Verification in Knowledge Bases. 2nd Russian Conference on Logic Programming (RCLP), 11.09.-16.09.1991, St. Petersburg. [PDF, 3MB]

Bry, François; Decker, Hendrik; Manthey, Rainer (1988): A Uniform Approach to Constraint Satisfaction and Constraint Satisfiability in Deductive Databases. International Conference on Extending Database Technology, 14.03.-18.03.1988, Venedig. [PDF, 1MB]

Bry, François; Manthey, Rainer (1988): SATCHMO: A Theorem Prover Implemented in Prolog. 9th International Conference on Automated Deduction (CADE), 23.05.-26.05.1988, Argonne, Illinois. [PDF, 2MB]

Bry, François; Manthey, Rainer (1987): A Hyperresolution-Based Proof Procedure and its Implementation in Prolog. 11th German Workshop on Artificial Intelligence (GWAI), 28.09. - 02.10.1987, Geseke bei Paderborn, Deutschland. [PDF, 1MB]

Bry, François; Manthey, Rainer (1987): Proving Finite Satisfiability of Deductive Databases. 1st Workshop on Computer Science Logic (CSL), 12.10.-16.10.1987, Karlsruhe. [PDF, 955kB]

Bry, François; Manthey, Rainer (1986): Sur la Validité des Schémas de Bases de Données. Journées Bases de Données Avancées, 22. - 25.04.1986, Giens, Frankreich. [PDF, 1MB]

Bry, François; Manthey, Rainer (1986): Checking Consistency of Database Constraints. A Logical Basis. 12th International Conference on Very Large Data Bases (VLDB), 25. - 28. August 1986, Kyoto, Japan. [PDF, 1MB]


Bry, François; Manthey, Rainer (2005): Variations on a Theme: A Bibliography on Approaches to Theorem Proving Inspired From Satchmo. [PDF, 125kB]

This list was generated on Thu Oct 20 07:09:14 2016 CEST.