A Note on Inconsistencies Caused by Fixpoints in a Cartesian Closed Category.

Hagen Huwig Axel Poigné

Published in: Theor. Comput. Sci. (1990)

Keyphrases

logic programs
knowledge base
object categories
nonmonotonic reasoning
neural network
real time
data mining
learning algorithm
queueing networks
onset detection
website
knowledge representation
fixpoint
log polar mapping