Doder, Dragan ; University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC)
Ognjanovic, Zoran; Serbian Academy of Science and Arts > Institute of Mathematics
External co-authors :
yes
Language :
English
Title :
A logic with Upper and Lower Probability Operators
Publication date :
2015
Event name :
9th International Symposium on Imprecise Probability: Theories and Applications
Event place :
Pescara, Italy
Event date :
20-24 July, 2015
Main work title :
ISIPTA ’15: Proceedings of the 9th International Symposium on Imprecise Probability: Theories and Applications
Pages :
248-257
Peer reviewed :
Peer reviewed
FnR Project :
FNR6915214 - Probabilistic Reliability Management And Its Applications In Argumentation Theory And Tracking Objects, 2013 (01/06/2014-31/05/2016) - Dragan Doder
M. Abadi J. Y. Halpern. Decidability and expressiveness for first-order logics of probability. Information and Computation, 112: 1-36. 1994.
B. Anger, J. Lembcke. Infinitely subadditive capacities as upper envelopes of measures. Zeitschrift für Wahrscheinlichkeitstheorie und Verwandte Gebiete, 68: 403-414. 1985.
P. Cintula, C. Noguera. Modal Logics of Uncertainty with Two-Layer Syntax: A General Completeness Theorem. Volume 8652 of Lecture Notes in Computer Science, pages 124-136. Springer 2014.
G. de Cooman, F Hermans. Imprecise probability trees: Bridging two theories of imprecise probability. Artificial Intelligence 172(11): 1400-1427. 2008.
D. Dubois, H. Prade. Possibility Theory. Plenum Press, New York, 1988.
R. Fagin, J. Halpern, N. Megiddo. A logic for reasoning about probabilities. Information and Computation 87(1-2):78-128. 1990.
R. Fagin, J. Halpern. Reasoning about knowledge and probability. Journal of the ACM, 41(2): 340-367, 1994.
M. Fattorosi-Barnaba, G. Amati. Modal operators with probabilistic interpretations I. Studia Logica 46(4): 383-393. 1989.
A. Frish, P. Haddawy. Anytime deduction for probabilistic logic. Artificial Intelligence 69: 93-122. 1994.
J. Y. Halpern. An analysis of first-order logics of probability. Artificial Intelligence 46: 311-350. 1990.
J. Y. Halpern, R. Pucella. A Logic for Reasoning about Upper Probabilities. Journal of Artificial Intelligence Research 17: 57-81. 2002.
P.J. Huber. Robust Statistics. Wiley, New York, 1981.
A. Heifetz, P. Mongin. Probability logic for type spaces. Games and economic behavior 35: 31-53. 2001.
N. Ikodinović, Z. Ognjanović, M. Rašković, A. Perović. Hierarchies of probabilistic logics. International Journal of Approximate Reasoning, 55(9): 1830-1842. 2014.
N. Ikodinović, M. Rašković, Z. Marković, Z. Ognjanović. A first-order probabilistic logic with approximate conditional probabilities. Logic Journal of the IGPL vol. 22, no. 4: 539-564. 2014.
A. Ilić-Stepić, Z. Ognjanović. Complex valued probability logics. Publications de l'Institut Mathematique, N.s. tome 95 (109) (2014) 73-86. 2014.
A. Ilić-Stepić, Z. Ognjanović, N. Ikodinović. Conditional p-adic probability logic. International Journal of Approximate Reasoning vol. 55, no. 9: 1843-1865. 2014.
H.E. Kyburg. Probability and the Logic of Rational Belief. Wesleyan University Press, Middletown, Connecticut, 1961.
I. Levi. The Enterprise of Knowledge. MIT Press, London, 1980.
G.G. Lorentz. Multiply subadditive functions. Canadian Journal of Mathematics 4(4): 455-462. 1952.
M. Meier. An infinitary probability logic for type spaces. Israel Journal of Mathematics 192(1): 1-58. 2012.
E. Miranda. A survey of the theory of coherent lower previsions. International Journal of Approximate Reasoning vol. 48, no. 2: 628-658. 2008.
M. Milošević, Z. Ognjanović. A first-order conditional probability logic. Logic Journal of the IGPL vol. 20, no. 1: 235-253. 2012.
N. Nilsson. Probabilistic logic. Artificial Intelligence, 28: 71-87. 1986.
Z. Ognjanović, M. Rašković. Some probability logics with new types of probability operators. Journal of Logic and Computation 9(2): 181-195. 1999.
Z. Ognjanović, M. Rašković. Some first-order probability logics. Theoretical Computer Science 247(1-2): 191-212. 2000.
M. Rašković, Z. Marković, Z. Ognjanović. A logic with approximate conditional probabilities that can model default reasoning. International Journal of Approximate Reasoning vol. 49, no. 1: 52-66. 2008.
G. Shafer. A Mathematical Theory of Evidence. Princeton University Press, Princeton, NJ, 1976.
P. Walley. Statistical Reasoning with Imprecise Probabilities. Chapman and Hall, London, 1991.
P. Walley. Towards a unified theory of imprecise probability. International Journal of Approximate Reasoning vol. 24, no. 2-3: 125-148. 2000.
W. van der Hoeck. Some consideration on the logics PF D. Journal of Applied Non-Classical Logics, vol. 7, no. 3, 287-307. 1997.
L.A. Zadeh. Fuzzy sets as a basis for a theory of possibility. Fuzzy Sets and Systems 1: 3-28. 1978.