Validation and Verification of Knowledge Based Systems
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer US

9781441951076, 9781475769166

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

A priori Verification of Product Models in Mechanical Design

Validation and Verification of Knowledge Based Systems ◽

10.1007/978-1-4757-6916-6_16 ◽

1999 ◽

pp. 237-251

Author(s):

Florence Sellini ◽

Pierre-Alain Yvars

Keyword(s):

Mechanical Design ◽

A Priori ◽

Product Models

Download Full-text

Incorporating Backtracking in Knowledge Refinement

Validation and Verification of Knowledge Based Systems ◽

10.1007/978-1-4757-6916-6_13 ◽

1999 ◽

pp. 193-205 ◽

Cited By ~ 2

Author(s):

Nirmalie Wiratunga ◽

Susan Craw

Download Full-text

Formal Methods for the engineering and certification of safety-critical Knowledge Based Systems

Validation and Verification of Knowledge Based Systems ◽

10.1007/978-1-4757-6916-6_8 ◽

1999 ◽

pp. 113-130 ◽

Cited By ~ 1

Author(s):

Giovanna Dondossola

Keyword(s):

Formal Methods ◽

Knowledge Based Systems ◽

Safety Critical ◽

Knowledge Based ◽

Critical Knowledge

Download Full-text

On Principles of Knowledge Validation

Validation and Verification of Knowledge Based Systems ◽

10.1007/978-1-4757-6916-6_2 ◽

1999 ◽

pp. 25-35 ◽

Cited By ~ 7

Author(s):

Mieczyslaw L. Owoc ◽

Malgorzata Ochmanska ◽

Tomasz Gladysz

Keyword(s):

Knowledge Validation

Download Full-text

A Knowledge Based Tool to Validate and Verify an Aion Knowledge Base

Validation and Verification of Knowledge Based Systems ◽

10.1007/978-1-4757-6916-6_5 ◽

1999 ◽

pp. 67-78 ◽

Cited By ~ 1

Author(s):

Silvie Spreeuwenberg ◽

Rik Gerrits

Keyword(s):

Knowledge Base ◽

Knowledge Based

Download Full-text

Computer Algebra based Verification and Knowledge Extraction in RBS. Application to Medical Fitness Criteria

Validation and Verification of Knowledge Based Systems ◽

10.1007/978-1-4757-6916-6_4 ◽

1999 ◽

pp. 53-65 ◽

Cited By ~ 1

Author(s):

Luis M. Laita ◽

Víctor Maojo ◽

Luis de Ledesma ◽

Eugenio Roanes-Lozano

Keyword(s):

Computer Algebra ◽

Knowledge Extraction ◽

Medical Fitness

Download Full-text

Applicability of Conventional Software Verification and Validation to Knowledge-Based Components

Validation and Verification of Knowledge Based Systems ◽

10.1007/978-1-4757-6916-6_23 ◽

1999 ◽

pp. 343-364 ◽

Cited By ~ 2

Author(s):

Anca Vermesan ◽

Frode Høgberg

Keyword(s):

Software Verification ◽

Verification And Validation ◽

Knowledge Based ◽

Software Verification And Validation

Download Full-text

Verification and validation of a multistrategy knowledge-based system

Validation and Verification of Knowledge Based Systems ◽

10.1007/978-1-4757-6916-6_14 ◽

1999 ◽

pp. 207-220

Author(s):

Francisco Loforte Ribeiro

Keyword(s):

Verification And Validation ◽

Knowledge Based System ◽

Knowledge Based

Download Full-text

PRONTO — Ontology-based Evaluation of Knowledge Based Systems

Validation and Verification of Knowledge Based Systems ◽

10.1007/978-1-4757-6916-6_7 ◽

1999 ◽

pp. 93-112 ◽

Cited By ~ 1

Author(s):

Trevor J. M. Bench-Capon ◽

Dean M. Jones

Keyword(s):

Knowledge Based Systems ◽

Knowledge Based

Download Full-text

User Participation-Based Software Certification

Validation and Verification of Knowledge Based Systems ◽

10.1007/978-1-4757-6916-6_18 ◽

1999 ◽

pp. 267-276 ◽

Cited By ~ 4

Author(s):

Jeffrey Voas

Keyword(s):

User Participation ◽

Software Certification

Download Full-text

Validation and Verification of Knowledge Based SystemsLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer US

A priori Verification of Product Models in Mechanical Design

Incorporating Backtracking in Knowledge Refinement

Formal Methods for the engineering and certification of safety-critical Knowledge Based Systems

On Principles of Knowledge Validation

A Knowledge Based Tool to Validate and Verify an Aion Knowledge Base

Computer Algebra based Verification and Knowledge Extraction in RBS. Application to Medical Fitness Criteria

Applicability of Conventional Software Verification and Validation to Knowledge-Based Components

Verification and validation of a multistrategy knowledge-based system

PRONTO — Ontology-based Evaluation of Knowledge Based Systems

User Participation-Based Software Certification

Validation and Verification of Knowledge Based Systems
Latest Publications