Evaluating Performance and Quality of Knowledge-Based Systems: Foundation and Methodology.
Giovanni Guida, Giancarlo Mauri:
Evaluating Performance and Quality of Knowledge-Based Systems: Foundation and Methodology.
IEEE Trans. Knowl. Data Eng. 5(2): 204-224(1993)@article{DBLP:journals/tkde/GuidaM93,
author = {Giovanni Guida and
Giancarlo Mauri},
title = {Evaluating Performance and Quality of Knowledge-Based Systems:
Foundation and Methodology},
journal = {IEEE Trans. Knowl. Data Eng.},
volume = {5},
number = {2},
year = {1993},
pages = {204-224},
ee = {db/journals/tkde/GuidaM93.html},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
BibTeX
Abstract
Copyright © 1993 by The Institute of
Electrical and Electronic Engineers, Inc. (IEEE).
Abstract used with permission.
CDROM Version: Load the CDROM "Volume 3 Issue 3, TKDE 1993-1995" and ...
DVD Version: Load ACM SIGMOD Anthology DVD 2" and ...
BibTeX
References
- [1]
- ...
- [2]
- ...
- [3]
- W. Richards Adrion, Martha A. Branstad, John C. Cherniavsky:
Validation, Verification, and Testing of Computer Software.
ACM Comput. Surv. 14(2): 159-192(1982) BibTeX
- [4]
- ...
- [5]
- ...
- [6]
- ...
- [7]
- ...
- [8]
- ...
- [9]
- Ronald J. Brachman:
``I Lied About the Trees, '' Or, Defaults and Definitions in Knowledge Representation.
AI Magazine 6(3): 80-93(1985) BibTeX
- [10]
- ...
- [11]
- ...
- [12]
- ...
- [13]
- B. Chandrasekaran:
On Evaluating Artificial Intelligence Systems for Medical Diagnosis.
AI Magazine 4(2): 34-37, 48(1983) BibTeX
- [14]
- ...
- [15]
- ...
- [16]
- ...
- [17]
- Brian J. Cragun, Harold J. Steudel:
A Decision-Table-Based Processor for Checking Completeness and Consistency in Rule-Based Expert Systems.
International Journal of Man-Machine Studies 26(5): 633-648(1987) BibTeX
- [18]
- ...
- [19]
- ...
- [20]
- Edsger W. Dijkstra:
A Discipline of Programming.
Prentice-Hall 1976
BibTeX
- [21]
- ...
- [22]
- ...
- [23]
- ...
- [24]
- ...
- [25]
- Allen Ginsberg:
Knowledge-Base Reduction: A New Approach to Checking knowledge Bases for Inconsistency and Redundancy.
AAAI 1988: 585-589 BibTeX
- [26]
- ...
- [27]
- ...
- [28]
- ...
- [29]
- ...
- [30]
- ...
- [31]
- ...
- [32]
- ...
- [33]
- Frederick Hayes-Roth:
Towards Benchmarks for Knowledge Systems and Their Implications for Data Engineering.
IEEE Trans. Knowl. Data Eng. 1(1): 101-110(1989) BibTeX
- [34]
- ...
- [35]
- ...
- [36]
- ...
- [37]
- ...
- [38]
- ...
- [39]
- ...
- [40]
- ...
- [41]
- ...
- [42]
- Donald W. Loveland, Marco Valtorta:
Detecting Ambiguity: An Example in Knowledge Evaluation.
IJCAI 1983: 182-184 BibTeX
- [43]
- ...
- [44]
- V. Wiktor Marek:
Completeness and Consistency in Knowledge Base Systems.
Expert Database Conf. 1986: 119-126 BibTeX
- [45]
- ...
- [46]
- Allen Newell:
The Knowledge Level (Presidential Address).
AI Magazine 2(2): 1-20, 33(1980) BibTeX
- [47]
- ...
- [48]
- Tin A. Nguyen, Walton A. Perkins, Thomas J. Laffey, Deanne Pecora:
Checking an Expert Systems Knowledge Base for Consistency and Completeness.
IJCAI 1985: 375-378 BibTeX
- [49]
- Tin A. Nguyen, Walton A. Perkins, Thomas J. Laffey, Deanne Pecora:
Knowledge-Base Verification.
AI Magazine 8(2): 69-75(1987) BibTeX
- [50]
- ...
- [51]
- ...
- [52]
- ...
- [53]
- ...
- [54]
- ...
- [55]
- ...
- [56]
- ...
- [57]
- ...
- [58]
- ...
- [59]
- ...
- [60]
- ...
- [61]
- ...
- [62]
- ...
- [63]
- ...
- [64]
- ...
- [65]
- ...
- [66]
- ...
- [67]
- ...
- [68]
- ...
- [69]
- ...
- [70]
- ...
- [71]
- Motoi Suwa, A. Carlisle Scott, Edward H. Shortliffe:
An Approach to Verifying Completeness and Consistency in a Rule-Based Expert System.
AI Magazine 3(4): 16-21(1982) BibTeX
- [72]
- ...
- [73]
- ...
- [74]
- ...
- [75]
- Niklaus Wirth:
Program Development by Stepwise Refinement.
Commun. ACM 14(4): 221-227(1971) BibTeX
- [76]
- ...
- [77]
- ...
- [78]
- ...
Referenced by
- Gary W. Rosenwald, Chen-Ching Liu:
Rule-Based System Validation through Automatic Identification of Equivalence Classes.
IEEE Trans. Knowl. Data Eng. 9(1): 24-31(1997)
BibTeX
ACM SIGMOD Anthology - DBLP:
[Home | Search: Author, Title | Conferences | Journals]
IEEE Transactions on Data and Knowledge Engineering: Copyright © by IEEE,
Joint ACM SIGMOD / IEEE Computer Society Anthology: Copyright © by ACM (info@acm.org) and IEEE, Corrections: anthology@acm.org
DBLP: Copyright © by Michael Ley (ley@uni-trier.de), last change: Sun May 17 00:27:42 2009