Uses of Package
ai.krr

Packages that use ai.krr

ai.krr
ai.krr.fol
ai.krr.propositions

Classes in ai.krr used by ai.krr

AnonymousSymbol
This class implements part of the foundations for symbolic programming in Java.

BooleanSymbol
This class implements part of the foundations for symbolic programming in Java.

CharacterSymbol
This class implements part of the foundations for symbolic programming in Java.

IntegerSymbol
This class implements part of the foundations for symbolic programming in Java.

LispSymbolAdaptor
This class is an adaptor between the Symbol class that can be used as an internal representation for reasoning and its external form as defined by the LISP syntax described below and in more detail in Guy L Steele's book "Common Lisp the Language".

NamedSymbol
This class implements part of the foundations for symbolic programming in Java.

NameSpace
This class implements a table of Symbols that belong to this NameSpace.

NumericSymbol
This class implements part of the foundations for symbolic programming in Java.

StringSymbol
This class implements part of the foundations for symbolic programming in Java.

Symbol
This class implements the foundations for symbolic programming in Java.

SyntaxAdaptableSymbol
This class implements the foundations for symbolic programming in Java.

Classes in ai.krr used by ai.krr.fol

BooleanSymbol
This class implements part of the foundations for symbolic programming in Java.

CharacterSymbol
This class implements part of the foundations for symbolic programming in Java.

IntegerSymbol
This class implements part of the foundations for symbolic programming in Java.

KifSymbolAdaptor
This class is an adaptor between the Symbol class that can be used as an internal representation for reasoning and its external form as defined by the KIF syntax described below and at http://logic.stanford.edu/kif/.

NamedSymbol
This class implements part of the foundations for symbolic programming in Java.

NameSpace
This class implements a table of Symbols that belong to this NameSpace.

RealNumberSymbol
This class implements part of the foundations for symbolic programming in Java.

StringSymbol
This class implements part of the foundations for symbolic programming in Java.

Symbol
This class implements the foundations for symbolic programming in Java.

Classes in ai.krr used by ai.krr.propositions

BooleanSymbol
This class implements part of the foundations for symbolic programming in Java.

NamedSymbol
This class implements part of the foundations for symbolic programming in Java.

NameSpace
This class implements a table of Symbols that belong to this NameSpace.