Abstract is missing.
- KBS First Prototype V&V Process Plan as a Way to Produce Reliable RequirementsJesús Cardeñosa, David Escorial. 11-24
- On Principles of Knowledge ValidationMieczyslaw L. Owoc, Malgorzata Ochmanska, Tomasz Gladysz. 25-35
- Progressive Instantiation for the Logical Validation of Nonmonotonic KBsÉric Grégoire. 37-51
- Computer Algebra Based Verification and Knowledge Extraction in RBS - Application to Medical Fitness CriteriaLuis M. Laita, Eugenio Roanes-Lozano, Victor Maojo, Luis de Ledesma. 53-65
- A Knowledge Based Tool to Validate and Verify an Aion Knowledge BaseSilvie Spreeuwenberg, Rik Gerrits. 67-78
- Constraints for Validation of Conceptual GraphsJuliette Dibie-Barthélemy, Ollivier Haemmerlé, Stéphane Loiseau. 79-90
- PRONTO - Ontology-based Evaluation of Knowledge Based SystemsTrevor J. M. Bench-Capon, Dean M. Jones. 93-109
- Formal Methods for the Engineering and Certification of Safety-critical Knowledge-based SystemsGiovanna Dondossola. 113-129
- Design Patterns for Safety-critical Knowledge Based SystemsRune Steinberg, Roar A. Fjellheim, Stale A. Olsen. 131-145
- Organising Knowledge Refinement OperatorsRobin Boswell, Susan Craw. 149-161
- Validation and Refinement versus RevisionFlorence Dupin de Saint-Cyr, Stéphane Loiseau. 163-176
- Illustrating Knowledge Base Restructuring and Verification in a Real World ApplicationJan Vanthienen, Ana María Moreno García. 177-191
- Incorporating Backtracking Search with Knowledge RefinementNirmalie Wiratunga, Susan Craw. 193-205
- Verification and Validation of a Multistrategy Knowledge-Based SystemFrancisco Loforte Ribeiro. 207-220
- Validation and Verification of Knowlege-Based Systems for Power Systzem Control CentresJorge Santos, Carlos Ramos, Zita A. Vale, Albino Marques. 221-235
- A Priori Verification of Product Models in Mechanical DesignFlorence Sellini, Pierre-Alain Yvars. 237-251
- Verification of Business Processes for a Correspondence Handling Center Using CCSMichael Schroeder. 253-264
- User Participation-based Software CertificationJeffrey M. Voas. 267-276
- Verification and Validation in Support for Software Certification MethodsAnca I. Vermesan, Jarle Sjøvag, Per Martinsen, Keith Bell. 277-293
- Verification, Validation and Integrity in Knowledge and Database Systems: Future DirectionsFrans Coenen, Barry Eaglestone, Mick J. Ridley. 297-312
- Intelligent Data and Knowledge Analysis and Verification: Towards a Taxonomy of Some Specific ProblemsAntoni Ligeza. 313-325
- Ontology-based Verification and Validation of Federated Database SystemsNayyer Masood, Barry Eaglestone. 327-341
- Applicability of Conventional Software Verification and Validation to Knowledge-based Components: A Qualitative AssessmentAnca I. Vermesan, Frode Høgberg. 343-357