Uses of Interface
ai.krr.propositions.TheoremProver

Packages that use TheoremProver
ai.krr.propositions   
 

Uses of TheoremProver in ai.krr.propositions
 

Classes in ai.krr.propositions that implement TheoremProver
 class DPSolverIE
           
 class InterpretationEnumerator
           This class is a very simple and inefficient TheoremProver that enumerates all possible Interpretation to find models that satisfy or falsify a given Sentence.
 class RTPSolverIE