Geodesic
A Logic with Big-stepped Probabilities That Can Model Nonmonotonic Reasoning of System P
Publications de l'Institut Mathématique, _N_S_90 (2011) no. 104, p. 13

Voir la notice de l'article provenant de la source eLibrary of Mathematical Institute of the Serbian Academy of Sciences and Arts

We develop a sound and strongly complete axiomatic system for probabilistic logic in which we can model nonmonotonic (or default) reasoning. We discuss the connection between previously developed logics and the two sublogics of the logic presented here.
Classification : 03B48 
@article{PIM_2011_N_S_90_104_a1,
     author = {Dragan Doder},
     title = {A {Logic} with {Big-stepped} {Probabilities} {That} {Can} {Model} {Nonmonotonic} {Reasoning} of {System} {P}},
     journal = {Publications de l'Institut Math\'ematique},
     pages = {13 },
     publisher = {mathdoc},
     volume = {_N_S_90},
     number = {104},
     year = {2011},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/PIM_2011_N_S_90_104_a1/}
}
TY  - JOUR
AU  - Dragan Doder
TI  - A Logic with Big-stepped Probabilities That Can Model Nonmonotonic Reasoning of System P
JO  - Publications de l'Institut Mathématique
PY  - 2011
SP  - 13 
VL  - _N_S_90
IS  - 104
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/PIM_2011_N_S_90_104_a1/
LA  - en
ID  - PIM_2011_N_S_90_104_a1
ER  - 
%0 Journal Article
%A Dragan Doder
%T A Logic with Big-stepped Probabilities That Can Model Nonmonotonic Reasoning of System P
%J Publications de l'Institut Mathématique
%D 2011
%P 13 
%V _N_S_90
%N 104
%I mathdoc
%U http://geodesic.mathdoc.fr/item/PIM_2011_N_S_90_104_a1/
%G en
%F PIM_2011_N_S_90_104_a1
Dragan Doder. A Logic with Big-stepped Probabilities That Can Model Nonmonotonic Reasoning of System P. Publications de l'Institut Mathématique, _N_S_90 (2011) no. 104, p. 13 . http://geodesic.mathdoc.fr/item/PIM_2011_N_S_90_104_a1/