Login / Signup
Pointwise Circumscription Revisited.
Eyal Amir
Published in:
KR (1998)
Keyphrases
</>
pointwise
weighted sum
default logic
situation calculus
nonmonotonic logics
default reasoning
logic programs
confidence intervals
autoepistemic logic
polynomial approximation
nonmonotonic reasoning
answer sets
theorem prover
roc curve
logic programming
worst case
upper bound
image data
data sets