Performance evaluation of a cascaded logic for track formation in clutter.

Yaakov Bar-Shalom Kuo-Chu Chang Hemchandra M. Shertukde

Published in: SMC (1989)

Keyphrases

classical logic
neural network
logic programming
multi valued
predicate logic
asynchronous circuits
data mining
artificial intelligence
face detection
automated reasoning
modal logic
formal theory
epistemic logic
linear logic
proof theory