Search from the table of contents of 2.5 million books
Advanced Search (Beta)
Home > Validation and Verification of Knowledge Based Systems: Theory, Tools and Practice > Ontology-based Verification and Validation of Federated Database Systems
Validation and Verification of Knowledge Based Systems: Theory, Tools and Practice |
Anca Vermesan; Frans Coenen
Springer US
Validation and Verification of Knowledge Based Systems: Theory, Tools and Practice
Ontology-based Verification and Validation of Federated Database Systems
Authors

Nayyer Masood; Barry Eaglestone

ARI Id

1664865147528_3840426

Access

Not Available Free

Pages

327-341

DOI

10.1007/978-1-4757-6916-6_22

Chapter URL

https://rd.springer.com/chapter/10.1007/978-1-4757-6916-6_22

Table of Contents of Book
Showing 1 to 20 of 24 entries
Chapters/HeadingsAuthor(s)PagesInfo
Front Matter
i-10
KBS First Prototype V&V Process Plan as a Way to Produce Reliable Requirements
Jesús Cardeñosa; David Escorial
11-24
On Principles of Knowledge Validation
Mieczyslaw L. Owoc; Malgorzata Ochmanska; Tomasz Gladysz
25-35
Progressive Instantiation for the Logical Validation of Nonmonotonic KBs
Éric Grégoire
37-52
Computer Algebra based Verification and Knowledge Extraction in RBS. Application to Medical Fitness Criteria
Luis M. Laita; Víctor Maojo; Luis de Ledesma; Eugenio Roanes-Lozano
53-65
A Knowledge Based Tool to Validate and Verify an Aion Knowledge Base
Silvie Spreeuwenberg; Rik Gerrits
67-78
Constraints for Validation of Conceptual Graphs
Juliette Dibie-Barthélemy; Ollivier Haemmerlé; Stéphane Loiseau
79-91
PRONTO — Ontology-based Evaluation of Knowledge Based Systems
Trevor J. M. Bench-Capon; Dean M. Jones
93-112
Formal Methods for the engineering and certification of safety-critical Knowledge Based Systems
Giovanna Dondossola
113-130
Design pattern for safety-critical knowledge-based systems
Rune Steinberg; Roar Fjellheim; Ståle A. Olsen
131-147
Organising Knowledge Refinement Operators
Robin Boswell; Susan Craw
149-161
Validation and refinement versus revision
F. Dupin de Saint-Cyr; S. Loiseau
163-176
Illustrating Knowledge Base Restructuring and Verification in a Real World Application
Jan Vanthienen; Ana María Moreno García
177-191
Incorporating Backtracking in Knowledge Refinement
Nirmalie Wiratunga; Susan Craw
193-205
Verification and validation of a multistrategy knowledge-based system
Francisco Loforte Ribeiro
207-220
Validation and Verification of Knowledge-Based Systems for Power System Control Centres
Jorge Santos; Carlos Ramos; Zita Vale; Albino Marques
221-235
A priori Verification of Product Models in Mechanical Design
Florence Sellini; Pierre-Alain Yvars
237-251
Verification of Business Processes for a Correspondence Handling Center using CCS
Michael Schroeder
253-266
User Participation-Based Software Certification
Jeffrey Voas
267-276
Verification and Validation in Support for Software Certification Methods
Anca Vermesan; Per Martinsen; Jarle Sjøvaag; Keith Bell
277-295
Chapters/HeadingsAuthor(s)PagesInfo
Showing 1 to 20 of 24 entries
Similar Books
Similar Chapters
Similar Thesis

Similar News

Similar Articles
Similar Article Headings