메뉴 건너뛰기




Volumn 46, Issue , 2008, Pages 268-279

Possible semantics for a common framework of probabilistic logics

Author keywords

[No Author keywords available]

Indexed keywords


EID: 56849129391     PISSN: 16153871     EISSN: 18600794     Source Type: Book Series    
DOI: 10.1007/978-3-540-77664-2_21     Document Type: Article
Times cited : (4)

References (31)
  • 1
    • 58149105442 scopus 로고    scopus 로고
    • Adams, E.W.: A Primer of Probability Logic. CSLI Publications, Stanford (1998)
    • Adams, E.W.: A Primer of Probability Logic. CSLI Publications, Stanford (1998)
  • 2
    • 0029777818 scopus 로고    scopus 로고
    • A linear programming framework for logics of uncertainty
    • Anderson, K.A., Hooker, J.N.: A linear programming framework for logics of uncertainty. Decision Support Systems 16(1), 39-53 (1996)
    • (1996) Decision Support Systems , vol.16 , Issue.1 , pp. 39-53
    • Anderson, K.A.1    Hooker, J.N.2
  • 5
    • 0010358630 scopus 로고    scopus 로고
    • Credal networks
    • Cozman, F.G.: Credal networks. Artificial Intelligence 120(2), 199-233 (2000)
    • (2000) Artificial Intelligence , vol.120 , Issue.2 , pp. 199-233
    • Cozman, F.G.1
  • 6
    • 34249758397 scopus 로고
    • The logic of probability
    • de Finetti, B.: The logic of probability. Philosophical Studies 77(1), 181-190 (1995)
    • (1995) Philosophical Studies , vol.77 , Issue.1 , pp. 181-190
    • de Finetti, B.1
  • 8
    • 23844467529 scopus 로고    scopus 로고
    • Probability, logic and the cognitive foundations of rational belief
    • Fox, J.: Probability, logic and the cognitive foundations of rational belief. Journal of Applied Logic 1(3-4), 197-224 (2003)
    • (2003) Journal of Applied Logic , vol.1 , Issue.3-4 , pp. 197-224
    • Fox, J.1
  • 9
    • 51249163944 scopus 로고
    • Concerning measures in first order calculi
    • Gaifman, H.: Concerning measures in first order calculi. Israel Journal of Mathematics 2, 1-18 (1964)
    • (1964) Israel Journal of Mathematics , vol.2 , pp. 1-18
    • Gaifman, H.1
  • 10
    • 0028524384 scopus 로고
    • Inferences in probability logic
    • Gerla, G.: Inferences in probability logic. Artificial Intelligence 70(1-2), 33-52 (1994)
    • (1994) Artificial Intelligence , vol.70 , Issue.1-2 , pp. 33-52
    • Gerla, G.1
  • 11
    • 33745878367 scopus 로고    scopus 로고
    • Towards a unifying theory of logical and probabilistic reasoning
    • Cozman, F.B, Nau, R, Seidenfeld, T, eds, Pittsburgh, USA, pp
    • Haenni, R.: Towards a unifying theory of logical and probabilistic reasoning. In: Cozman, F.B., Nau, R., Seidenfeld, T. (eds.) ISIPTA 2005, 4th International Symposium on Imprecise Probabilities and Their Applications, Pittsburgh, USA, pp. 193-202 (2005)
    • (2005) ISIPTA 2005, 4th International Symposium on Imprecise Probabilities and Their Applications , pp. 193-202
    • Haenni, R.1
  • 12
    • 10844288659 scopus 로고    scopus 로고
    • Using probabilistic argumentation for key validation in public-key cryptography
    • Haenni, R.: Using probabilistic argumentation for key validation in public-key cryptography. International Journal of Approximate Reasoning 38(3), 355-376 (2005)
    • (2005) International Journal of Approximate Reasoning , vol.38 , Issue.3 , pp. 355-376
    • Haenni, R.1
  • 13
    • 58149133724 scopus 로고    scopus 로고
    • Probabilistic argumentation
    • forthcoming
    • Haenni, R.: Probabilistic argumentation. Journal of Applied Logic (forthcoming, 2008)
    • (2008) Journal of Applied Logic
    • Haenni, R.1
  • 14
    • 33750947145 scopus 로고    scopus 로고
    • Modeling partially reliable information sources: A general approach based on Dempster-Shafer theory
    • Haenni, R., Hartmann, S.: Modeling partially reliable information sources: A general approach based on Dempster-Shafer theory. International Journal of Information Fusion 7(4), 361-379 (2006)
    • (2006) International Journal of Information Fusion , vol.7 , Issue.4 , pp. 361-379
    • Haenni, R.1    Hartmann, S.2
  • 15
    • 58149127365 scopus 로고    scopus 로고
    • Haenni, R., Kohlas, J., Lehmann, N.: Probabilistic argumentation systems. In: Gabbay, D.M., Smets, P. (eds.) Handbook of Defeasible Reasoning and Uncertainty Management Systems. Algorithms for Uncertainty and Defeasible Reasoning, 5, pp. 221-288. Kluwer Academic Publishers, Dordrecht (2000)
    • Haenni, R., Kohlas, J., Lehmann, N.: Probabilistic argumentation systems. In: Gabbay, D.M., Smets, P. (eds.) Handbook of Defeasible Reasoning and Uncertainty Management Systems. Algorithms for Uncertainty and Defeasible Reasoning, vol. 5, pp. 221-288. Kluwer Academic Publishers, Dordrecht (2000)
  • 18
    • 0025535649 scopus 로고
    • An analysis of first-order logics of probability
    • Halpern, J.Y.: An analysis of first-order logics of probability. Artificial Intelligence 46, 311-350 (1990)
    • (1990) Artificial Intelligence , vol.46 , pp. 311-350
    • Halpern, J.Y.1
  • 19
    • 23844489880 scopus 로고    scopus 로고
    • Probability and logic
    • Howson, C.: Probability and logic. Journal of Applied Logic 1(3-4), 151-165 (2003)
    • (2003) Journal of Applied Logic , vol.1 , Issue.3-4 , pp. 151-165
    • Howson, C.1
  • 21
    • 23844523903 scopus 로고    scopus 로고
    • Probabilistic argumentation systems: A new way to combine logic with probability
    • Kohlas, J.: Probabilistic argumentation systems: A new way to combine logic with probability. Journal of Applied Logic 1(3-4), 225-253 (2003)
    • (2003) Journal of Applied Logic , vol.1 , Issue.3-4 , pp. 225-253
    • Kohlas, J.1
  • 25
  • 26
    • 0038781480 scopus 로고
    • Wahrscheinlichkeitslogik
    • Reichenbach, H.: Wahrscheinlichkeitslogik. Erkenntnis 5, 37-43 (1935)
    • (1935) Erkenntnis , vol.5 , pp. 37-43
    • Reichenbach, H.1
  • 27
    • 32044466073 scopus 로고    scopus 로고
    • Markov logic networks.
    • Richardson, M., Domingos, P.: Markov logic networks. Machine Learning 62(1-2), 107-136 (2006)
    • (2006) Machine Learning , vol.62 , Issue.1-2 , pp. 107-136
    • Richardson, M.1    Domingos, P.2
  • 28
    • 0008641712 scopus 로고
    • The logical foundations of evidential reasoning
    • Tech. Rep. 408, SRI International, AI Center, Menlo Park, USA
    • Ruspini, E.H.: The logical foundations of evidential reasoning. Tech. Rep. 408, SRI International, AI Center, Menlo Park, USA (1986)
    • (1986)
    • Ruspini, E.H.1
  • 30
    • 77956953017 scopus 로고
    • Assigning probabilities to logical formulas
    • Hintikka, J, Suppes, P, eds, North-Holland, Amsterdam
    • Scott, D., Krauss, P.: Assigning probabilities to logical formulas. In: Hintikka, J., Suppes, P. (eds.) Aspects of Inductive Logic, pp. 219-264. North-Holland, Amsterdam (1966)
    • (1966) Aspects of Inductive Logic , pp. 219-264
    • Scott, D.1    Krauss, P.2


* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.