ACM SIGMOD Anthology TKDE dblp.uni-trier.de

PREPARE: A Toll for Knowledge Base Verification.

Du Zhang, Doan Nguyen: PREPARE: A Toll for Knowledge Base Verification. IEEE Trans. Knowl. Data Eng. 6(6): 983-989(1994)
@article{DBLP:journals/tkde/ZhangN94,
  author    = {Du Zhang and
               Doan Nguyen},
  title     = {PREPARE: A Toll for Knowledge Base Verification},
  journal   = {IEEE Trans. Knowl. Data Eng.},
  volume    = {6},
  number    = {6},
  year      = {1994},
  pages     = {983-989},
  ee        = {db/journals/tkde/ZhangN94.html},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
BibTeX

Abstract

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


Joint ACM SIGMOD / IEEE Computer Society Anthology

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]
...
[4]
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
[5]
...
[6]
...
[7]
...
[8]
Allen Ginsberg: Knowledge-Base Reduction: A New Approach to Checking knowledge Bases for Inconsistency and Redundancy. AAAI 1988: 585-589 BibTeX
[9]
...
[10]
...
[11]
...
[12]
...
[13]
Frederick Hayes-Roth: The Knowledge-Based Expert System: A Tutorial. IEEE Computer 17(9): 11-28(1984) BibTeX
[14]
Frederick Hayes-Roth: Rule-Based Systems. Commun. ACM 28(9): 921-932(1985) BibTeX
[15]
John E. Hopcroft, Jeffrey D. Ullman: Introduction to Automata Theory, Languages and Computation. Addison-Wesley 1979, ISBN 0-201-02988-X
BibTeX
[16]
Hector J. Levesque: The Logic of Incomplete Knowledge Bases. On Conceptual Modelling (Intervale) 1982: 165-189 BibTeX
[17]
...
[18]
...
[19]
Pedro Meseguer: A New Method to Checking Rule Bases for Inconsistency: A Petri Net Approach. ECAI 1990: 437-442 BibTeX
[20]
Tadao Murata, Du Zhang: A Predicate-Transition Net Model for Parallel Interpretation of Logic Programs. IEEE Trans. Software Eng. 14(4): 481-497(1988) BibTeX
[21]
...
[22]
Tin A. Nguyen, Walton A. Perkins, Thomas J. Laffey, Deanne Pecora: Knowledge-Base Verification. AI Magazine 8(2): 69-75(1987) BibTeX
[23]
Marie-Christine Rousset: On the Consistency of Knowledge Bases: The COVADIS System. ECAI 1988: 79-84 BibTeX
[24]
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
[25]
...

Referenced by

  1. Elisa Bertino, Barbara Catania: Static Analysis of Intensional Databases in U-Datalog. PODS 1996: 202-212
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:13 2009