![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
3. EUROVAV 1995: Chambery, France
- Marc Ayel, Marie-Christine Rousset:
Proceedings of the European Symposium on the Validation and Verification of Knowledge-Based Systems, EUROVAV '95, Chambéry, France, June 1995. ADERIAS-LIA, Universite de Savoie 1995
Testing
- Marc Ayel, Ruth Stalker:
Mutants in the KBS Testing Process. EUROVAV 1995: 7-18 - Amar Bendou:
CT-DATAGEN: A Constraint Based Test Data Generator. EUROVAV 1995: 19-29 - R. Lounis, Marc Ayel:
Completeness of Knowledge-based Systems. EUROVAV 1995: 31-46 - Spyros Xanthakis, W. Rabot:
Using Conventional Testing Techniques for KBS: An Overview. EUROVAV 1995: 47-58
Behavior Verification
- B. S. Todd:
Idempotency as a Correctness Property of Rule Bases. EUROVAV 1995: 59-75 - Alun D. Preece, Clifford Grossner, Thiruvengadam Radhakrishnan:
Validating Rule-Based Systems that Operate with Incomplete Data. EUROVAV 1995: 77-90 - James G. Schmolze, Wayne Snyder:
A Tool for Testing Confluence of Production Rules. EUROVAV 1995: 91-104
Knowledge Engineering
- J. Hoelter, C. Rittano, G. Velay:
Verification and Validation Tools in JHExpert. EUROVAV 1995: 105-116 - Álvaro Rabelo Jr., Ana Regina Rocha, Agnaldo D. de Souza, Antonio A. Ximenes, Nelson Lobo, Dulcineia Carvalho, João Werther C. S. Filho, Káthia Marçal de Oliveira, Luiz Agnaldo de Souza, Vera Werneck:
An Expert System for Diagnosis of Acute Myocardial Infarction: Software Quality Assurance Procedures. EUROVAV 1995: 117-127 - John Domingue:
Software Visualization Based KBS Validation. EUROVAV 1995: 129-139
Correctness Verification
- Grigoris Antoniou:
Verification and Correctness Issues for Nonmonotonic Knowledge Bases. EUROVAV 1995: 141-153 - Jan Vanthienen, Ann Aerts, Christophe Mues, Geert Wets:
A Modeling Approach to KBS Verification. EUROVAV 1995: 155-171 - Bruno Wendler, Marc Ayel:
Verifying Coherence in Modular Knowledge Bases. EUROVAV 1995: 173-187 - Jan Treur, Mark Willems:
Formal Notions for Verification of Dynamics of Knowledge-Based Systems. EUROVAV 1995: 189-199
Revision and Debugging
- Gareth J. Palmer, Susan Craw:
Utilising Explanation to Assist the Refinement of Knowledge-Based Systems. EUROVAV 1995: 201-211 - Knut Hinkelmann, Otto Kühn:
Revising and Updating a Corporate Memory. EUROVAV 1995: 213-223 - Fatma Bouali, Stéphane Loiseau:
Rule Base Diagnosis for Debugging: the KB-DIAGO2 System. EUROVAV 1995: 225-239
Knowledge Modelling and Validation
- P. Boulitreau-Lefevre, Gilles Kassel:
Modelling Validation Seen as a Set of Problem Solving Tasks. EUROVAV 1995: 241-251 - Remco Straatman, Pascal Beys:
A Performance Model for Knowledge-Based Systems. EUROVAV 1995: 253-263 - Anca I. Vermesan, Sigurd Meldal:
An Algebraic Approach to Refinement of KBS Specification. EUROVAV 1995: 265-276 - Corinne Haouche, Jean Charlet:
Using a KADS Inference Structure to Test a KBS Behaviour. EUROVAV 1995: 277-290
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
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.