Extensional Semantics for Higher-Order Logic Programs with Negation.
Panos RondogiannisIoanna SymeonidouPublished in: Log. Methods Comput. Sci. (2018)
Keyphrases
- higher order
- stable models
- logic programs with negation
- higher order logic
- logic programs
- logic programming
- natural images
- formal semantics
- conceptual schema
- high order
- pairwise
- semantic information
- conceptual model
- markov random field
- lower order
- conditional random fields
- fixpoint
- dl lite
- general purpose
- xml documents