2501 search results - page 80 / 501 » Logics with Rank Operators |
130
click to vote
MLQ
2000
15 years 3 months ago
2000
The logic of common belief does not always reect that of individual beliefs. In particular, even when the individual belief operators satisfy the KD45 logic, the common belief ope...
125
click to vote
ECAI
1990
Springer
15 years 8 months ago
1990
Springer
Modal logics based on Kripke style semantics are the prominent formalismin AI for modeling beliefs. Kripke semantics involve a collection of possible worlds and a relation among t...
138
click to vote
FUZZIEEE
2007
IEEE
15 years 10 months ago
2007
IEEE
— Fuzzy Description Logics (fuzzy DLs) have been proposed as a language to describe structured knowledge with vague concepts. It is well known that the choice of the fuzzy operat...
122
click to vote
FSEN
2007
Springer
15 years 10 months ago
2007
Springer
This paper shows how a machine-code Hoare logic is used to lift reasoning from the tedious operational model of a machine lana manageable level of abstraction without making simpli...
131
click to vote
RSFDGRC
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. In this paper, we propose a logical framework for reasoning about uncertain belief fusion. The framework is a combination of multi-agent epistemic logic and possibilistic...