925 search results - page 28 / 185 » Probabilistic and Logical Beliefs |
UAI
1992
13 years 9 months ago
1992
FOSSACS
1999
Springer
14 years 5 days ago
1999
Springer
This paper presents a mu-calculus-based modal logic for describing properties of reactive probabilistic labeled transition systems (RPLTSs) and develops a modelchecking algorithm ...
DEXAW
2000
IEEE
14 years 9 days ago
2000
IEEE
Situational aspects are very helpful to decide relevance but they have often been left aside by Information Retrieval models. The standard logical approach to Information Retrieva...
APAL
2005
13 years 7 months ago
2005
The notions of common knowledge or common belief play an important role in several areas of computer science (e.g. distributed systems, communication), in philosophy, game theory,...
FROCOS
2007
Springer
14 years 2 months ago
2007
Springer
Abstract. We investigate the extension of modal logics by bisimulation quantifiers and present a class of modal logics which is decidable when augmented with bisimulation quanti...