Index of /~gwickler/java/doc/ai.krr/ai/krr/fol/class-use

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