ACM SIGMOD Anthology TKDE dblp.uni-trier.de

Testing Expert Systems in Process Control.

Kai Finke, Matthias Jarke, Roland Soltysiak, Peter Szczurko: Testing Expert Systems in Process Control. IEEE Trans. Knowl. Data Eng. 8(3): 403-415(1996)
@article{DBLP:journals/tkde/FinkeJSS96,
  author    = {Kai Finke and
               Matthias Jarke and
               Roland Soltysiak and
               Peter Szczurko},
  title     = {Testing Expert Systems in Process Control},
  journal   = {IEEE Trans. Knowl. Data Eng.},
  volume    = {8},
  number    = {3},
  year      = {1996},
  pages     = {403-415},
  ee        = {db/journals/tkde/FinkeJSS96.html, db/journals/tkde/FinkeJSS96.html},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
BibTeX

Abstract

Copyright © 1996 by The Institute of Electrical and Electronic Engineers, Inc. (IEEE). Abstract used with permission.

CDROM Edition

under construction (file=TKDE8/k0403.pdf) BibTeX

References

[1]
...
[2]
...
[3]
...
[4]
...
[5]
...
[6]
...
[7]
...
[8]
...
[9]
Allen Ginsberg: Knowledge-Base Reduction: A New Approach to Checking knowledge Bases for Inconsistency and Redundancy. AAAI 1988: 585-589 BibTeX
[10]
...
[11]
...
[12]
...
[13]
...
[14]
...
[15]
...
[16]
...
[17]
...
[18]
...
[19]
...
[20]
...
[21]
...
[22]
...
[23]
Thomas J. McCabe: A Complexity Measure. IEEE Trans. Software Eng. 2(4): 308-320(1976) BibTeX
[24]
...
[25]
...
[26]
...
[27]
Tin A. Nguyen, Walton A. Perkins, Thomas J. Laffey, Deanne Pecora: Knowledge-Base Verification. AI Magazine 8(2): 69-75(1987) BibTeX
[28]
...
[29]
...
[30]
Marie-Christine Rousset: On the Consistency of Knowledge Bases: The COVADIS System. ECAI 1988: 79-84 BibTeX
[31]
Francesca Saglietti: Structural Testing Strategies Applied to Knowledge-Based Systems. IEA/AIE 1992: 236-245 BibTeX
[32]
...
[33]
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
[34]
...
[35]
...
[36]
...
[37]
...
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:28:34 2009