Formal Analysis of the Biological Circuits using Higher-order-logic Theorem Proving.
Sa'ed AbedAdnan RashidOsman HasanPublished in: CoRR (2019)
Keyphrases
- formal analysis
- theorem proving
- higher order logic
- theorem prover
- automated reasoning
- first order logic
- inference rules
- higher order
- term rewriting
- automated theorem proving
- proof planning
- parallel search
- formal methods
- proof procedure
- agent model
- geometry theorem proving
- conditional logic
- consequence finding
- proof search
- reasoning systems
- propositional logic
- knowledge representation
- decision trees