Kleene-Stone Logic Functions.

Noboru Takagi Masao Mukaidono

Published in: ISMVL (1990)

Keyphrases

multi valued
real time
computer vision
logic programming
predicate logic
databases
social networks
knowledge representation
basis functions
regular expressions
sound and complete axiomatization