A Relational Logic for Higher-Order Programs.
Alejandro AguirreGilles BartheMarco GaboardiDeepak GargPierre-Yves StrubPublished in: CoRR (2017)
Keyphrases
- higher order
- higher order logic
- lambda calculus
- high order
- dynamic logic
- database language
- natural images
- markov random field
- recursive programs
- pairwise
- relational databases
- relational data
- relational structures
- modal logic
- computational properties
- logic programming
- database query languages
- classical logic
- databases
- low order
- multi valued
- conditional random fields
- proof theory
- programs written
- agent programming
- declarative semantics
- stable models
- modal operators
- predicate logic
- nonmonotonic logics
- logical framework
- relational learning
- database schema
- logic programs
- programming language
- object oriented
- similarity measure