Formalization of Bond Graph using Higher-order-logic Theorem Proving.
Ujala QasimAdnan RashidOsman HasanPublished in: CoRR (2021)
Keyphrases
- higher order logic
- theorem proving
- theorem prover
- logical framework
- inference rules
- first order logic
- automated reasoning
- automated deduction
- automated theorem proving
- term rewriting
- decision procedures
- higher order
- knowledge representation
- parallel search
- proof planning
- proof procedure
- formal model
- geometry theorem proving
- proof search
- logical inference
- consequence finding
- combinatorial search
- conditional logic
- equational theories
- modal logic
- object oriented
- decision trees
- artificial intelligence
- data mining