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