Liveness Reasoning with Isabelle/HOL.
Jinshuang WangHuabing YangXingyuan ZhangPublished in: TPHOLs (2009)
Keyphrases
- theorem prover
- automated reasoning
- natural deduction
- reasoning systems
- theorem proving
- inference rules
- reasoning tasks
- higher order logic
- first order logic
- knowledge base
- reasoning process
- model based reasoning
- consistency checking
- knowledge representation and reasoning
- higher order
- database
- logical framework
- legal reasoning
- machine learning
- reasoning problems
- formal models
- fuzzy logic
- computational properties
- probabilistic logic
- qualitative reasoning
- probabilistic reasoning
- model based diagnosis