default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID4. EUROVAV 1997: Leuven, Belgium
- Jan Vanthienen, Frank van Harmelen:
Proceedings of the Fourth European Symposium on the Validation and Verification of Knowledge-Based Systems, EUROVAV'97, June 26-28, 1997, Katholieke Universiteit Leuven, Leuven, Belgium. Katholieke Universiteit Leuven, Belgium 1997
Invited Speeches
- Gertjan Beijer:
Validation and Verification of Knowledge Based Systems: a Practitioner's View. EUROVAV 1997: 3 - Luc De Raedt:
Machine Learning for Verification and Validation. EUROVAV 1997: 4
V&V Theory and Techniques
- Alon Y. Levy, Marie-Christine Rousset:
Verification of Knowledge Bases: a Unifying Logical View. EUROVAV 1997: 7-18 - Antoni Ligeza:
Logical Analysis of Completeness of Rule-Based Systems with Dual Resolution. EUROVAV 1997: 19-29 - Amar Bendou, Marc Ayel:
A Symbolic Execution Based Approach for Inspecting Knowledge Bases. EUROVAV 1997: 31-42 - Frans Coenen, Paul E. Dunne:
The Verification and Validation of Rulebases Using a Binary Encoded Incidence Matrix Technique. EUROVAV 1997: 43-54 - Tim Menzies, Robert F. Cohen:
A Graph Theoretic Optimisation of Temporal Abductive Validation. EUROVAV 1997: 55-68
Putting V&V into Practice
- Anca I. Vermesan:
Knowledge-Based Systems: Verification and Validation in the view of Certification. EUROVAV 1997: 71-82 - Florence Sellini, Catalina Vargas, Pierre-Alain Yvars:
Considerations About Validation of Knowledge Models in KBE Systems. EUROVAV 1997: 83-94 - Marie-Christine Rousset:
Verifying the World Wide Web: a Position Statement. EUROVAV 1997: 95-103
Formal Specification, Part I
- Dieter Fensel, Arno Schönegge:
Specifying and Verifying Knowledge-Based Systems with KIV. EUROVAV 1997: 107-116 - Frank van Harmelen, Annette ten Teije:
Validation and Verification of Conceptual Models of Diagnosis. EUROVAV 1997: 117-128 - Frank Cornelissen, Catholijn M. Jonker, Jan Treur:
Compositional Verification of Knowledge-based Systems: a Case Study in Diagnostic Reasoning. EUROVAV 1997: 129-142
V&V of Modular Systems
- Mysore Ramaswamy, Sumit Sarkar:
Global Verification of Knowledge Based Systems via Local Verification of Partitions. EUROVAV 1997: 145-154 - Jan Vanthienen, Christophe Mues, Geert Wets:
Inter-Tabular Verification in an Interactive Environment. EUROVAV 1997: 155-165
V&V and Knowledge Discovery
- Luis Talavera, Ulises Cortés:
Inductive Hypothesis Validation and Bias Selection in Unsupervised Learning. EUROVAV 1997: 169-179 - Selwyn Piramuthu:
Feature Construction for Verification and Validation of Tabular Knowledge Base Systems. EUROVAV 1997: 181-190
Knowlege Revision
- Fatma Bouali, Stéphane Loiseau, Marie-Christine Rousset:
Revision of Rule Bases. EUROVAV 1997: 193-203 - Gareth J. Palmer, Susan Craw:
The Selection of Training Cases for Automated Knowledge Refinement. EUROVAV 1997: 205-215
Formal Specification, Part II (O-O)
- Akram Ibrahim Salah, Manal Ahmed Ismail:
Object Oriented Knowledge Engineering: A Formal Approach for Verification. EUROVAV 1997: 219-230 - Mar Marcos, Sabine Moisan, Angel P. del Pobil:
A Model-based Approach to the Verification of Program Supervision Systems. EUROVAV 1997: 231-241
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-11-13 21:53 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
