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.
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
- 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