Certifying Dictionary Construction in Isabelle/HOL.
Lars HupelPublished in: Fundam. Informaticae (2019)
Keyphrases
- theorem prover
- natural deduction
- construction process
- inference rules
- real time
- first order logic
- higher order logic
- sequent calculus
- artificial intelligence
- theorem proving
- sparse representation
- software engineering
- formal methods
- knowledge representation
- video sequences
- case study
- decision making
- computer vision
- machine learning
- data mining
- neural network