-
1
-
-
0001975827
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
|