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

Bibliography

Bry, François and Manthey, Rainer (2005): Variations on a Theme: A Bibliography on Approaches to Theorem Proving Inspired From Satchmo.

Conference or Workshop Item

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

Bry, François and Decker, Hendrik and 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.

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

Bry, François and 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.

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

Bry, François and 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.

Bry, François and 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.

Paper

Bry, François and Manthey, Rainer and 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

This list was generated on Sat Aug 23 00:09:10 2014 CEST.