|
JTP API Documentation | ||||||||||
| PREV NEXT | FRAMES NO FRAMES | ||||||||||
| Packages that use jtp.fol.parser | |
| jtp.context | Provides a basic configuration and interface for JTP. |
| jtp.context.rdf | |
| jtp.fol.daml | |
| jtp.fol.kif | |
| jtp.fol.parser | |
| jtp.fol.rdf | |
| jtp.frame.fc | |
| jtp.modelim | Contains general-purpose reasoners, including a telling control reasoner, an asking control reasoner, and reasoners that implement the model elimination procedure. |
Classes in jtp.fol.parser used by jtp.context| ClauseIterator
|
This is an iterator of clauses, for example, returned by a FirstOrderLogicParser.FirstOrderLogicParser
|
This interface performs parsing of first-order logical text. FirstOrderLogicTranslator
|
This interface represents the ability to translate a string representation of a sentence into a CNFSentence. |
|
Classes in jtp.fol.parser used by jtp.context.rdf| FirstOrderLogicParser
|
This interface performs parsing of first-order logical text. |
|
Classes in jtp.fol.parser used by jtp.fol.daml| FirstOrderLogicParser
|
This interface performs parsing of first-order logical text. |
|
Classes in jtp.fol.parser used by jtp.fol.kif| ClauseIterator
|
This is an iterator of clauses, for example, returned by a FirstOrderLogicParser.FirstOrderLogicParser
|
This interface performs parsing of first-order logical text. FirstOrderLogicTranslator
|
This interface represents the ability to translate a string representation of a sentence into a CNFSentence.ParsingException
|
|
|
Classes in jtp.fol.parser used by jtp.fol.parser| ClauseIterator
|
This is an iterator of clauses, for example, returned by a FirstOrderLogicParser.FirstOrderLogicParser
|
This interface performs parsing of first-order logical text. FirstOrderLogicTranslator
|
This interface represents the ability to translate a string representation of a sentence into a CNFSentence.ParsingException
|
|
|
Classes in jtp.fol.parser used by jtp.fol.rdf| FirstOrderLogicParser
|
This interface performs parsing of first-order logical text. |
|
Classes in jtp.fol.parser used by jtp.frame.fc| FirstOrderLogicTranslator
|
This interface represents the ability to translate a string representation of a sentence into a CNFSentence. |
|
Classes in jtp.fol.parser used by jtp.modelim| FirstOrderLogicTranslator
|
This interface represents the ability to translate a string representation of a sentence into a CNFSentence. |
|
|
JTP API Documentation | ||||||||||
| PREV NEXT | FRAMES NO FRAMES | ||||||||||