Hyper Resolution and Equality Axioms without Function Substitutions.

Yusuf Ozturk Lawrence J. Henschen

Published in: CADE (1990)

Keyphrases

knowledge base
high resolution
real time
case study
neural network
real world
artificial intelligence
high quality
rough sets
sampling rate
consequence finding