Download Document

Survey
yes no Was this document useful for you?
   Thank you for your participation!

* Your assessment is very important for improving the work of artificial intelligence, which forms the content of this project

Document related concepts
no text concepts found
Transcript 
Package:
areas/kr/systems/ontic/
Name:
ONTIC
Summary:
Sequent Based High Level Proof System
Version:
11.5
Description:
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.
Requires:
Common Lisp
Ports:
Lucid CL
Origin:
ftp.ai.mit.edu:/pub/ontic/
Copying:
Updated:
CD-ROM:
Prime Time Freeware for AI, Issue 1-1
Bug Reports:
Mailing List:
Author(s):
Robert Givan, David McAllester, Carl Witty, Kevin Zalondek
Contact:
[email protected]
Keywords:
Knowledge Representation, Lisp!Code, ONTIC, Authors!Givan,
Authors!McAllester, Authors!Witty, Authors!Zalondek, Sequent,
Specification, Verification, ML, Lambda Calculus, Functional
Programming Languages, Proof Systems
Contains:
See Also:
References:
???
Related documents