leanTAP: Lean Tableau-based Deduction.
Bernhard BeckertJoachim PoseggaPublished in: J. Autom. Reason. (1995)
Keyphrases
- automated theorem proving
- proof procedure
- proof search
- theorem proving
- theorem prover
- description logics
- inference rules
- propositional logic
- first order logic
- intuitionistic logic
- linear logic
- answer set programming
- automated deduction
- computer algebra
- database systems
- search procedure
- probabilistic model
- reinforcement learning