MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Knowledge-Base Verification." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

51 documents found, showing 1 through 10. Next 10 →

ATOM

Foundation and application of knowledge base verification
by Alun D. Preece, Rajjan Shinghal — 1994 — Int J Intell Syst 1994;9(8):683±702. Duftschmid, S. Miksch /
…. Detecting anomalies is a well-established method for verifying knowledge-based systems. Although many tools…
Cited by 38 (3 self) – Add To MetaCart

Knowledge Base Verification Using Algebraic Graph Transformations
by Gabriel Valiente, Universitat De, Les Illes Balears, Programa De, Doctorat En Inform, Alejandro Valiente Feruglio Per Optar, Director Dr, Francesc Rossello Llompart — 1994
… for his immense patience. i ii Preface Validation, verification and testing of knowledge-based systems…
Cited by 1 (1 self) – Add To MetaCart

Webmaster: Knowledge-based Verification of Web-pages
by Frank Van Harmelen, Jos Van Der Meer — 1999 — Proceedings of IEA/AEI99, LNAI
…, 1999. WebMaster: Knowledge-based Verification of Web-pages Frank van Harmelen 1 and Jos van der Meer 2…
Cited by 8 (6 self) – Add To MetaCart

Knowledge-based verification of clinical guidelines by detection of anomalies
by Georg Duftschmid, Silvia Miksch — 1999 — Artificial Intelligence in Medicine 22
…Appears in OEGAI Journal; Vol. 18 (2), pp. 37-39; 1999 Knowledge-based Verification of Clinical…
Cited by 9 (2 self) – Add To MetaCart

Verification of Knowledge Bases based on Containment Checking
by Alon Levy, Marie-christine Rousset — 1996 — Artificial Intelligence
…Verification of Knowledge Bases based on Containment Checking Alon Y. Levy Dept. of Computer…
Cited by 11 (1 self) – Add To MetaCart

Verification of Knowledge Bases: a Unifying Logical View
by Alon Levy, Marie-christine Rousset — 1997 — In Proc. of the 4th European Symposium on the Validation and Verification of Knowledge Based Systems
…Verification of Knowledge Bases: a Unifying Logical View Alon Levy and Marie-Christine Rousset AI…
Cited by 8 (0 self) – Add To MetaCart

Verification and Correctness Issues for Nonmonotonic Knowledge Bases
by Grigoris Antoniou — 1997 — International Journal of Intelligent Systems
…Verification and Correctness Issues for Nonmonotonic Knowledge Bases Grigoris Antoniou Griffith…
Cited by 5 (0 self) – Add To MetaCart

Verifying Ontological Commitment in Knowledge-Based Systems
by Andrew Waterson, Alun Preece — 1999
… for reliable knowledgebased system interoperability. This paper shows how existing knowledge base verification…
Cited by 8 (0 self) – Add To MetaCart

Containment of Conjunctive Regular Path Queries with Inverse
by Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi — 2000
… in several contexts, such as query optimization, knowledge base verication, information integration, database…
Cited by 23 (12 self) – Add To MetaCart

Quality Measures and Assurance for AI Software
by John Rushby, Cognitive Systems Ai Magazine, Richard M. Tong, Neville D. Newman, Gary Berg-cross — 1988
…, T. S. Stock, and J. B. Combs. Building validation tools for knowledge-based systems. In First Annual…
Cited by 4 (1 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB