Keyphrases
- automated theorem proving
- modal logic
- classical logic
- inference rules
- theorem prover
- theorem proving
- truth values
- temporal logic
- epistemic logic
- nonmonotonic logics
- expressive power
- answer set programming
- conditional logic
- default logic
- modal operators
- first order logic
- logic programming
- multi valued
- data sets
- incomplete information
- model checking
- supervised learning