CMU Artificial Intelligence Repository
Home INFO Search FAQs Repository Root

MKRP: Markgraf Karl Refutation Procedure

This directory contains MKRP, the Markgraf Karl Refutation Procedure system.

Version: 21-DEC-92 Requires: Common Lisp Ports: Lucid CL, KCL, Coral CL, POPLOG Copying: Copyright (C) 1991 AG Siekmann, Fachbereich Informatik, Universitaet des Saarlandes, Saarbruecken, Germany Use, copying, modification, and distribution permitted for non-military purposes. It is also forbidden to use MKRP is nuclear power plants and nuclear research. CD-ROM: Prime Time Freeware for AI, Issue 1-1 Author(s): Prof. Joerg Siekmann Fachbereich Informatik Uni. des Saarlandes W-6600 Saarbruecken 11 Germany Contact: NOTE: MKRP is not actively supported, but if you have comments or suggestions please send them to the contact. The authors can't, however, promise any bug fixes. Keywords: Authors!Siekmann, Automated Reasoning, MKRP, Reasoning!Automated Reasoning, Refutation, Theorem Proving References: ?
Last Web update on Mon Feb 13 10:27:33 1995