Extensional Semantics for Higher-Order Logic Programs with Negation.
Panos RondogiannisIoanna SymeonidouPublished in: CoRR (2017)
Keyphrases
- higher order
- logic programs with negation
- stable models
- logic programs
- higher order logic
- logic programming
- high order
- natural images
- formal semantics
- conceptual schema
- semantic information
- pairwise
- model theoretic
- markov random field
- fixpoint
- databases
- background knowledge
- knowledge representation
- partial order
- expert systems
- database systems
- lower order
- image segmentation
- anti unification
- machine learning