1588 search results - page 41 / 318 » On the Logic of Constitutive Rules |
152
click to vote
EUSFLAT
2009
15 years 3 months ago
2009
- In Evidence theory, several conditioning rules for updating belief have been proposed, including Dempster's rule of conditioning. The paper views the conditioning rules prop...
159
click to vote
INFORMATICALT
2006
15 years 6 months ago
2006
In this paper we consider two logics: temporal logic of common knowledge and temporal logic of common belief. These logics involve the discrete time linear temporal logic operators...
189
click to vote
ICMLA
2009
15 years 3 months ago
2009
Languages that combine predicate logic with probabilities are needed to succinctly represent knowledge in many real-world domains. We consider a formalism based on universally qua...
163
click to vote
RSEISP
2007
Springer
16 years 7 days ago
2007
Springer
The main objective of this paper is to provide a granular computing based interpretation of rules representing two levels of knowledge. This is done by adopting and adapting the de...
140
click to vote
CSL
2001
Springer
15 years 10 months ago
2001
Springer
In this paper we investigate the purely logical rule of term induction, i.e. induction deriving numerals instead of arbitrary terms. In this system it is not possible to bound the ...