Current Work
CASA
: an agent infrastructure
Past Work
A Z Specification of CLASSIC
A variation on the Dexter Hypertext Reference Model Z specification
A Z specification for Typed Graphs
and also a
Z specification for the syntax of KDraw
(a graphical form of the CLASSIC knowledge representation language) which has been generated by an implementation of the Typed Graphs system.
CMap: KSI's Concept Mapping interface library
.
KSI software index
Initial Agent Architecture
Constraint Graphs as a generic CASE tool (HTML slide show
Last updated 2007-02-13 21:11
Rob Kremer