Automated First Order Natural Deduction.
Alexander BolotovVyacheslav BocharovAlexander GorchakovVasilyi ShanginPublished in: IICAI (2005)
Keyphrases
- natural deduction
- theorem prover
- first order logic
- inference rules
- semi automated
- theorem proving
- cut elimination
- fully automated
- sequent calculus
- higher order
- horn clauses
- intuitionistic logic
- nonmonotonic reasoning
- belief propagation
- linear logic
- general purpose
- relational databases
- knowledge base
- artificial intelligence