A Kripkean Approach to Unknowability and Truth.

Published in: Notre Dame J. Formal Log. (1998)

Keyphrases

real time
pattern recognition
general purpose
databases
genetic algorithm
artificial intelligence
metadata
image processing
truth values