|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
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
|
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |