On the Herbrand Functional Interpretation.

Paulo Oliva Chuangjie Xu

Published in: CoRR (2019)

Keyphrases

logic programs
image interpretation
first order logic
logic programming
functional analysis
high level
semantic interpretation
data sets
databases
information retrieval
relational databases
horn clauses
inference process