Login / Signup
Pointwise Circumscription is Equivalent to Predicate Completion (Sometimes).
Yves Moinard
Published in:
ICLP/SLP (1988)
Keyphrases
</>
pointwise
loop formulas
weighted sum
logic programs
nonparametric regression
polynomial approximation
default logic
answer sets
nonmonotonic reasoning
first order logic
theorem prover
data sets
roc curve
confidence intervals
situation calculus
information extraction
learning algorithm
machine learning