EnCal: an automated forward deduction system for general-purpose entailment calculus.
Jingde ChengPublished in: IFIP World Conference on IT Tools (1996)
Keyphrases
- general purpose
- automated deduction
- computer algebra
- automated theorem proving
- special purpose
- domain specific
- proof procedure
- theorem prover
- automated theorem provers
- logic programming
- semi automated
- theorem proving
- application specific
- programming language
- artificial intelligence
- real time
- inference rules
- fully automated
- bi directional
- forward and backward
- semi automatic
- database systems
- proof search
- machine learning