메뉴 건너뛰기




Volumn 1638, Issue , 1999, Pages 279-292

Probabilistic logic programming under maximum entropy

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER CIRCUITS; LINEAR PROGRAMMING; LOGIC PROGRAMMING; MAXIMUM ENTROPY METHODS; QUERY PROCESSING;

EID: 41149099239     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-48747-6_26     Document Type: Conference Paper
Times cited : (18)

References (27)
  • 1
    • 0001975827 scopus 로고
    • Logic programming
    • J. van Leeuwen, editor, chapter 10, MIT Press
    • K. R. Apt. Logic programming. In J. van Leeuwen, editor. Handbook of Theoretical Computer Science, volume B, chapter 10, pages 493-574. MIT Press, 1990.
    • (1990) Handbook of Theoretical Computer Science , vol.B , pp. 493-574
    • Apt, K.R.1
  • 2
    • 0030283418 scopus 로고    scopus 로고
    • From statistical knowledge bases to degrees of beliefs
    • F. Bacchus, A. Grove, J. Y. Halpern, and D. Koller. From statistical knowledge bases to degrees of beliefs. Artif, Intell., 87:75-143, 1996.
    • (1996) Artif, Intell. , vol.87 , pp. 75-143
    • Bacchus, F.1    Grove, A.2    Halpern, J.Y.3    Koller, D.4
  • 5
    • 0025465251 scopus 로고
    • A logic for reasoning about probabilities
    • R. Fagin, J. Y. Halpern, and N. Megiddo. A logic for reasoning about probabilities. Inf. Cumput., 87:78-128, 1990.
    • (1990) Inf. Cumput. , vol.87 , pp. 78-128
    • Fagin, R.1    Halpern, J.Y.2    Megiddo, N.3
  • 6
    • 2942666849 scopus 로고    scopus 로고
    • Tabl-a tool for efficient compilation of probabilistic constraints
    • TU München
    • V. Fischer and M. Schramm, tabl-a tool for efficient compilation of probabilistic constraints. Technical Report TUM-I9636, TU München, 1996.
    • (1996) Technical Report TUM-I9636
    • Fischer, V.1    Schramm, M.2
  • 9
    • 0025535649 scopus 로고
    • An analysis of first-order logics of probability
    • J. Y. Halpern. An analysis of first-order logics of probability. Artif. Intell., 46:311-350, 1990.
    • (1990) Artif. Intell. , vol.46 , pp. 311-350
    • Halpern, J.Y.1
  • 12
    • 84913827229 scopus 로고
    • Comments on and corrections to "Axiomatic derivation of the principle of maximum entropy and the principle of minimum cross-entropy"
    • IT-29
    • R. W. Johnson and J. E. Shore. Comments on and corrections to "Axiomatic derivation of the principle of maximum entropy and the principle of minimum cross-entropy". IEEE Trans. Inf. Theory, IT-29(6):942-943, 1983.
    • (1983) IEEE Trans. Inf. Theory , Issue.6 , pp. 942-943
    • Johnson, R.W.1    Shore, J.E.2
  • 13
    • 0031652218 scopus 로고    scopus 로고
    • Characterizing the principle of minimum cross-entropy within a conditional-logical framework
    • G. Kern-Isberner. Characterizing the principle of minimum cross-entropy within a conditional-logical framework. Artif. Intell., 98:169-208, 1998.
    • (1998) Artif. Intell. , vol.98 , pp. 169-208
    • Kern-Isberner, G.1
  • 15
    • 0011156287 scopus 로고    scopus 로고
    • Local probabilistic deduction from taxonomic and probabilistic knowledge-bases over conjunctive events
    • T. Lukasiewicz. Local probabilistic deduction from taxonomic and probabilistic knowledge-bases over conjunctive events. Int. J. Approx. Reason., 1999. To appear.
    • (1999) Int. J. Approx. Reason.
    • Lukasiewicz, T.1
  • 16
    • 0033342013 scopus 로고    scopus 로고
    • Probabilistic deduction with conditional constraints over basic events. J
    • T. Lukasiewicz. Probabilistic deduction with conditional constraints over basic events. J. Artif. Intell. Res., 1999. To appear.
    • (1999) Artif. Intell. Res.
    • Lukasiewicz, T.1
  • 17
    • 0030784487 scopus 로고    scopus 로고
    • Semantics, consistency, and query processing of empirical deductive databases
    • R. T. Ng. Semantics, consistency, and query processing of empirical deductive databases. IEEE Trans. Knowl. Data Eng., 9(1):32-49, 1997.
    • (1997) IEEE Trans. Knowl. Data Eng. , vol.9 , Issue.1 , pp. 32-49
    • Ng, R.T.1
  • 18
    • 0027575760 scopus 로고
    • A semantical framework for supporting subjective and conditional probabilities in deductive databases. J
    • R. T. Ng and V. S. Subrahmanian. A semantical framework for supporting subjective and conditional probabilities in deductive databases. J. Autom. Reasoning, 10 (2): 191-235, 1993.
    • (1993) Autom. Reasoning , vol.10 , Issue.2 , pp. 191-235
    • Ng, R.T.1    Subrahmanian, V.S.2
  • 19
    • 0022659563 scopus 로고
    • Probabilistic logic
    • N. J. Nilsson. Probabilistic logic. Artif. Intell., 28:71-88, 1986.
    • (1986) Artif. Intell. , vol.28 , pp. 71-88
    • Nilsson, N.J.1
  • 20
    • 33645263129 scopus 로고
    • A note on the inevitability of maximum entropy
    • J. B. Paris and A. Vencovska. A note on the inevitability of maximum entropy. Int. J. Approx. Reasoning, 14:183-223, 1990.
    • (1990) Int. J. Approx. Reasoning , vol.14 , pp. 183-223
    • Paris, J.B.1    Vencovska, A.2
  • 22
    • 0027702434 scopus 로고
    • Probabilistic Horn abduction and Bayesian networks
    • D. Poole. Probabilistic Horn abduction and Bayesian networks. Artif. Intell., 64:81-129, 1993.
    • (1993) Artif. Intell. , vol.64 , pp. 81-129
    • Poole, D.1
  • 23
    • 0030405020 scopus 로고    scopus 로고
    • Representation and extraction of information by probabilistic logic
    • W. Rödder and G. Kern-Isberner. Representation and extraction of information by probabilistic logic. Inf. Syst., 21(8):637-652, 1997.
    • (1997) Inf. Syst. , vol.21 , Issue.8 , pp. 637-652
    • Rödder, W.1    Kern-Isberner, G.2
  • 25
    • 84948001855 scopus 로고    scopus 로고
    • Probabilistic knowledge representation and reasoning with maximum entropy - The system PIT
    • A.I. Schramm, V. Fischer, and P. Trunk. Probabilistic knowledge representation and reasoning with maximum entropy - the system PIT, Technical report (forthcoming), 1999.
    • (1999) Technical report
    • Schramm, A.I.1    Fischer, V.2    Trunk, P.3
  • 27
    • 0018877134 scopus 로고
    • Axiomatic derivation of the principle of maximum entropy and the principle of minimum cross-entropy
    • IT-26
    • J. E. Shore and R. W. Johnson. Axiomatic derivation of the principle of maximum entropy and the principle of minimum cross-entropy. IEEE Trans. Inf. Theory, IT-26:26-37, 1980.
    • (1980) IEEE Trans. Inf. Theory , pp. 26-37
    • Shore, J.E.1    Johnson, R.W.2


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