Index of /~gwickler/java/doc/ai.krr/ai/krr/fol/class-use
Name Last modified Size Description
XfolSentenceAdaptor...> 2010-05-28 13:14 7.6K
VariableRenaming.html 2010-05-28 13:14 5.8K
Variable.html 2010-05-28 13:14 54K
TruthValue.html 2010-05-28 13:14 12K
TheoremProver.html 2010-05-28 13:14 7.3K
Term.html 2010-05-28 13:14 37K
Substitution.html 2010-05-28 13:14 37K
Sentence.html 2010-05-28 13:14 64K
Sentence.SubSentence..> 2010-05-28 13:14 5.9K
QuantifiedSentence.html 2010-05-28 13:14 13K
QuantifiedSentence.Q..> 2010-05-28 13:14 12K
NegatedSentence.html 2010-05-28 13:14 13K
Literal.html 2010-05-28 13:14 20K
KnowledgeBase.html 2010-05-28 13:14 14K
KifSentenceAdaptor.html 2010-05-28 13:14 5.8K
KifSentenceAdaptor.V..> 2010-05-28 13:14 13K
KifKnowledgeBaseAdap..> 2010-05-28 13:14 7.6K
Interpretation.html 2010-05-28 13:14 17K
Instantiation.html 2010-05-28 13:14 5.7K
HerbrandGenerator.html 2010-05-28 13:14 5.8K
HerbrandGenerator.He..> 2010-05-28 13:14 8.1K
FunctionTerm.html 2010-05-28 13:14 13K
Constant.html 2010-05-28 13:14 15K
ConnectedSentence.html 2010-05-28 13:14 16K
ConnectedSentence.Co..> 2010-05-28 13:14 13K
Clause.html 2010-05-28 13:14 12K
BinaryConnectedSente..> 2010-05-28 13:14 8.3K
Atom.html 2010-05-28 13:14 13K