Login / Signup
The Ordered Clause Restriction of Model Elimination and SLI Resolution.
Bruce Spencer
Published in:
ILPS (1993)
Keyphrases
</>
mathematical model
formal model
similarity measure
probabilistic model
computational model
statistical model
neural network
face recognition
objective function
optimal solution
data model
cost function