CMU Artificial Intelligence Repository
CEC: Conditional Equational Completion
areas/kr/systems/kl_one/cec/
CEC is a rewrite rule laboratory for order-sorted specifications with
conditional equations. The major module of CEC is a powerful
completion procedure for conditional equations.
Version: 1.9 (16-SEP-91)
Requires: Quintus Prolog
Copying: Copyright (C) 1989 by Hubert Bertling, Harald Ganzinger,
and Renate Schaefers, University of Dortmund
CD-ROM: Prime Time Freeware for AI, Issue 1-1
Author(s): Hubert Bertling, Harald Ganzinger, Renate Sch\"afers
Keywords:
Authors!Bertling, Authors!Ganzinger, Authors!Schaefers, CEC,
KL-ONE, Knowledge Representation, Prolog!Code,
Term Rewriting, Univ. of Dortmund
References: ?
Last Web update on Mon Feb 13 10:24:01 1995
AI.Repository@cs.cmu.edu