Pointwise Circumscription is Equivalent to Predicate Completion (Sometimes).

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