CMU Artificial Intelligence Repository
KNOWBEL: Telos temporal/sorted logic system
areas/kr/systems/knowbel/
KNOWBEL is a Common Lisp implementation of the Telos Knowledge
Representation Language. This includes a frame-based object language
with inheritance, a resolution theorem prover, and a temporal
reasoner.
KNOWBEL is no longer actively being worked on so support will be
minimal.
Origin:
ai.toronto.edu:/pub/kr/
as the files knowbel.tar.Z and manual.txt.tar.Z
Version: KNOWBEL (26-JUN-91); MANUAL (6-FEB-92)
Requires: Common Lisp
Copying: Copyright (c) 1990, 1991 University of Toronto, Toronto, ON
Use, copying, modification, and distribution permitted.
CD-ROM: Prime Time Freeware for AI, Issue 1-1
Author(s): Bryan M. Kramer
Department of Computer Science
University of Toronto
6 King's College Road, Room 283E
Toronto, Ontario, Canada M5S 1A4
Tel: 416-978-7330
Fax: 416-978-1455
Keywords:
Authors!Kramer, Frame Systems, KNOWBEL,
Knowledge Representation, Lisp!Code,
Resolution Theorem Proving, Sorted Logic, Telos,
Temporal Logic, Temporal Reasoning, Theorem Proving
References:
Documentation is included in the distribution.
Last Web update on Mon Feb 13 10:24:03 1995
AI.Repository@cs.cmu.edu