Higher-order probabilistic adversarial computations: Categorical semantics and program logics.
Alejandro AguirreGilles BartheMarco GaboardiDeepak GargShin-ya KatsumataTetsuya SatoPublished in: CoRR (2021)
Keyphrases
- higher order
- higher order logic
- conditional logic
- proof theory
- propositional dynamic logic
- nonmonotonic logics
- expressive power
- anti unification
- natural images
- modal logic
- bayesian networks
- epistemic logic
- high order
- markov random field
- uncertain data
- proof theoretic
- stable model semantics
- model theoretic
- semantically equivalent
- conditional random fields
- valued semantics
- formal semantics
- theorem prover
- modal operators
- logic programming
- multi agent
- kripke models
- valued logic
- logical framework
- control flow
- probability theory
- semantic information
- test cases
- query language