686 search results - page 6 / 138 » Nonmonotonic inference operations |
LPNMR
2009
Springer
14 years 1 months ago
2009
Springer
Abstract. The logic FO(ID) uses ideas from the field of logic programming to extend first order logic with non-monotone inductive definitions. The goal of this paper is to exten...
AMAI
2002
Springer
13 years 7 months ago
2002
Springer
: We concern ourselves with the situation Here we investigate an extension of the basic concept of in which we use the Dempster-Shafer belief structure to a compatibility relation ...
AMAI
1998
Springer
13 years 7 months ago
1998
Springer
ns. Finally, we study abstract properties of selection operators connected to belief set operators, which are used to choose some of the possible belief sets.
AUSAI
2003
Springer
14 years 18 days ago
2003
Springer
Most of the theories on formalising intention interpret it as a unary modal operator in Kripkean semantics, which gives it a monotonic look. We argue that policy-based intentions [...
CSL
2006
Springer
13 years 11 months ago
2006
Springer
The goal of this note is to provide a background and references for the invited lecture presented at Computer Science Logic 2006. We briefly discuss motivations that led to the eme...