Semantic Foundations of Higher-Order Probabilistic Programs in Isabelle/HOL.
Michikazu HirataYasuhiko MinamideTetsuya SatoPublished in: ITP (2023)
Keyphrases
- higher order
- theorem prover
- higher order logic
- natural deduction
- theorem proving
- semantic information
- latent semantic
- artificial intelligence
- high order
- inference rules
- natural images
- formal methods
- bayesian networks
- semantic web
- probabilistic model
- first order logic
- semantic relationships
- semantic features
- context dependent
- lambda calculus
- uncertain data
- domain specific
- object oriented
- belief networks
- semantic network
- computer programs
- knowledge based systems
- semantic search
- semantic knowledge
- semantic representation
- low order
- knowledge base
- neural network