Using Isabelle in Two Courses on Logic and Automated Reasoning.
Jørgen VilladsenFrederik Krogsdal JacobsenPublished in: FMTea (2021)
Keyphrases
- automated reasoning
- theorem prover
- theorem proving
- reasoning systems
- decision procedures
- natural deduction
- first order logic
- reasoning tasks
- inference rules
- proof theory
- probabilistic reasoning
- automated verification
- knowledge representation
- logical implication
- knowledge representation and reasoning
- higher education
- general purpose
- e learning
- artificial intelligence
- logic programming
- learning objects
- propositional satisfiability
- artificial neural networks