On the Herbrand functional interpretation.

Paulo Oliva Chuangjie Xu

Published in: Math. Log. Q. (2020)

Keyphrases

logic programs
image interpretation
object recognition
logic programming
semantic interpretation
first order logic
functional properties
real world
multi agent systems
mobile robot