Sign in
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