Herbrand's theorem as higher order recursion.
Bahareh AfshariStefan HetzlGraham E. LeighPublished in: Ann. Pure Appl. Log. (2020)
Keyphrases
- higher order
- logic programs
- logic programming
- high order
- deductive databases
- natural images
- pairwise
- first order logic
- von neumann
- horn clauses
- statistical relational learning
- markov models
- markov random field
- conditional random fields
- lambda calculus
- transitive closure
- complex objects
- neural network
- fixpoint
- lower order
- function symbols
- declarative semantics
- databases
- answer set programming
- data model
- bayesian networks
- search engine