Interpretation of Locales in Isabelle: Theories and Proof Contexts.
Clemens BallarinPublished in: MKM (2006)
Keyphrases
- theorem prover
- natural deduction
- inference rules
- first order logic
- automated theorem proving
- theorem proving
- cut elimination
- proof search
- sequent calculus
- formal models
- semantic interpretation
- mathematical proofs
- theoretical framework
- artificial intelligence
- machine learning
- cognitive psychology
- bayesian networks
- high level
- knowledge base
- legal knowledge
- data mining
- real time