Chaining Techniques for Automated Theorem Proving in Many-Valued Logics.
Harald GanzingerViorica Sofronie-StokkermansPublished in: ISMVL (2000)
Keyphrases
- automated theorem proving
- modal logic
- classical logic
- theorem prover
- inference rules
- truth values
- theorem proving
- temporal logic
- answer set programming
- nonmonotonic logics
- default logic
- conditional logic
- epistemic logic
- logic programming
- expressive power
- logic programs
- knowledge discovery
- active learning
- knowledge base
- proof theory
- answer sets
- data mining
- artificial intelligence