CMU Artificial Intelligence Repository
MKRP: Markgraf Karl Refutation Procedure
areas/reasonng/atp/systems/mkrp/
This directory contains MKRP, the Markgraf Karl Refutation
Procedure system.
Origin:
js-sfbsun.cs.uni-sb.de:/pub/mkrp/
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: mkrp@cs.uni-sb.de
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
AI.Repository@cs.cmu.edu