Sciweavers

Share
2 search results - page 1 / 1
» Historical Remarks on Nonmonotonic Reasoning, Especially Cir...
Sort
View
KR
2004
Springer
9 years 3 months ago
Historical Remarks on Nonmonotonic Reasoning, Especially Circumscription
Humans have always done nonmonotonic reasoning, but rigorous monotonic reasoning in reaching given conclusions has been deservedly more respected and admired. Euclid contains the ...
John McCarthy
AAAI
2015
3 years 6 months ago
Knowledge Forgetting in Circumscription: A Preliminary Report
The theory of (variable) forgetting has received significant attention in nonmonotonic reasoning, especially, in answer set programming. However, the problem of establishing a the...
Yisong Wang, Kewen Wang, Zhe Wang, Zhiqiang Zhuang
books