CMU Artificial Intelligence Repository
Home INFO Search FAQs Repository Root

ONTIC: Sequent Based High Level Proof System

This directory contains ONTIC, a sequent based high level proof system. Ontic is an integrated system for the development and manipulation of technical information, such as abstract mathematical concepts and theorems, formal system specifications, system implementations, and system verifications. The Ontic language is a simple generalization of strongly typed functional programming languages like ML and the typed lambda-calculus.

Version: 11.5 Requires: Common Lisp Ports: Lucid CL CD-ROM: Prime Time Freeware for AI, Issue 1-1 Author(s): Robert Givan, David McAllester, Carl Witty, Kevin Zalondek Contact: Keywords: Authors!Givan, Authors!McAllester, Authors!Witty, Authors!Zalondek, Functional Programming Languages, Knowledge Representation, Lambda Calculus, Lisp!Code, ML, ONTIC, Proof Systems, Sequent, Specification, Verification References: ?
Last Web update on Mon Feb 13 10:24:03 1995