1426 search results - page 37 / 286 » Specification of nonmonotonic reasoning |
ECAI
2006
Springer
15 years 1 months ago
2006
Springer
Abstract. We introduce a logical language with nullary operators min(n), for each non-negative integer n, which mean `the reasoner has at least n different beliefs'. The resul...
TFS
2008
14 years 9 months ago
2008
In 1996, Zadeh proposed the paradigm of computing with words (CWW). A specific architecture for making subjective
ICCBR
1995
Springer
15 years 1 months ago
1995
Springer
In this work, we are interested in how rational decision makers reason with and about reasons in a domain, practical ethics, where they appear to reason asons symbolically in terms...
APLAS
2010
ACM
14 years 10 months ago
2010
ACM
We describe an approach to using one logic to reason about specifications written in a second logic. One level of logic, called the "reasoning logic", is used to state th...
ESWS
2005
Springer
15 years 3 months ago
2005
Springer
There is an ongoing discussion whether reasoning in the Semantic Web should be monotonic or not. It seems however that the problem concerns not only the reasoning over knowledge bu...