PSOATransRun: Translating and Running PSOA RuleML via the TPTP Interchange Language for Theorem Provers.
Gen ZouReuben Peter-PaulHarold BoleyAlexandre RiazanovPublished in: RuleML (2) (2012)
Keyphrases
- theorem prover
- automated theorem proving
- first order logic
- theorem proving
- automated reasoning
- inference rules
- computer algebra
- psoa ruleml
- programming language
- automated deduction
- natural language
- proof search
- answer set programming
- higher order logic
- database systems
- computer algebra systems
- fine grained
- machine learning