133
click to vote
LPNMR
2009
Springer
16 years 17 hour ago
2009
Springer
Circumscription is one of the most important formalisms for reasoning with incomplete information. It is equivalent to reasoning under the extended closed world assumption, which a...