-
4
-
-
0028412928
-
A state of the art in automated validation of knowledge-based systems
-
A. Preece and N. P. Zlatareva. A state of the art in automated validation of knowledge-based systems. Expert Systems with Applications, 7(2):151-167, 1994.
-
(1994)
Expert Systems with Applications
, vol.7
, Issue.2
, pp. 151-167
-
-
Preece, A.1
Zlatareva, N.P.2
-
8
-
-
84974723382
-
Modeling and verifying complex objects: A declarative approach based on description logics
-
P. Hors and M.C. Rousset. Modeling and verifying complex objects: A declarative approach based on description logics. European Conference of Artificial Intelligence, ECAI’96, pages 328-332, 1996.
-
(1996)
European Conference of Artificial Intelligence, ECAI’96
, pp. 328-332
-
-
Hors, P.1
Rousset, M.C.2
-
9
-
-
0027066011
-
Verifying expert systems: A logical framework and a pratical tool
-
A. D. Preece, R. Shinghal, and A. Batarekh. Verifying expert systems: a logical framework and a pratical tool. Expert Systems with Applications, 5(3/4):421-436, 1992.
-
(1992)
Expert Systems with Applications
, vol.5
, Issue.3-4
, pp. 421-436
-
-
Preece, A.D.1
Shinghal, R.2
Batarekh, A.3
-
10
-
-
1642634322
-
Revision of rule bases
-
F. Bouali, S. Loiseau, and M. C. Rousset. Revision of rule bases. EUROpean conference on VAlidation and Verification of knowledge based systems, EUROVAV’97, pages 193-201, 1997.
-
(1997)
European Conference on Validation and Verification of Knowledge Based Systems, EUROVAV’97
, pp. 193-201
-
-
Bouali, F.1
Loiseau, S.2
Rousset, M.C.3
-
12
-
-
0030365252
-
Représenter des connaissances et raisonner avec des graphes
-
M.L. Mugnier and M. Chein. Représenter des connaissances et raisonner avec des graphes. Revue d’Intelligence Artificielle, 10(1):7-56, 1996.
-
(1996)
Revue d’Intelligence Artificielle
, vol.10
, Issue.1
, pp. 7-56
-
-
Mugnier, M.L.1
Chein, M.2
-
13
-
-
30344466303
-
A semantic validation of conceptual graphs
-
Lecture Notes in Artificial Intelligence, Montpellier, France, august, Springer Verlag
-
J. Dibie, O. Haemmerlé, and S. Loiseau. A semantic validation of conceptual graphs. In Proceedings of the 6th International Conference on Conceptual Structures, ICCS’98, Lecture Notes in Artificial Intelligence, pages 80-93, Montpellier, France, august 1998. Springer Verlag.
-
(1998)
Proceedings of the 6Th International Conference on Conceptual Structures, ICCS’98
, pp. 80-93
-
-
Dibie, J.1
Haemmerlé, O.2
Loiseau, S.3
-
14
-
-
33749672319
-
Conceptual graph canonicity and semantic constraints
-
Peter W. Eklund, Gerard Ellis, and Graham Mann, editors, Sydney, Australia, August, Springer Verlag
-
P. Kocura. Conceptual graph canonicity and semantic constraints. In Peter W. Eklund, Gerard Ellis, and Graham Mann, editors, Conceptual Structures: Knowledge Representation as Interlingua - Auxilliary Proceedings of the 4th International Conference on Conceptual Structures, pages 133-145, Sydney, Australia, August 1996. Springer Verlag.
-
(1996)
Conceptual Structures: Knowledge Representation as Interlingua - Auxilliary Proceedings of the 4Th International Conference on Conceptual Structures
, pp. 133-145
-
-
Kocura, P.1
-
15
-
-
0343565999
-
The representation of semantic constraints in conceptual graph systems
-
Lecture Notes in Artificial Intelligenc, Seattle, U.S.A, Springer Verlag
-
G. W. Mineau and R. Missaoui. The representation of semantic constraints in conceptual graph systems. In Proceedings of the 5th International Conference on Conceptual Structures, ICCS’97, Lecture Notes in Artificial Intelligence 1257, pages 138-152, Seattle, U.S.A., 1997. Springer Verlag.
-
(1997)
Proceedings of the 5Th International Conference on Conceptual Structures, ICCS’97
, vol.1257
, pp. 138-152
-
-
Mineau, G.W.1
Missaoui, R.2
-
18
-
-
0023329093
-
A theory of diagnosis from first principles
-
R. Reiter. A theory of diagnosis from first principles. Artificial Intelligence, 32:5795, 1987.
-
(1987)
Artificial Intelligence
, vol.32
, pp. 5795
-
-
Reiter, R.1
-
19
-
-
0002939231
-
Checking an expert system knowledge base for consistency and completness
-
T. A. Nguyen, W. A. Perkins, T. J. Laffrey, and D. Pecora. Checking an expert system knowledge base for consistency and completness. International Join Conference of Artificial Intelligence, IJCAI’85, 1:375-378, 1985.
-
(1985)
International Join Conference of Artificial Intelligence, IJCAI’85
, vol.1
, pp. 375-378
-
-
Nguyen, T.A.1
Perkins, W.A.2
Laffrey, T.J.3
Pecora, D.4
-
21
-
-
0006931878
-
Detecting and correcting errors in rule-based expert systems: An integration of empirical and explanation-based learning
-
M. J. Pazzani and C. A. Brunk. Detecting and correcting errors in rule-based expert systems: an integration of empirical and explanation-based learning. Knowledge Acquisition, 3:157-173, 1991.
-
(1991)
Knowledge Acquisition
, vol.3
, pp. 157-173
-
-
Pazzani, M.J.1
Brunk, C.A.2
|