Lazy Model Generation For Improving The Efficiency of Forward Reasoning Theorem Provers.
Ryuzo HasegawaMiyuki KoshimuraHiroshi FujitaPublished in: IWAR (1992)
Keyphrases
- theorem prover
- automated reasoning
- automated theorem proving
- theorem proving
- first order logic
- computer algebra systems
- computer algebra
- reasoning systems
- knowledge representation
- higher order logic
- reasoning tasks
- proof planning
- computational complexity
- knowledge representation and reasoning
- natural deduction
- probabilistic reasoning
- formal semantics
- proof search
- default reasoning
- inference rules
- reasoning process
- artificial intelligence
- answer set programming
- graphical models
- case based reasoning
- probabilistic model
- search algorithm