Tutorial on Reasoning in Expressive Non-Classical Logics with Isabelle/HOL.
Alexander SteenMax WisniewskiChristoph BenzmüllerPublished in: GCAI (2016)
Keyphrases
- theorem prover
- automated theorem proving
- automated reasoning
- natural deduction
- theorem proving
- first order logic
- inference rules
- reasoning systems
- higher order logic
- reasoning tasks
- knowledge base
- reasoning process
- knowledge representation
- decision procedures
- computational properties
- multi agent
- analogical reasoning
- probabilistic reasoning
- default reasoning
- qualitative reasoning
- expert systems
- model based reasoning
- neural network
- proof theory
- cut elimination
- database