320 search results - page 6 / 64 » A Modal Logic of Information Change |
ECSQARU
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. Even though in Artificial Intelligence, a set of classical logical formulae is often called a belief base, reasoning about beliefs requires more than the language of cla...
ICDCSW
2000
IEEE
15 years 4 months ago
2000
IEEE
In this paper, we describe a new paradigm for information retrieval in which the retrieval target is based on a model. Three types of models – linear, finite state, and knowledg...
132
click to vote
PODC
2012
ACM
13 years 2 months ago
2012
ACM
This work presents a classification of weak models of distributed computing. We focus on deterministic distributed algorithms, and we study models of computing that are weaker ve...
118
Voted
WOLLIC
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. We present a modal language that includes explicit operators to count the number of elements that a model might include in the extension of a formula, and we discuss how ...
77
Voted
FUIN
2000
14 years 11 months ago
2000
The nondeterministic information logic NIL has been introduced by Orlowska and Pawlak in 1984 as a logic for reasoning about total information systems with the similarity, the forw...