Digital Library
Close
Browse articles from a journal
Search for
Magazine
Article
ISSN
NBN article
NBN magazine
DARE/NARCIS document
with title:
A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
Q
R
S
T
U
V
W
X
Y
Z
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