Automated Reasoning for Physical Quantities, Units, and Measurements in Isabelle/HOL.
Simon FosterBurkhart WolffPublished in: ICECCS (2023)
Keyphrases
- automated reasoning
- theorem prover
- theorem proving
- reasoning systems
- inference rules
- natural deduction
- higher order logic
- first order logic
- decision procedures
- automated verification
- reasoning tasks
- prime implicants
- knowledge representation and reasoning
- propositional satisfiability
- expert systems
- neural network
- bayesian networks