On Efficient Reasoning with Implication Constraints.

Xubo Zhang Z. Meral Özsoyoglu

Published in: DOOD (1993)

Keyphrases

cost effective
neural network
spatial reasoning
real time
databases
knowledge base
data structure
search space
case based reasoning
functional dependencies
constrained optimization
model based diagnosis
linear constraints
reasoning process