A Logic with Big-stepped Probabilities That Can Model Nonmonotonic Reasoning of System P
Dragan Doder (2011)
Publications de l'Institut Mathématique
Similarity:
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
Dragan Doder (2011)
Publications de l'Institut Mathématique
Similarity:
Rašković, Miodrag (1993)
Publications de l'Institut Mathématique. Nouvelle Série
Similarity:
Nebojša Ikodinović (2001)
Publications de l'Institut Mathématique
Similarity:
Zoran Ognjanović, Nebojša Ikodinović (2007)
Publications de l'Institut Mathématique
Similarity:
Josep Pla Carrera (1979)
Stochastica
Similarity:
In the Lewis and Langford formalization of system S1 (1932), besides the deduction rules, the substitution rules are as well used: the uniform substitution and the substitution of strict equivalents. They then obtain systems S2, S3, S4 and S5 adding to the axioms of S1 a new axiom, respectively, without changing the deduction rules. Lemmon (1957) gives a new formalization of systems S1-S5, calling them P1-P5. Is is worthwhile to remark that in the formalization of P2-P5 one does not...
Miloš Milošević, Zoran Ognjanović (2013)
Publications de l'Institut Mathématique
Similarity:
Zoran Ognjanović (2001)
Publications de l'Institut Mathématique
Similarity:
Ton Sales (1996)
Mathware and Soft Computing
Similarity:
Today, Logic and Probability are mostly seen as independent fields with a separate history and set of foundations. Against this dominating perception, only a very few people (Laplace, Boole, Peirce) have suspected there was some affinity or relation between them. The truth is they have a considerable common ground which underlies the historical foundation of both disciplines and, in this century, has prompted notable thinkers as Reichenbach [14], Carnap [2] [3] or Popper [12] [13] (and...
Miodrag Rašković, Predrag Tanović (1990)
Publications de l'Institut Mathématique
Similarity:
Silvana Marinković, Miodrag Rašković, Radosav Đorđević (1999)
Publications de l'Institut Mathématique
Similarity: