1 |
D.L.Nazareth, "Lssues in the Verification of Knowledge in Rule-Based Systems", I.J.Man-Machine Studies, vol. 30, pp. 255-271, 1989.
DOI
ScienceOn
|
2 |
D.L.Nazareth and M.H.Kennedy, "Verification of Rule-Based Knowledge Using Directed Graphs", Knowledge Acquisition, vol.3, pp.339-360, 1991.
DOI
|
3 |
Christoph F. Eick, "Rule-Based Consistency Enforcement for Knowledge-Based systems", IEEE Trans. on Knowledge and data engineering, vol 5, no.1 ,pp4-13, feb, 1993.
DOI
ScienceOn
|
4 |
B.Mazure, L.Sais, E.Gregoire, "Boosting complete technique thanks to local search methods", Annuals of mathematics and artificial intelligence, Kluwer, pp 319-331, 1998
|
5 |
M. Ramaswamy, S. Sarkar, Ye-Sho Chen, "Using directed hypergraphs to verify rule-based expert systems", IEEE Trans. on Knowledge and data engineering, vol.9, no. 2, march-april, pp. 221-237, 1997.
DOI
ScienceOn
|
6 |
G.Valiente, "Verification of knowledge based redundancy and subsumption using graph transformations", Int'l J. Expert System, vol.6, no.3, pp341-355, 1993.
|
7 |
Walling R. Cyre, "Capture, integration, and analysis of digital system requirements with conceptual graphs", IEEE Trans. on Knowledge and data engineering, vol 9, no. 1, pp 8-23, jan-feb, 1997.
DOI
ScienceOn
|
8 |
Gerard Ellis, "Compiling Conceptual Graphs", IEEE trans. on Knowledge and data engineering, vol 7, no 1, pp. 68-81, feb, 1995.
DOI
ScienceOn
|
9 |
N.K.Liu, "Formal Verification of Some Potential Contradictions in Knowledge Base Usion a High Level Net Approach", Applied Intelligence, vol.6, no. 4, Oct, 1996
|
10 |
B. Selman, H.Kautz, D.McAllester, "Computational challenges in propositional resoning and search", Proc. IJCAI97, 1997
|
11 |
T.A.Nguyen, W.A.Perkins, T.J.Laffey and D.Pecora, "Knowledge Based Verification", AI Magazine, vol 8, no 2, pp.69-75, 1987.
|
12 |
B.Cragun and H.Steudel, "A Decision-Table Based Processor for Checking Completeness and Consistency in Rule-Based Expert Systems", Int'l j. Man-Machine Studies, vol 26, no. 5, pp.633-648, 1987.
DOI
ScienceOn
|
13 |
P.Morizet-Mahoudeaux, "Maintaining Consistency of Database During Monitoring of an Evolving Process by a Knowledge-Based System", IEEE Trans. on systems, man and cybernetics, vol 21, no. 1, pp 47-60, 1991.
DOI
ScienceOn
|
14 |
P. LeBeux, n Fontaine, "Un systeme d'acquisition des connaissances pour systemes experts", Technique et Science Informatique, vol 5, no.1, pp7-20, 1986.
|
15 |
T.A. Nguyen, N.A.Perkins, T.J.Laffey and D.Pecora, "Checking an Expert system knowledge base for consistency and completeness", Proc. IJCAI85, LA, Califonia, pp. 375-378, 1985.
|
16 |
N.Botten, A.Kusiak and T.Raz, "Knowledge Bases : Integration, Verification and Partitioning", European j. Operational Research, vol 42, pp.111-128, 1989.
DOI
ScienceOn
|
17 |
Laure Brisoux, Eric Gregoire, Lakhdar Sais, "Checking Depth-Limited Consistency and Inconsistency in Knowledge-Based Systems", International Journal of Intelligent Systems, vol. 16, 2001, pp 319-331.
DOI
ScienceOn
|
18 |
D.L.Nazareth, "Investigating the Applicability of Petri Nets for Rule-Based System Verification", IEEE Trans. on Knowledge and data engineering, vol 5, no. 3, pp.402-415, 1993.
DOI
ScienceOn
|