Keyphrases
- higher order
- higher order logic
- stable model semantics
- stable models
- high order
- pairwise
- fixpoint semantics
- dynamic logic
- natural images
- formal semantics
- relational databases
- logic programming
- semantic information
- programming language constructs
- relational calculus
- data model
- relational data
- logic programs
- control flow
- markov random field
- normal logic programs
- relational learning
- database schema
- relational operators
- relational model
- declarative semantics
- database systems
- database query languages
- model theoretic
- statistical relational learning
- relational structures
- low order
- fixpoint