Text only Gnosiogenesis Inference Engine

<¡DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN"> Text only Gnosiogenesis Inference Engine

Introduction
Bibliography
Who we are
Inference Engine
Sponsorship

Archelogos
Log Analysis
Elenchos
GnosioGenesis
Socrates
Zeno

Users will have the ability to create and maintain projects, a collection of annotated first-order-logic formulas associated with notes and explanations in natural language.
The system will be accesible from anywhere over the Internet.Projects will be stored in a postgre SQL database system and submitted to a theorem prover.

GnosioGenesis will use OTTER as the main inference engine.

For a demonstration of the use of OTTER over the Internet, please click here.

Main Site