CMU Artificial Intelligence Repository
Home INFO Search FAQs Repository Root

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