-
1
-
-
0032312992
-
On learning read- k -satisfy- j DNF
-
Aizenstein H., Blum A., Khardon R., Kushilevitz E., Pitt L., Roth D. On learning read-. k -satisfy- j DNF SIAM Journal on Computing. 27(6):1998;1515-1530.
-
(1998)
SIAM Journal on Computing
, vol.27
, Issue.6
, pp. 1515-1530
-
-
Aizenstein, H.1
Blum, A.2
Khardon, R.3
Kushilevitz, E.4
Pitt, L.5
Roth, D.6
-
3
-
-
0012729573
-
Knowledge base development tool requirements for an intelligent monitoring aid
-
E.J. Bass, S.T. Ernst-Fortin, R.L. Small, Knowledge base development tool requirements for an intelligent monitoring aid, in: Proceedings of the Tenth International FLAIRS Conference, 1997, pp. 412-416.
-
(1997)
Proceedings of the Tenth International FLAIRS Conference
, pp. 412-416
-
-
Bass, E.J.1
Ernst-Fortin, S.T.2
Small, R.L.3
-
4
-
-
0000675721
-
Context-specific independence in BNs
-
San Francisco, CA: Morgan Kaufmann Publishers
-
Boutilier C., Friedman N., Goldszmidt M., Koller D. Context-specific independence in BNs. Proceedings of the Conference on Uncertainty in Artificial Intelligence. 1996;Morgan Kaufmann Publishers, San Francisco, CA.
-
(1996)
Proceedings of the Conference on Uncertainty in Artificial Intelligence
-
-
Boutilier, C.1
Friedman, N.2
Goldszmidt, M.3
Koller, D.4
-
5
-
-
0025401005
-
The computational complexity of probabilistic inference using Bayesian belief networks
-
Cooper G.F. The computational complexity of probabilistic inference using Bayesian belief networks. Artificial Intelligence. 50(1):1990;393-405.
-
(1990)
Artificial Intelligence
, vol.50
, Issue.1
, pp. 393-405
-
-
Cooper, G.F.1
-
6
-
-
0027560587
-
Approximating probabilistic inference in Bayesian belief networks is NP-hard
-
Dagum P., Luby M. Approximating probabilistic inference in Bayesian belief networks is NP-hard. Artificial Intelligence. 60(1):1993;141-153.
-
(1993)
Artificial Intelligence
, vol.60
, Issue.1
, pp. 141-153
-
-
Dagum, P.1
Luby, M.2
-
7
-
-
0022680108
-
An assumption-based TMS
-
DeKleer J. An assumption-based TMS. Artificial Intelligence. 28:1986;163-196.
-
(1986)
Artificial Intelligence
, vol.28
, pp. 163-196
-
-
DeKleer, J.1
-
10
-
-
0012758910
-
Towards validation of rule-based systems - The loop is closed
-
AAAI Press, New York
-
R. Knauf, A.J. Gonzalez, K. P. Jantke, Towards validation of rule-based systems - the loop is closed, in: Proceedings of the Thirteenth International FLAIRS Conference, AAAI Press, New York, 2000, pp. 331-335.
-
(2000)
Proceedings of the Thirteenth International FLAIRS Conference
, pp. 331-335
-
-
Knauf, R.1
Gonzalez, A.J.2
Jantke, K.P.3
-
15
-
-
0027702434
-
Probabilistic horn abduction and Bayesian networks
-
Poole D. Probabilistic horn abduction and Bayesian networks. Artificial Intelligence. 64(1):1993;81-129.
-
(1993)
Artificial Intelligence
, vol.64
, Issue.1
, pp. 81-129
-
-
Poole, D.1
-
16
-
-
0030108966
-
Design and validation of a knowledge-based system for screening product innovations
-
Ram S., Ram S. Design and validation of a knowledge-based system for screening product innovations. IEEE Transactions on Systems, Man, and Cybernetics (Part A). 26(2):1996;213-221.
-
(1996)
IEEE Transactions on Systems, Man, and Cybernetics (Part A)
, vol.26
, Issue.2
, pp. 213-221
-
-
Ram, S.1
Ram, S.2
-
18
-
-
0012664901
-
Reasoning with BKBs - Algorithms and complexity
-
Intelligent Distributed Information Systems Laboratory, University of Connecticut
-
T. Rosen, S.E. Shimony, E. Santos Jr., Reasoning with BKBs - algorithms and complexity, Technical Report IDIS Technical Report 103, Intelligent Distributed Information Systems Laboratory, University of Connecticut, 2001.
-
(2001)
Technical Report IDIS Technical Report
, vol.103
-
-
Rosen, T.1
Shimony, S.E.2
Santos E., Jr.3
-
19
-
-
38149144307
-
Transferring knowledge from active expert to end-user environment
-
Sandahl K. Transferring knowledge from active expert to end-user environment. Knowledge Acquisition. 6(1):1994;1-22.
-
(1994)
Knowledge Acquisition
, vol.6
, Issue.1
, pp. 1-22
-
-
Sandahl, K.1
-
21
-
-
0035370813
-
Verification and validation of knowledge-bases under uncertainty
-
Santos E. Jr. Verification and validation of knowledge-bases under uncertainty. Data and Knowledge Engineering. 37:2001;307-329.
-
(2001)
Data and Knowledge Engineering
, vol.37
, pp. 307-329
-
-
Santos E., Jr.1
-
22
-
-
0012666449
-
Mack: A tool for acquiring consistent knowledge under uncertainty
-
E. Santos Jr., D.O. Banks, S.B. Banks, Mack: a tool for acquiring consistent knowledge under uncertainty, in: Proceedings of the AAAI Workshop on Verification and Validation of Knowledge-Based Systems, 1997, pp. 23-32.
-
(1997)
Proceedings of the AAAI Workshop on Verification and Validation of Knowledge-Based Systems
, pp. 23-32
-
-
Santos E., Jr.1
Banks, D.O.2
Banks, S.B.3
-
23
-
-
0012661764
-
Identifying and handling structural incompleteness for validation of probabilistic knowledge-bases
-
E. Santos Jr., S.B. Banks, S.M. Brown, D.J. Bawcom, Identifying and handling structural incompleteness for validation of probabilistic knowledge-bases, in: Proceedings of the Twelfth International FLAIRS Conference, 1999, pp. 506-510.
-
(1999)
Proceedings of the Twelfth International FLAIRS Conference
, pp. 506-510
-
-
Santos E., Jr.1
Banks, S.B.2
Brown, S.M.3
Bawcom, D.J.4
-
24
-
-
0012729574
-
Bval: Probabilistic knowledge-base validation
-
E. Santos Jr., H.T. Gleason, S.B. Banks, Bval: Probabilistic knowledge-base validation, in: Proceedings of the AAAI Workshop on Verification and Validation of Knowledge-Based Systems, 1997, pp. 13-22.
-
(1997)
Proceedings of the AAAI Workshop on Verification and Validation of Knowledge-Based Systems
, pp. 13-22
-
-
Santos E., Jr.1
Gleason, H.T.2
Banks, S.B.3
-
26
-
-
0012664260
-
Semantics and knowledge acquisition in Bayesian knowledge-bases
-
E. Santos Jr., E.S. Santos, S.E. Shimony, Semantics and knowledge acquisition in Bayesian knowledge-bases, in: Proceedings of the Fifteenth International FLAIRS Conference, 2002, pp. 524-528.
-
(2002)
Proceedings of the Fifteenth International FLAIRS Conference
, pp. 524-528
-
-
Santos E., Jr.1
Santos, E.S.2
Shimony, S.E.3
-
28
-
-
0028483915
-
Finding MAPs for belief networks is NP-hard
-
Shimony S.E. Finding MAPs for belief networks is NP-hard. Artificial Intelligence. 68:1994;399-410.
-
(1994)
Artificial Intelligence
, vol.68
, pp. 399-410
-
-
Shimony, S.E.1
-
29
-
-
0012758912
-
Cost-sharing heuristic for Bayesian knowledge-bases
-
S.E. Shimony, C. Domshlak, E. Santos Jr., Cost-sharing heuristic for Bayesian knowledge-bases, in: Proceedings of the Conference on Uncertainty in Artificial Intelligence, 1997, pp. 421-428.
-
(1997)
Proceedings of the Conference on Uncertainty in Artificial Intelligence
, pp. 421-428
-
-
Shimony, S.E.1
Domshlak, C.2
Santos E., Jr.3
-
30
-
-
0012673264
-
Independence semantics for BKBs
-
S.E. Shimony, E. Santos Jr., T. Rosen, Independence semantics for BKBs, in: Proceedings of the Thirteenth International FLAIRS Conference, 2000, pp. 308-312.
-
(2000)
Proceedings of the Thirteenth International FLAIRS Conference
, pp. 308-312
-
-
Shimony, S.E.1
Santos E., Jr.2
Rosen, T.3
|