Extensional Semantics for Higher-Order Logic Programs with Negation.
Panos RondogiannisIoanna SymeonidouPublished in: JELIA (2016)
Keyphrases
- higher order
- logic programs with negation
- stable models
- higher order logic
- logic programs
- logic programming
- formal semantics
- high order
- markov random field
- conceptual schema
- pairwise
- conditional random fields
- low order
- natural images
- semantic information
- lambda calculus
- relational databases
- predicate calculus
- general purpose