First-order probabilistic logics and their applications
Zbornik radova, Tome 18 (2015) no. 26, p. 37
Cet article a éte moissonné depuis la source eLibrary of Mathematical Institute of the Serbian Academy of Sciences and Arts
The paper offers an overview of the authors' results on formalization of uncertain reasoning in first-order framework.
Classification :
03B48, 03B60, 03B70, 03B35, 03B42 68T37, 68T15, 68T30
Keywords: probability logic, conditional probability, approximate probability, non-standard analysis, strong completeness, decidability, default reasoning
Keywords: probability logic, conditional probability, approximate probability, non-standard analysis, strong completeness, decidability, default reasoning
@article{ZR_2015_18_26_a2,
author = {Neboj\v{s}a Ikodinovi\'c and Zoran Ognjanovi\'c and Miodrag Ra\v{s}kovi\'c and Zoran Markovi\'c},
title = {First-order probabilistic logics and their applications},
journal = {Zbornik radova},
pages = {37 },
year = {2015},
volume = {18},
number = {26},
language = {en},
url = {http://geodesic.mathdoc.fr/item/ZR_2015_18_26_a2/}
}
TY - JOUR AU - Nebojša Ikodinović AU - Zoran Ognjanović AU - Miodrag Rašković AU - Zoran Marković TI - First-order probabilistic logics and their applications JO - Zbornik radova PY - 2015 SP - 37 VL - 18 IS - 26 UR - http://geodesic.mathdoc.fr/item/ZR_2015_18_26_a2/ LA - en ID - ZR_2015_18_26_a2 ER -
Nebojša Ikodinović; Zoran Ognjanović; Miodrag Rašković; Zoran Marković. First-order probabilistic logics and their applications. Zbornik radova, Tome 18 (2015) no. 26, p. 37 . http://geodesic.mathdoc.fr/item/ZR_2015_18_26_a2/