Index of /~gwickler/java/doc/ai.krr/ai/krr/fol
Name Last modified Size Description
package-use.html 2010-05-28 13:14 13K
package-tree.html 2010-05-28 13:14 11K
package-summary.html 2010-05-28 13:14 13K
package-frame.html 2010-05-28 13:14 4.0K
class-use/ 2010-05-28 13:17 -
XfolSentenceAdaptor...> 2010-05-28 13:14 59K
VariableRenaming.html 2010-05-28 13:14 21K
Variable.html 2010-05-28 13:14 36K
TruthValue.html 2010-05-28 13:14 39K
TheoremProver.html 2010-05-28 13:14 13K
Term.html 2010-05-28 13:14 26K
Substitution.html 2010-05-28 13:14 15K
Sentence.html 2010-05-28 13:14 47K
Sentence.SubSentence..> 2010-05-28 13:14 12K
QuantifiedSentence.html 2010-05-28 13:14 49K
QuantifiedSentence.Q..> 2010-05-28 13:14 14K
NegatedSentence.html 2010-05-28 13:14 43K
Literal.html 2010-05-28 13:14 49K
KnowledgeBase.html 2010-05-28 13:14 18K
KifSentenceAdaptor.html 2010-05-28 13:14 82K
KifSentenceAdaptor.V..> 2010-05-28 13:14 14K
KifKnowledgeBaseAdap..> 2010-05-28 13:14 26K
Interpretation.html 2010-05-28 13:14 22K
Instantiation.html 2010-05-28 13:14 19K
HerbrandGenerator.html 2010-05-28 13:14 24K
HerbrandGenerator.He..> 2010-05-28 13:14 14K
FunctionTerm.html 2010-05-28 13:14 38K
Constant.html 2010-05-28 13:14 34K
ConnectedSentence.html 2010-05-28 13:14 53K
ConnectedSentence.Co..> 2010-05-28 13:14 15K
Clause.html 2010-05-28 13:14 28K
BinaryConnectedSente..> 2010-05-28 13:14 37K
Atom.html 2010-05-28 13:14 45K