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 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]
Bibliographie
Diese Liste wurde am
Sat Aug 10 22:22:41 2024 CEST
erstellt.