435 search results - page 23 / 87 » Probability logic, logical probability, and inductive suppor... |
LFCS
2009
Springer
15 years 4 months ago
2009
Springer
In this paper we study several properties of the Exogenous Probabilistic Propositional Logic (EPPL), a logic for reasoning about probabilities, with the purpose of introducing a t...
DEON
2008
Springer
14 years 11 months ago
2008
Springer
In this paper we define a framework to introduce gradedness in Deontic logics through the use of fuzzy modalities. By way of example, we instantiate the framework to Standard Deont...
BIRTHDAY
2010
Springer
14 years 10 months ago
2010
Springer
In this paper, we present an overview to programming with proofs in the reasoning framework, Beluga. Beluga supports the specification of formal systems given by axioms and inferen...
MFCS
2000
Springer
15 years 1 months ago
2000
Springer
The probability of a property on the collection of all finite relational structures is the limit as
RSCTC
2000
Springer
15 years 1 months ago
2000
Springer
The perception-based theory of probabilistic reasoning which is outlined in this paper is not in the traditional spirit. Its principal aim is to lay the groundwork for a radical e...