Knowledge Systems Laboratory
Stanford University


Java-based Reasoning Agents
for the Stanford Knowledge Systems Laboratory


This server is the home of KSL's Java-based Reasoning Agents. The Agents are based on the JTP reasoning engine, the Inference Web proof exchange system, and the OWL-QL query protocol.

Presentations and Demos

home | people | software and network services | projects | contact | technical reports | links

Copyright ©2003 Stanford University
All Rights Reserved.

webmaster@ksl.stanford.edu