Value Minimization in Circumscription.

Chitta Baral Alfredo Gabaldon Alessandro Provetti

Published in: KR (1996)

Keyphrases

objective function
commonsense knowledge
default reasoning
default logic
nonmonotonic logics
theorem prover
genetic algorithm
logic programs
situation calculus
closed world assumption
data mining
modal logic
regularization term
nonmonotonic reasoning
disjunctive logic programming