Reconsideration of circumscriptive induction with pointwise circumscription.

Koji Iwanuma Katsumi Inoue Hidetomo Nabeshima

Published in: J. Appl. Log. (2009)

Keyphrases

pointwise
event calculus
weighted sum
situation calculus
temporal reasoning
default logic
deductive databases
partially ordered
confidence intervals
logic programs
answer sets
nonparametric regression
reasoning tasks
roc curve
logic programming
markov chain
nonmonotonic reasoning
search space
search engine
data sets