On Embedding Functions in Logic.

P. A. Subrahmanyam Jia-Huai You

Published in: Inf. Process. Lett. (1984)

Keyphrases

logic programming
modal logic
multi valued
predicate logic
logical framework
neural network
real time
knowledge base
multiscale
proof theory
automated reasoning
logic synthesis
asynchronous circuits
basis functions
distance measure
high dimensional
machine learning