The bounded functional interpretation of the double negation shift.

Patrícia Engrácia Fernando Ferreira

Published in: J. Symb. Log. (2010)

Keyphrases

image interpretation
semantic interpretation
logic programming
data sets
expert systems
logic programs
deductive databases
fixpoint
stable models
predicate logic
functional verification
information systems
high level
database systems
data model
functional analysis