Digital Library
Close Browse articles from a journal
     Journal description
       All volumes of the corresponding journal
         All issues of the corresponding volume
                                       All articles of the corresponding issues
 
                             7 results found
no title author magazine year volume issue page(s) type
1 Applying rule-base anomalies to KADS inference structures van Harmelen, Frank
1997
21 4 p. 271-280
10 p.
article
2 A survey of tools for the validation and verification of knowledge-based systems: 1985–1995 1 Research Sponsored in part by SBIR Contract Number DAHH01-96-C-R013. 1 Murrell, Stephen
1997
21 4 p. 307-323
17 p.
article
3 Classifying and detecting anomalies in hybrid knowledge-based systems 1 The first author is supported in part by DARPA CAETI program contract #N66001-95-C-8628. The first and second authors are supported in part by the Department of Energy, contract #DEAC22-93BC14894. The third author was on leave from the University of Kansas on a grant from the Computing Research Association Distributed Mentoring Project. 1 Mukherjee, Ranadeep
1997
21 4 p. 231-251
21 p.
article
4 Editorial 1997
21 4 p. 229-230
2 p.
article
5 Inference engine greediness: subsumption and suboptimality O'Leary, Daniel E
1997
21 4 p. 263-269
7 p.
article
6 Using goals to design and verify rule bases Chander, P.G.
1997
21 4 p. 281-305
25 p.
article
7 Verification of non-monotonic knowledge bases Zlatareva, Neli P
1997
21 4 p. 253-261
9 p.
article
                             7 results found
 
 Koninklijke Bibliotheek - National Library of the Netherlands