![[höher]](/style/images/multi_up.png)
Eine Ebene höherGruppiert nach:
Dokumententyp
| Veröffentlichungsdatum
Anzahl der Publikationen: 9
Paper
Bry, François; Manthey, Rainer und 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]
Konferenzbeitrag
Bry, François; Manthey, Rainer und Martens, Bernd
(1991):
Integrity Verification in Knowledge Bases.
2nd Russian Conference on Logic Programming (RCLP), St. Petersburg, 11.09.-16.09.1991.
Voronkov, Andrej (Hrsg.):
In: Logic programming,
S. 114-139
[PDF, 3MB]
Bry, François; Decker, Hendrik und Manthey, Rainer
(1988):
A Uniform Approach to Constraint Satisfaction and Constraint Satisfiability in Deductive Databases.
International Conference on Extending Database Technology, Venedig, 14.03.-18.03.1988.
Schmidt, Joachim W. (Hrsg.):
In: Advances in database technology,
S. 488-505
[PDF, 1MB]
Bry, François und Manthey, Rainer
(1988):
SATCHMO: A Theorem Prover Implemented in Prolog.
9th International Conference on Automated Deduction (CADE), Argonne, Illinois, 23.05.-26.05.1988.
Lusk, Ewing (Hrsg.):
In: Proceedings 9th International Conference on Automated Deduction (CADE),
S. 415-434
[PDF, 2MB]
Bry, François und Manthey, Rainer
(1987):
A Hyperresolution-Based Proof Procedure and its Implementation in Prolog.
11th German Workshop on Artificial Intelligence (GWAI), Geseke bei Paderborn, Deutschland, 28.09. - 02.10.1987.
Morik, Katharina (Hrsg.):
In: GWAI-87: 11th German Workshop on Artificial Intelligence ; proceedings,
Berlin u.a.: Springer. S. 221-230
[PDF, 1MB]
Bry, François und Manthey, Rainer
(1987):
Proving Finite Satisfiability of Deductive Databases.
1st Workshop on Computer Science Logic (CSL), Karlsruhe, 12.10.-16.10.1987.
Börger, Egon (Hrsg.):
In: Lecture Notes in Computer Science - CSL '87 : 1st Workshop on Computer Science Logic,
S. 44-55
[PDF, 955kB]
Bry, François und Manthey, Rainer
(1986):
Sur la Validité des Schémas de Bases de Données.
Journées Bases de Données Avancées, Giens, Frankreich, 22. - 25.04.1986.
Journées Bases de Données Avancées.
Bd. 2
S. 1-19
[PDF, 1MB]
Bry, François und Manthey, Rainer
(1986):
Checking Consistency of Database Constraints. A Logical Basis.
12th International Conference on Very Large Data Bases (VLDB), Kyoto, Japan, 25. - 28. August 1986.
Kambayashi, Yahiko (Hrsg.):
In: Very large data bases,
Los Altos: Morgan Kaufman. S. 13-20
[PDF, 1MB]
Bibliographie
Bry, François und Manthey, Rainer
(2005):
Variations on a Theme: A Bibliography on
Approaches to Theorem Proving
Inspired From Satchmo.
[PDF, 125kB]