메뉴 건너뛰기




Volumn 4772 LNAI, Issue , 2007, Pages 45-59

Finding most probable worlds of probabilistic logic programs

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL EFFICIENCY; HEURISTIC METHODS; LINEAR PROGRAMMING; PROBABILISTIC LOGICS; PROBLEM SOLVING;

EID: 38149004255     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-75410-7_4     Document Type: Conference Paper
Times cited : (20)

References (17)
  • 5
    • 0026271588 scopus 로고
    • A semantical framework for supporting subjective and conditional probabilities in deductive databases
    • Furukawa, K, ed, The MIT Press, Cambridge
    • Ng, R.T., Subrahmanian, V.S.: A semantical framework for supporting subjective and conditional probabilities in deductive databases. In: Furukawa, K. (ed.) Proc. of the 8th Int. Conf. on Logic Programming, pp. 565-580. The MIT Press, Cambridge (1991)
    • (1991) Proc. of the 8th Int. Conf. on Logic Programming , pp. 565-580
    • Ng, R.T.1    Subrahmanian, V.S.2
  • 6
    • 33947660880 scopus 로고    scopus 로고
    • Subrahmanian, V., Albanese, M., Martinez, V., Reforgiato, D., Simari, G.I., Sliva, A., Udrea, O., Wilkenfeld, J.: CARA: A Cultural Adversarial Reasoning Architecture. IEEE Intelligent Systems 22(2), 12-16 (2007)
    • Subrahmanian, V., Albanese, M., Martinez, V., Reforgiato, D., Simari, G.I., Sliva, A., Udrea, O., Wilkenfeld, J.: CARA: A Cultural Adversarial Reasoning Architecture. IEEE Intelligent Systems 22(2), 12-16 (2007)
  • 8
    • 38149066483 scopus 로고    scopus 로고
    • Wilkenfeld, J., Asal, V., Johnson, C., Pate, A., Michael, M.: The use of violence by ethnopolitical organizations in the middle east. Technical report, National Consortium for the Study of Terrorism and Responses to Terrorism (2007)
    • Wilkenfeld, J., Asal, V., Johnson, C., Pate, A., Michael, M.: The use of violence by ethnopolitical organizations in the middle east. Technical report, National Consortium for the Study of Terrorism and Responses to Terrorism (2007)
  • 10
    • 84947904225 scopus 로고
    • Probabilistic logic programming and bayesian networks
    • Ngo, L., Haddawy, P.: Probabilistic logic programming and bayesian networks. In: Asian Computing Science Conf., pp. 286-300 (1995)
    • (1995) Asian Computing Science Conf , pp. 286-300
    • Ngo, L.1    Haddawy, P.2
  • 11
    • 41149099239 scopus 로고    scopus 로고
    • Probabilistic logic programming under maximum entropy
    • Hunter, A, Parsons, S, eds, ECSQARU 1999, Springer, Heidelberg
    • Lukasiewicz, T., Kern-Isberner, G.: Probabilistic logic programming under maximum entropy. In: Hunter, A., Parsons, S. (eds.) ECSQARU 1999. LNCS (LNAI), vol. 1638, Springer, Heidelberg (1999)
    • (1999) LNCS (LNAI , vol.1638
    • Lukasiewicz, T.1    Kern-Isberner, G.2
  • 14
    • 0022693287 scopus 로고
    • Quantitative deduction and its fixpoint theory
    • van Emden, M.: Quantitative deduction and its fixpoint theory. Journal of Logic Programming 4, 37-53 (1986)
    • (1986) Journal of Logic Programming , vol.4 , pp. 37-53
    • van Emden, M.1
  • 17
    • 38149123780 scopus 로고    scopus 로고
    • Seipel, D., Thöne, H.: DISLOG - A system for reasoning in disjunctive deductive databases. In: DAISD 1994, pp. 325-343 (1994)
    • Seipel, D., Thöne, H.: DISLOG - A system for reasoning in disjunctive deductive databases. In: DAISD 1994, pp. 325-343 (1994)


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