ai.krr.propositions

Interfaces  TheoremProver

Classes  Atom BinaryConnectedSentence Clause ConnectedSentence DPSolverIE IntEncodedClause IntEncodedClause.CnfIntEncodedClauseListAdaptor IntEncodedClause.IntEncodedClauseList IntEncodedClause.LiteralSet IntEncoding Interpretation Interpretation.InterpretationIterator InterpretationEnumerator KifSentenceAdaptor Literal NegatedSentence RTPSolverIE Sentence TruthValue XplSentenceAdaptor

Enums  ConnectedSentence.Connective