A relational logic for higher-order programs.
Alejandro AguirreGilles BartheMarco GaboardiDeepak GargPierre-Yves StrubPublished in: J. Funct. Program. (2019)
Keyphrases
- higher order
- higher order logic
- lambda calculus
- dynamic logic
- high order
- modal logic
- markov random field
- database language
- relational databases
- relational data
- classical logic
- multi valued
- natural images
- logic programming
- low order
- statistical relational learning
- database schema
- pairwise
- answer sets
- data model
- probability theory
- recursive programs
- relational model
- relational structures
- multi relational
- declarative semantics
- proof theory
- deontic logic
- predicate logic
- digital circuits
- probabilistic logic
- databases
- logic programs
- object oriented
- bayesian networks