Digitale Bibliotheek
Sluiten Bladeren door artikelen uit een tijdschrift
     Tijdschrift beschrijving
       Alle jaargangen van het bijbehorende tijdschrift
         Alle afleveringen van het bijbehorende jaargang
                                       Alle artikelen van de bijbehorende aflevering
 
                             7 gevonden resultaten
nr titel auteur tijdschrift jaar jaarg. afl. pagina('s) type
1 Applying rule-base anomalies to KADS inference structures van Harmelen, Frank
1997
21 4 p. 271-280
10 p.
artikel
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.
artikel
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.
artikel
4 Editorial 1997
21 4 p. 229-230
2 p.
artikel
5 Inference engine greediness: subsumption and suboptimality O'Leary, Daniel E
1997
21 4 p. 263-269
7 p.
artikel
6 Using goals to design and verify rule bases Chander, P.G.
1997
21 4 p. 281-305
25 p.
artikel
7 Verification of non-monotonic knowledge bases Zlatareva, Neli P
1997
21 4 p. 253-261
9 p.
artikel
                             7 gevonden resultaten
 
 Koninklijke Bibliotheek - Nationale Bibliotheek van Nederland