Higher-order probabilistic adversarial computations: categorical semantics and program logics.
Alejandro AguirreGilles BartheMarco GaboardiDeepak GargShin-ya KatsumataTetsuya SatoPublished in: Proc. ACM Program. Lang. (2021)
Keyphrases
- higher order
- higher order logic
- conditional logic
- anti unification
- propositional dynamic logic
- nonmonotonic logics
- natural images
- pairwise
- proof theory
- formal semantics
- bayesian networks
- high order
- semantically equivalent
- epistemic logic
- computer programs
- expressive power
- valued semantics
- intended meaning
- markov random field
- inference rules
- generative model
- conditional random fields
- conditional probabilities
- intuitionistic logic
- proof procedures
- modal logic
- theorem prover
- computational properties
- test cases
- program understanding
- probability theory
- attribute values
- belief networks
- proof theoretic
- probabilistic model
- classical logic
- lambda calculus
- control flow
- probabilistic logic
- default reasoning