A herbrandized functional interpretation of classical first-order logic.

Fernando Ferreira Gilda Ferreira

Published in: Arch. Math. Log. (2017)

Keyphrases

classical first order logic
logic programming
first order logic
image interpretation
semantic interpretation
dynamic logic
data sets
decision trees
data analysis
database
real world
high level
multi agent
object recognition
image analysis