1078 search results - page 146 / 216 » The Modal Logic of Probability |
122
click to vote
CEEMAS
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. In update logic the interpretation of an action is often assumed to be independent from the agents’ beliefs about the situation (see [BMS04] or [Auc05]). In this paper ...
127
Voted
AMAST
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. When designing an open system, there might be no implementation available for certain components at verification time. For such systems, verification has to be based on a...
124
click to vote
JANCL
2002
15 years 3 months ago
2002
ABSTRACT. It has long been recognized that the concept of inconsistency is a central part of commonsense reasoning. In this issue, a number of authors have explored the idea of rea...
150
click to vote
IFIPTCS
2010
15 years 1 months ago
2010
This paper describes some basic relationships between mathematical structures that are relevant in quantum logic and probability, namely convex sets, effect algebras, and a new cl...
153
click to vote
DLOG
2011
14 years 7 months ago
2011
We analyze the complexity of subsumption in probabilistic variants of the description logic EL. In the case where probabilities apply only to concepts, we map out the borderline be...