The Herbrand Functional Interpretation of the double Negation Shift.
Martín EscardóPaulo OlivaPublished in: J. Symb. Log. (2017)
Keyphrases
- logic programs
- logic programming
- horn clauses
- deductive databases
- fixpoint
- stable models
- answer sets
- function symbols
- background knowledge
- first order logic
- data sets
- answer set programming
- image interpretation
- expressive power
- functional analysis
- inference process
- probabilistic model
- high level
- web services
- artificial intelligence
- machine learning
- data mining