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