A Verified Decision Procedure for Orders in Isabelle/HOL.
Lukas StevensTobias NipkowPublished in: CoRR (2021)
Keyphrases
- theorem prover
- natural deduction
- decision making
- decision makers
- inference rules
- knuth bendix
- decision processes
- decision process
- theorem proving
- decision problems
- state space
- case study
- iterative procedure
- higher order logic
- sufficient conditions
- search algorithm
- data structure
- knowledge base
- decision theory
- decision model
- formal methods
- feature selection
- learning algorithm
- neural network