Abstract is missing.
- Validation and Verification of Knowledge Based Systems: a Practitioner s ViewGertjan Beijer. 3
- Machine Learning for Verification and ValidationLuc De Raedt. 4
- Verification of Knowledge Bases: a Unifying Logical ViewAlon Y. Levy, Marie-Christine Rousset. 7-18
- Logical Analysis of Completeness of Rule-Based Systems with Dual ResolutionAntoni Ligeza. 19-29
- A Symbolic Execution Based Approach for Inspecting Knowledge BasesAmar Bendou, Marc Ayel. 31-42
- The Verification and Validation of Rulebases Using a Binary Encoded Incidence Matrix TechniqueFrans Coenen, Paul E. Dunne. 43-54
- A Graph Theoretic Optimisation of Temporal Abductive ValidationTim Menzies, Robert F. Cohen. 55-68
- Knowledge-Based Systems: Verification and Validation in the view of CertificationAnca I. Vermesan. 71-82
- Considerations About Validation of Knowledge Models in KBE SystemsFlorence Sellini, Catalina Vargas, Pierre-Alain Yvars. 83-94
- Verifying the World Wide Web: a Position StatementMarie-Christine Rousset. 95-103
- Specifying and Verifying Knowledge-Based Systems with KIVDieter Fensel, Arno Schönegge. 107-116
- Validation and Verification of Conceptual Models of DiagnosisFrank van Harmelen, Annette ten Teije. 117-128
- Compositional Verification of Knowledge-based Systems: a Case Study in Diagnostic ReasoningFrank Cornelissen, Catholijn M. Jonker, Jan Treur. 129-142
- Global Verification of Knowledge Based Systems via Local Verification of PartitionsMysore Ramaswamy, Sumit Sarkar. 145-154
- Inter-Tabular Verification in an Interactive EnvironmentJan Vanthienen, Christophe Mues, Geert Wets. 155-165
- Inductive Hypothesis Validation and Bias Selection in Unsupervised LearningLuis Talavera, Ulises Cortés. 169-179
- Feature Construction for Verification and Validation of Tabular Knowledge Base SystemsSelwyn Piramuthu. 181-190
- Revision of Rule BasesFatma Bouali, Stéphane Loiseau, Marie-Christine Rousset. 193-203
- The Selection of Training Cases for Automated Knowledge RefinementGareth J. Palmer, Susan Craw. 205-215
- Object Oriented Knowledge Engineering: A Formal Approach for VerificationAkram I. Salah, Manal A. Ismail. 219-230
- A Model-based Approach to the Verification of Program Supervision SystemsMar Marcos, Sabine Moisan, Angel P. Del Pobil. 231-241