The Herbrand Functional Interpretation of the Double Negation Shift.
Martín Hötzel EscardóPaulo OlivaPublished in: CoRR (2014)
Keyphrases
- logic programs
- logic programming
- horn clauses
- fixpoint
- image interpretation
- declarative semantics
- inductive logic programming
- deductive databases
- functional analysis
- data sets
- predicate logic
- answer sets
- first order logic
- website
- neural network
- knowledge representation
- reasoning tasks
- bayesian networks
- high level
- function symbols