Iterated reflection over full disquotational truth.

Martin Fischer Carlo Nicolai Leon Horsten

Published in: J. Log. Comput. (2017)

Keyphrases

truth values
expert systems
information retrieval
information systems
image processing
specular reflection
computer vision
objective function
search algorithm
knowledge management
photometric stereo