Approximate Relational Hoare Logic for Continuous Random Samplings.
Tetsuya SatoPublished in: MFPS (2016)
Keyphrases
- relational databases
- piecewise linear
- database language
- relational data
- classical logic
- modal logic
- multi relational
- asynchronous circuits
- sampled data
- natural deduction
- data model
- relational learning
- abductive reasoning
- uniformly distributed
- predicate logic
- statistical relational learning
- set theory
- automated reasoning
- database
- exact solution
- machine learning