Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Mieczyslaw L. Owoc, Malgorzata Ochmanska, Tomasz Gladysz |
On Principles of Knowledge Validation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROVAV ![In: Validation and Verification of Knowledge Based Systems - Theory, Tools and Practice, Collected papers from EUROVAV '99, 5th European Symposium on Validation and Verification of Knowledge Based Systems,June 9-11, 199, Oslo, Norway, pp. 25-35, 1999, Kluwer, 0-7923-8645-0. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP BibTeX RDF |
|
1 | Anca I. Vermesan, Jarle Sjøvag, Per Martinsen, Keith Bell |
Verification and Validation in Support for Software Certification Methods. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROVAV ![In: Validation and Verification of Knowledge Based Systems - Theory, Tools and Practice, Collected papers from EUROVAV '99, 5th European Symposium on Validation and Verification of Knowledge Based Systems,June 9-11, 199, Oslo, Norway, pp. 277-293, 1999, Kluwer, 0-7923-8645-0. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP BibTeX RDF |
|
1 | Michael Schroeder 0001 |
Verification of Business Processes for a Correspondence Handling Center Using CCS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROVAV ![In: Validation and Verification of Knowledge Based Systems - Theory, Tools and Practice, Collected papers from EUROVAV '99, 5th European Symposium on Validation and Verification of Knowledge Based Systems,June 9-11, 199, Oslo, Norway, pp. 253-264, 1999, Kluwer, 0-7923-8645-0. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP BibTeX RDF |
|
1 | Antoni Ligeza |
Intelligent Data and Knowledge Analysis and Verification: Towards a Taxonomy of Some Specific Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROVAV ![In: Validation and Verification of Knowledge Based Systems - Theory, Tools and Practice, Collected papers from EUROVAV '99, 5th European Symposium on Validation and Verification of Knowledge Based Systems,June 9-11, 199, Oslo, Norway, pp. 313-325, 1999, Kluwer, 0-7923-8645-0. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP BibTeX RDF |
|
1 | Francisco Loforte Ribeiro |
Verification and Validation of a Multistrategy Knowledge-Based System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROVAV ![In: Validation and Verification of Knowledge Based Systems - Theory, Tools and Practice, Collected papers from EUROVAV '99, 5th European Symposium on Validation and Verification of Knowledge Based Systems,June 9-11, 199, Oslo, Norway, pp. 207-220, 1999, Kluwer, 0-7923-8645-0. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP BibTeX RDF |
|
1 | Jan Vanthienen, Ana María Moreno García |
Illustrating Knowledge Base Restructuring and Verification in a Real World Application. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROVAV ![In: Validation and Verification of Knowledge Based Systems - Theory, Tools and Practice, Collected papers from EUROVAV '99, 5th European Symposium on Validation and Verification of Knowledge Based Systems,June 9-11, 199, Oslo, Norway, pp. 177-191, 1999, Kluwer, 0-7923-8645-0. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP BibTeX RDF |
|
1 | Juliette Dibie-Barthélemy, Ollivier Haemmerlé, Stéphane Loiseau |
Constraints for Validation of Conceptual Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROVAV ![In: Validation and Verification of Knowledge Based Systems - Theory, Tools and Practice, Collected papers from EUROVAV '99, 5th European Symposium on Validation and Verification of Knowledge Based Systems,June 9-11, 199, Oslo, Norway, pp. 79-90, 1999, Kluwer, 0-7923-8645-0. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP BibTeX RDF |
|
1 | Florence Sellini, Pierre-Alain Yvars |
A Priori Verification of Product Models in Mechanical Design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROVAV ![In: Validation and Verification of Knowledge Based Systems - Theory, Tools and Practice, Collected papers from EUROVAV '99, 5th European Symposium on Validation and Verification of Knowledge Based Systems,June 9-11, 199, Oslo, Norway, pp. 237-251, 1999, Kluwer, 0-7923-8645-0. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP BibTeX RDF |
|
1 | Giovanna Dondossola |
Formal Methods for the Engineering and Certification of Safety-critical Knowledge-based Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROVAV ![In: Validation and Verification of Knowledge Based Systems - Theory, Tools and Practice, Collected papers from EUROVAV '99, 5th European Symposium on Validation and Verification of Knowledge Based Systems,June 9-11, 199, Oslo, Norway, pp. 113-129, 1999, Kluwer, 0-7923-8645-0. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP BibTeX RDF |
|
1 | Jeffrey M. Voas |
User Participation-based Software Certification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROVAV ![In: Validation and Verification of Knowledge Based Systems - Theory, Tools and Practice, Collected papers from EUROVAV '99, 5th European Symposium on Validation and Verification of Knowledge Based Systems,June 9-11, 199, Oslo, Norway, pp. 267-276, 1999, Kluwer, 0-7923-8645-0. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP BibTeX RDF |
|
1 | Trevor J. M. Bench-Capon, Dean M. Jones |
PRONTO - Ontology-based Evaluation of Knowledge Based Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROVAV ![In: Validation and Verification of Knowledge Based Systems - Theory, Tools and Practice, Collected papers from EUROVAV '99, 5th European Symposium on Validation and Verification of Knowledge Based Systems,June 9-11, 199, Oslo, Norway, pp. 93-109, 1999, Kluwer, 0-7923-8645-0. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP BibTeX RDF |
|
1 | Florence Dupin de Saint-Cyr, Stéphane Loiseau |
Validation and Refinement versus Revision. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROVAV ![In: Validation and Verification of Knowledge Based Systems - Theory, Tools and Practice, Collected papers from EUROVAV '99, 5th European Symposium on Validation and Verification of Knowledge Based Systems,June 9-11, 199, Oslo, Norway, pp. 163-176, 1999, Kluwer, 0-7923-8645-0. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP BibTeX RDF |
|
1 | Robin Boswell, Susan Craw |
Organising Knowledge Refinement Operators. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROVAV ![In: Validation and Verification of Knowledge Based Systems - Theory, Tools and Practice, Collected papers from EUROVAV '99, 5th European Symposium on Validation and Verification of Knowledge Based Systems,June 9-11, 199, Oslo, Norway, pp. 149-161, 1999, Kluwer, 0-7923-8645-0. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP BibTeX RDF |
|
1 | Jesús Cardeñosa Lera, David Escorial |
KBS First Prototype V&V Process Plan as a Way to Produce Reliable Requirements. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROVAV ![In: Validation and Verification of Knowledge Based Systems - Theory, Tools and Practice, Collected papers from EUROVAV '99, 5th European Symposium on Validation and Verification of Knowledge Based Systems,June 9-11, 199, Oslo, Norway, pp. 11-24, 1999, Kluwer, 0-7923-8645-0. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP BibTeX RDF |
|
1 | Rune Steinberg, Roar A. Fjellheim, Stale A. Olsen |
Design Patterns for Safety-critical Knowledge Based Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROVAV ![In: Validation and Verification of Knowledge Based Systems - Theory, Tools and Practice, Collected papers from EUROVAV '99, 5th European Symposium on Validation and Verification of Knowledge Based Systems,June 9-11, 199, Oslo, Norway, pp. 131-145, 1999, Kluwer, 0-7923-8645-0. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP BibTeX RDF |
|
1 | Luis M. Laita, Eugenio Roanes-Lozano, Victor Maojo, Luis de Ledesma |
Computer Algebra Based Verification and Knowledge Extraction in RBS - Application to Medical Fitness Criteria. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROVAV ![In: Validation and Verification of Knowledge Based Systems - Theory, Tools and Practice, Collected papers from EUROVAV '99, 5th European Symposium on Validation and Verification of Knowledge Based Systems,June 9-11, 199, Oslo, Norway, pp. 53-65, 1999, Kluwer, 0-7923-8645-0. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP BibTeX RDF |
|
1 | Silvie Spreeuwenberg, Rik Gerrits |
A Knowledge Based Tool to Validate and Verify an Aion Knowledge Base. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROVAV ![In: Validation and Verification of Knowledge Based Systems - Theory, Tools and Practice, Collected papers from EUROVAV '99, 5th European Symposium on Validation and Verification of Knowledge Based Systems,June 9-11, 199, Oslo, Norway, pp. 67-78, 1999, Kluwer, 0-7923-8645-0. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP BibTeX RDF |
|
1 | Nayyer Masood, Barry Eaglestone |
Ontology-based Verification and Validation of Federated Database Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROVAV ![In: Validation and Verification of Knowledge Based Systems - Theory, Tools and Practice, Collected papers from EUROVAV '99, 5th European Symposium on Validation and Verification of Knowledge Based Systems,June 9-11, 199, Oslo, Norway, pp. 327-341, 1999, Kluwer, 0-7923-8645-0. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP BibTeX RDF |
|
1 | Jorge Santos 0001, Carlos Ramos 0001, Zita A. Vale, Albino Marques |
Validation and Verification of Knowlege-Based Systems for Power Systzem Control Centres. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROVAV ![In: Validation and Verification of Knowledge Based Systems - Theory, Tools and Practice, Collected papers from EUROVAV '99, 5th European Symposium on Validation and Verification of Knowledge Based Systems,June 9-11, 199, Oslo, Norway, pp. 221-235, 1999, Kluwer, 0-7923-8645-0. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP BibTeX RDF |
|
1 | Frans Coenen, Barry Eaglestone, Mick J. Ridley |
Verification, Validation and Integrity in Knowledge and Database Systems: Future Directions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROVAV ![In: Validation and Verification of Knowledge Based Systems - Theory, Tools and Practice, Collected papers from EUROVAV '99, 5th European Symposium on Validation and Verification of Knowledge Based Systems,June 9-11, 199, Oslo, Norway, pp. 297-312, 1999, Kluwer, 0-7923-8645-0. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP BibTeX RDF |
|
1 | Éric Grégoire |
Progressive Instantiation for the Logical Validation of Nonmonotonic KBs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROVAV ![In: Validation and Verification of Knowledge Based Systems - Theory, Tools and Practice, Collected papers from EUROVAV '99, 5th European Symposium on Validation and Verification of Knowledge Based Systems,June 9-11, 199, Oslo, Norway, pp. 37-51, 1999, Kluwer, 0-7923-8645-0. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP BibTeX RDF |
|
1 | Nirmalie Wiratunga, Susan Craw |
Incorporating Backtracking Search with Knowledge Refinement. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROVAV ![In: Validation and Verification of Knowledge Based Systems - Theory, Tools and Practice, Collected papers from EUROVAV '99, 5th European Symposium on Validation and Verification of Knowledge Based Systems,June 9-11, 199, Oslo, Norway, pp. 193-205, 1999, Kluwer, 0-7923-8645-0. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP BibTeX RDF |
|
1 | Anca I. Vermesan, Frans Coenen (eds.) |
Validation and Verification of Knowledge Based Systems - Theory, Tools and Practice, Collected papers from EUROVAV '99, 5th European Symposium on Validation and Verification of Knowledge Based Systems,June 9-11, 199, Oslo, Norway ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROVAV ![Kluwer, 0-7923-8645-0 The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP BibTeX RDF |
|
1 | Anca I. Vermesan, Frode Høgberg |
Applicability of Conventional Software Verification and Validation to Knowledge-based Components: A Qualitative Assessment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROVAV ![In: Validation and Verification of Knowledge Based Systems - Theory, Tools and Practice, Collected papers from EUROVAV '99, 5th European Symposium on Validation and Verification of Knowledge Based Systems,June 9-11, 199, Oslo, Norway, pp. 343-357, 1999, Kluwer, 0-7923-8645-0. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP BibTeX RDF |
|
1 | Giovanna Dondossola |
Formal methods in the development of safety critical Knowledge-Based components. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROVAV ![In: 1998 European Workshop on Validation and Verification of Knowledge-Based Systems, EUROVAV@KR 1998, IRST, Povo, Trento, Italy June 6-8, 1998, 1998, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP BibTeX RDF |
|
1 | Frank van Harmelen (eds.) |
1998 European Workshop on Validation and Verification of Knowledge-Based Systems, EUROVAV@KR 1998, IRST, Povo, Trento, Italy June 6-8, 1998 ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROVAV ![CEUR-WS.org The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP BibTeX RDF |
|
1 | Jaime Ramírez, Angélica de Antonio |
MECORI: a method for knowledge base semantic verification based on integrity constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROVAV ![In: 1998 European Workshop on Validation and Verification of Knowledge-Based Systems, EUROVAV@KR 1998, IRST, Povo, Trento, Italy June 6-8, 1998, 1998, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP BibTeX RDF |
|
1 | Catholijn M. Jonker, Jan Treur, Wieke de Vries |
Compositional Verification of Agents in Dynamic Environments: a Case Study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROVAV ![In: 1998 European Workshop on Validation and Verification of Knowledge-Based Systems, EUROVAV@KR 1998, IRST, Povo, Trento, Italy June 6-8, 1998, 1998, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP BibTeX RDF |
|
1 | Georg Duftschmid, Silvia Miksch, Yuval Shahar, Peter D. Johnson 0001 |
Multi-Level Verification of Clinical Protocols. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROVAV ![In: 1998 European Workshop on Validation and Verification of Knowledge-Based Systems, EUROVAV@KR 1998, IRST, Povo, Trento, Italy June 6-8, 1998, 1998, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP BibTeX RDF |
|
1 | Massimo Benerecetti, Fausto Giunchiglia, Luciano Serafini |
Multiagent Systems Verification via Model Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROVAV ![In: 1998 European Workshop on Validation and Verification of Knowledge-Based Systems, EUROVAV@KR 1998, IRST, Povo, Trento, Italy June 6-8, 1998, 1998, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP BibTeX RDF |
|
1 | Tim Menzies, Sam Waugh |
Lower Bounds on the Size of Test Data Sets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROVAV ![In: 1998 European Workshop on Validation and Verification of Knowledge-Based Systems, EUROVAV@KR 1998, IRST, Povo, Trento, Italy June 6-8, 1998, 1998, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP BibTeX RDF |
|
1 | Francky Trichet, Pierre Tchounikine |
Verifying and Validating a Task/Method Knowledge-Base. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROVAV ![In: 1998 European Workshop on Validation and Verification of Knowledge-Based Systems, EUROVAV@KR 1998, IRST, Povo, Trento, Italy June 6-8, 1998, 1998, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP BibTeX RDF |
|
1 | Frank van Harmelen, Annette ten Teije |
Characterising approximate problem solving: by partially fulfilled pre- and postconditions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROVAV ![In: 1998 European Workshop on Validation and Verification of Knowledge-Based Systems, EUROVAV@KR 1998, IRST, Povo, Trento, Italy June 6-8, 1998, 1998, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP BibTeX RDF |
|
1 | Josefina Sierra |
Declarative Formalization of Heuristics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROVAV ![In: 1998 European Workshop on Validation and Verification of Knowledge-Based Systems, EUROVAV@KR 1998, IRST, Povo, Trento, Italy June 6-8, 1998, 1998, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP BibTeX RDF |
|
1 | Geert Wets, Jan Vanthienen, Christophe Mues, Harry J. P. Timmermans |
Extracting complete and consistent knowledge patterns from data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROVAV ![In: 1998 European Workshop on Validation and Verification of Knowledge-Based Systems, EUROVAV@KR 1998, IRST, Povo, Trento, Italy June 6-8, 1998, 1998, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP BibTeX RDF |
|
1 | Nico Jacobs, Kurt Driessens, Luc De Raedt |
Inductive verification and validation of multi agent systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROVAV ![In: 1998 European Workshop on Validation and Verification of Knowledge-Based Systems, EUROVAV@KR 1998, IRST, Povo, Trento, Italy June 6-8, 1998, 1998, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP BibTeX RDF |
|
1 | Zita A. Vale, Carlos Ramos 0001, Jorge Santos 0001, M. Fernanda Fernandes, Couto Rosado, Albino Marques |
Knowledge-Based Systems for power system control centers: validation and verification? ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROVAV ![In: 1998 European Workshop on Validation and Verification of Knowledge-Based Systems, EUROVAV@KR 1998, IRST, Povo, Trento, Italy June 6-8, 1998, 1998, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP BibTeX RDF |
|
1 | Antoni Ligeza |
Logical Analysis of Completeness of Rule-Based Systems with Dual Resolution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROVAV ![In: 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, pp. 19-29, 1997, Katholieke Universiteit Leuven, Belgium. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP BibTeX RDF |
|
1 | Frans Coenen, Paul E. Dunne |
The Verification and Validation of Rulebases Using a Binary Encoded Incidence Matrix Technique. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROVAV ![In: 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, pp. 43-54, 1997, Katholieke Universiteit Leuven, Belgium. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP BibTeX RDF |
|
1 | Alon Y. Levy, Marie-Christine Rousset |
Verification of Knowledge Bases: a Unifying Logical View. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROVAV ![In: 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, pp. 7-18, 1997, Katholieke Universiteit Leuven, Belgium. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP BibTeX RDF |
|
1 | Dieter Fensel, Arno Schönegge |
Specifying and Verifying Knowledge-Based Systems with KIV. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROVAV ![In: 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, pp. 107-116, 1997, Katholieke Universiteit Leuven, Belgium. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP BibTeX RDF |
|
1 | Marie-Christine Rousset |
Verifying the World Wide Web: a Position Statement. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROVAV ![In: 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, pp. 95-103, 1997, Katholieke Universiteit Leuven, Belgium. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP BibTeX RDF |
|
1 | Florence Sellini, Catalina Vargas, Pierre-Alain Yvars |
Considerations About Validation of Knowledge Models in KBE Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROVAV ![In: 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, pp. 83-94, 1997, Katholieke Universiteit Leuven, Belgium. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP BibTeX RDF |
|
1 | Luc De Raedt |
Machine Learning for Verification and Validation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROVAV ![In: 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, pp. 4, 1997, Katholieke Universiteit Leuven, Belgium. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP BibTeX RDF |
|
1 | Fatma Bouali, Stéphane Loiseau, Marie-Christine Rousset |
Revision of Rule Bases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROVAV ![In: 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, pp. 193-203, 1997, Katholieke Universiteit Leuven, Belgium. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP BibTeX RDF |
|
1 | Frank Cornelissen, Catholijn M. Jonker, Jan Treur |
Compositional Verification of Knowledge-based Systems: a Case Study in Diagnostic Reasoning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROVAV ![In: 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, pp. 129-142, 1997, Katholieke Universiteit Leuven, Belgium. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP BibTeX RDF |
|
1 | Frank van Harmelen, Annette ten Teije |
Validation and Verification of Conceptual Models of Diagnosis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROVAV ![In: 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, pp. 117-128, 1997, Katholieke Universiteit Leuven, Belgium. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP BibTeX RDF |
|
1 | Luis Talavera, Ulises Cortés |
Inductive Hypothesis Validation and Bias Selection in Unsupervised Learning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROVAV ![In: 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, pp. 169-179, 1997, Katholieke Universiteit Leuven, Belgium. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP BibTeX RDF |
|
1 | Jan Vanthienen, Frank van Harmelen (eds.) |
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 ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROVAV ![Katholieke Universiteit Leuven, Belgium The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP BibTeX RDF |
|
1 | Selwyn Piramuthu |
Feature Construction for Verification and Validation of Tabular Knowledge Base Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROVAV ![In: 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, pp. 181-190, 1997, Katholieke Universiteit Leuven, Belgium. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP BibTeX RDF |
|
1 | Mar Marcos, Sabine Moisan, Angel P. del Pobil |
A Model-based Approach to the Verification of Program Supervision Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROVAV ![In: 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, pp. 231-241, 1997, Katholieke Universiteit Leuven, Belgium. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP BibTeX RDF |
|
1 | Gareth J. Palmer, Susan Craw |
The Selection of Training Cases for Automated Knowledge Refinement. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROVAV ![In: 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, pp. 205-215, 1997, Katholieke Universiteit Leuven, Belgium. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP BibTeX RDF |
|
1 | Akram Ibrahim Salah, Manal Ahmed Ismail |
Object Oriented Knowledge Engineering: A Formal Approach for Verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROVAV ![In: 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, pp. 219-230, 1997, Katholieke Universiteit Leuven, Belgium. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP BibTeX RDF |
|
1 | Gertjan Beijer |
Validation and Verification of Knowledge Based Systems: a Practitioner's View. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROVAV ![In: 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, pp. 3, 1997, Katholieke Universiteit Leuven, Belgium. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP BibTeX RDF |
|
1 | Tim Menzies, Robert F. Cohen |
A Graph Theoretic Optimisation of Temporal Abductive Validation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROVAV ![In: 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, pp. 55-68, 1997, Katholieke Universiteit Leuven, Belgium. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP BibTeX RDF |
|
1 | Jan Vanthienen, Christophe Mues, Geert Wets |
Inter-Tabular Verification in an Interactive Environment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROVAV ![In: 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, pp. 155-165, 1997, Katholieke Universiteit Leuven, Belgium. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP BibTeX RDF |
|
1 | Amar Bendou, Marc Ayel |
A Symbolic Execution Based Approach for Inspecting Knowledge Bases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROVAV ![In: 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, pp. 31-42, 1997, Katholieke Universiteit Leuven, Belgium. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP BibTeX RDF |
|
1 | Mysore Ramaswamy, Sumit Sarkar |
Global Verification of Knowledge Based Systems via Local Verification of Partitions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROVAV ![In: 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, pp. 145-154, 1997, Katholieke Universiteit Leuven, Belgium. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP BibTeX RDF |
|
1 | Anca I. Vermesan |
Knowledge-Based Systems: Verification and Validation in the view of Certification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROVAV ![In: 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, pp. 71-82, 1997, Katholieke Universiteit Leuven, Belgium. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP BibTeX RDF |
|
1 | B. S. Todd |
Idempotency as a Correctness Property of Rule Bases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROVAV ![In: Proceedings of the European Symposium on the Validation and Verification of Knowledge-Based Systems, EUROVAV '95, Chambéry, France, June 1995, pp. 59-75, 1995, ADERIAS-LIA, Universite de Savoie. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP BibTeX RDF |
|
1 | Jan Treur, Mark Willems |
Formal Notions for Verification of Dynamics of Knowledge-Based Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROVAV ![In: Proceedings of the European Symposium on the Validation and Verification of Knowledge-Based Systems, EUROVAV '95, Chambéry, France, June 1995, pp. 189-199, 1995, ADERIAS-LIA, Universite de Savoie. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP BibTeX RDF |
|
1 | John Domingue |
Software Visualization Based KBS Validation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROVAV ![In: Proceedings of the European Symposium on the Validation and Verification of Knowledge-Based Systems, EUROVAV '95, Chambéry, France, June 1995, pp. 129-139, 1995, ADERIAS-LIA, Universite de Savoie. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP BibTeX RDF |
|
1 | Bruno Wendler, Marc Ayel |
Verifying Coherence in Modular Knowledge Bases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROVAV ![In: Proceedings of the European Symposium on the Validation and Verification of Knowledge-Based Systems, EUROVAV '95, Chambéry, France, June 1995, pp. 173-187, 1995, ADERIAS-LIA, Universite de Savoie. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP BibTeX RDF |
|
1 | Anca I. Vermesan, Sigurd Meldal |
An Algebraic Approach to Refinement of KBS Specification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROVAV ![In: Proceedings of the European Symposium on the Validation and Verification of Knowledge-Based Systems, EUROVAV '95, Chambéry, France, June 1995, pp. 265-276, 1995, ADERIAS-LIA, Universite de Savoie. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP BibTeX RDF |
|
1 | Marc Ayel, Ruth Stalker |
Mutants in the KBS Testing Process. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROVAV ![In: Proceedings of the European Symposium on the Validation and Verification of Knowledge-Based Systems, EUROVAV '95, Chambéry, France, June 1995, pp. 7-18, 1995, ADERIAS-LIA, Universite de Savoie. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP BibTeX RDF |
|
1 | Marc Ayel, Marie-Christine Rousset (eds.) |
Proceedings of the European Symposium on the Validation and Verification of Knowledge-Based Systems, EUROVAV '95, Chambéry, France, June 1995 ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROVAV ![ADERIAS-LIA, Universite de Savoie The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP BibTeX RDF |
|
1 | Remco Straatman, Pascal Beys |
A Performance Model for Knowledge-Based Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROVAV ![In: Proceedings of the European Symposium on the Validation and Verification of Knowledge-Based Systems, EUROVAV '95, Chambéry, France, June 1995, pp. 253-263, 1995, ADERIAS-LIA, Universite de Savoie. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP BibTeX RDF |
|
1 | Spyros Xanthakis, W. Rabot |
Using Conventional Testing Techniques for KBS: An Overview. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROVAV ![In: Proceedings of the European Symposium on the Validation and Verification of Knowledge-Based Systems, EUROVAV '95, Chambéry, France, June 1995, pp. 47-58, 1995, ADERIAS-LIA, Universite de Savoie. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP BibTeX RDF |
|
1 | James G. Schmolze, Wayne Snyder |
A Tool for Testing Confluence of Production Rules. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROVAV ![In: Proceedings of the European Symposium on the Validation and Verification of Knowledge-Based Systems, EUROVAV '95, Chambéry, France, June 1995, pp. 91-104, 1995, ADERIAS-LIA, Universite de Savoie. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP BibTeX RDF |
|
1 | J. Hoelter, C. Rittano, G. Velay |
Verification and Validation Tools in JHExpert. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROVAV ![In: Proceedings of the European Symposium on the Validation and Verification of Knowledge-Based Systems, EUROVAV '95, Chambéry, France, June 1995, pp. 105-116, 1995, ADERIAS-LIA, Universite de Savoie. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP BibTeX RDF |
|
1 | Alun D. Preece, Clifford Grossner, Thiruvengadam Radhakrishnan |
Validating Rule-Based Systems that Operate with Incomplete Data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROVAV ![In: Proceedings of the European Symposium on the Validation and Verification of Knowledge-Based Systems, EUROVAV '95, Chambéry, France, June 1995, pp. 77-90, 1995, ADERIAS-LIA, Universite de Savoie. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP BibTeX RDF |
|
1 | Amar Bendou |
CT-DATAGEN: A Constraint Based Test Data Generator. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROVAV ![In: Proceedings of the European Symposium on the Validation and Verification of Knowledge-Based Systems, EUROVAV '95, Chambéry, France, June 1995, pp. 19-29, 1995, ADERIAS-LIA, Universite de Savoie. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP BibTeX RDF |
|
1 | Knut Hinkelmann, Otto Kühn |
Revising and Updating a Corporate Memory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROVAV ![In: Proceedings of the European Symposium on the Validation and Verification of Knowledge-Based Systems, EUROVAV '95, Chambéry, France, June 1995, pp. 213-223, 1995, ADERIAS-LIA, Universite de Savoie. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP BibTeX RDF |
|
1 | P. Boulitreau-Lefevre, Gilles Kassel |
Modelling Validation Seen as a Set of Problem Solving Tasks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROVAV ![In: Proceedings of the European Symposium on the Validation and Verification of Knowledge-Based Systems, EUROVAV '95, Chambéry, France, June 1995, pp. 241-251, 1995, ADERIAS-LIA, Universite de Savoie. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP BibTeX RDF |
|
1 | Corinne Haouche, Jean Charlet |
Using a KADS Inference Structure to Test a KBS Behaviour. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROVAV ![In: Proceedings of the European Symposium on the Validation and Verification of Knowledge-Based Systems, EUROVAV '95, Chambéry, France, June 1995, pp. 277-290, 1995, ADERIAS-LIA, Universite de Savoie. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP BibTeX RDF |
|
1 | Á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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROVAV ![In: Proceedings of the European Symposium on the Validation and Verification of Knowledge-Based Systems, EUROVAV '95, Chambéry, France, June 1995, pp. 117-127, 1995, ADERIAS-LIA, Universite de Savoie. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP BibTeX RDF |
|
1 | Gareth J. Palmer, Susan Craw |
Utilising Explanation to Assist the Refinement of Knowledge-Based Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROVAV ![In: Proceedings of the European Symposium on the Validation and Verification of Knowledge-Based Systems, EUROVAV '95, Chambéry, France, June 1995, pp. 201-211, 1995, ADERIAS-LIA, Universite de Savoie. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP BibTeX RDF |
|
1 | Jan Vanthienen, Ann Aerts, Christophe Mues, Geert Wets |
A Modeling Approach to KBS Verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROVAV ![In: Proceedings of the European Symposium on the Validation and Verification of Knowledge-Based Systems, EUROVAV '95, Chambéry, France, June 1995, pp. 155-171, 1995, ADERIAS-LIA, Universite de Savoie. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP BibTeX RDF |
|
1 | R. Lounis, Marc Ayel |
Completeness of Knowledge-based Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROVAV ![In: Proceedings of the European Symposium on the Validation and Verification of Knowledge-Based Systems, EUROVAV '95, Chambéry, France, June 1995, pp. 31-46, 1995, ADERIAS-LIA, Universite de Savoie. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP BibTeX RDF |
|
1 | Grigoris Antoniou |
Verification and Correctness Issues for Nonmonotonic Knowledge Bases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROVAV ![In: Proceedings of the European Symposium on the Validation and Verification of Knowledge-Based Systems, EUROVAV '95, Chambéry, France, June 1995, pp. 141-153, 1995, ADERIAS-LIA, Universite de Savoie. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP BibTeX RDF |
|
1 | Fatma Bouali, Stéphane Loiseau |
Rule Base Diagnosis for Debugging: the KB-DIAGO2 System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROVAV ![In: Proceedings of the European Symposium on the Validation and Verification of Knowledge-Based Systems, EUROVAV '95, Chambéry, France, June 1995, pp. 225-239, 1995, ADERIAS-LIA, Universite de Savoie. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP BibTeX RDF |
|
1 | Hakim Lounis |
Knowledge-Based Systems Verification: A Machine Learning-Based Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROVAV ![In: Proceedings of the European Symposium on the Validation and Verification of Knowledge Based Systems, EUROVAV '93, 24-26 March 1993, Universidad de las Islas Baleares, Palma de Mallorca, Spain, pp. 265-276, 1993, Universidad Politécnica de Madrid, 84-604-5817-2. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP BibTeX RDF |
|
1 | Alain Rouge, Jean Yves Lapicque, Florent Brossier, Yves Lozinguez |
Validation and Verification of KADS Data and Domain Knowledge. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROVAV ![In: Proceedings of the European Symposium on the Validation and Verification of Knowledge Based Systems, EUROVAV '93, 24-26 March 1993, Universidad de las Islas Baleares, Palma de Mallorca, Spain, pp. 69-83, 1993, Universidad Politécnica de Madrid, 84-604-5817-2. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP BibTeX RDF |
|
1 | Heinrich Herre |
Semantical Completeness of Model-Based Diagnosis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROVAV ![In: Proceedings of the European Symposium on the Validation and Verification of Knowledge Based Systems, EUROVAV '93, 24-26 March 1993, Universidad de las Islas Baleares, Palma de Mallorca, Spain, pp. 217-229, 1993, Universidad Politécnica de Madrid, 84-604-5817-2. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP BibTeX RDF |
|
1 | Bruno Wendler, Laurence Vignollet, Stephane Talbot |
Computing Partial Labels in KBS Validation Tools. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROVAV ![In: Proceedings of the European Symposium on the Validation and Verification of Knowledge Based Systems, EUROVAV '93, 24-26 March 1993, Universidad de las Islas Baleares, Palma de Mallorca, Spain, pp. 129-141, 1993, Universidad Politécnica de Madrid, 84-604-5817-2. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP BibTeX RDF |
|
1 | Sophie Renault |
Validation of Stratified Logic Programs: Methodology and Practical Experience. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROVAV ![In: Proceedings of the European Symposium on the Validation and Verification of Knowledge Based Systems, EUROVAV '93, 24-26 March 1993, Universidad de las Islas Baleares, Palma de Mallorca, Spain, pp. 143-157, 1993, Universidad Politécnica de Madrid, 84-604-5817-2. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP BibTeX RDF |
|
1 | Richard Blondeau |
Towards a Validation Methodology of KBS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROVAV ![In: Proceedings of the European Symposium on the Validation and Verification of Knowledge Based Systems, EUROVAV '93, 24-26 March 1993, Universidad de las Islas Baleares, Palma de Mallorca, Spain, pp. 325-336, 1993, Universidad Politécnica de Madrid, 84-604-5817-2. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP BibTeX RDF |
|
1 | R. Phelps, W. Aerts, J.-M. Forêt |
Improving Validation and Verification of KBSs through Naturally Comprehensible Flow Representations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROVAV ![In: Proceedings of the European Symposium on the Validation and Verification of Knowledge Based Systems, EUROVAV '93, 24-26 March 1993, Universidad de las Islas Baleares, Palma de Mallorca, Spain, pp. 293-309, 1993, Universidad Politécnica de Madrid, 84-604-5817-2. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP BibTeX RDF |
|
1 | Corinne Haouche, Inser Lamsade |
Using a Conceptual Model to Validate KBSs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROVAV ![In: Proceedings of the European Symposium on the Validation and Verification of Knowledge Based Systems, EUROVAV '93, 24-26 March 1993, Universidad de las Islas Baleares, Palma de Mallorca, Spain, pp. 161-173, 1993, Universidad Politécnica de Madrid, 84-604-5817-2. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP BibTeX RDF |
|
1 | Jesús Cardeñosa Lera, Pedro Meseguer (eds.) |
Proceedings of the European Symposium on the Validation and Verification of Knowledge Based Systems, EUROVAV '93, 24-26 March 1993, Universidad de las Islas Baleares, Palma de Mallorca, Spain ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROVAV ![Universidad Politécnica de Madrid, 84-604-5817-2 The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP BibTeX RDF |
|
1 | Juan Carlos Casamayor, Francisco Marqués, Hendrik Decker |
A Mechanism for Verification of Knowledge Base Scheme Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROVAV ![In: Proceedings of the European Symposium on the Validation and Verification of Knowledge Based Systems, EUROVAV '93, 24-26 March 1993, Universidad de las Islas Baleares, Palma de Mallorca, Spain, pp. 103-115, 1993, Universidad Politécnica de Madrid, 84-604-5817-2. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP BibTeX RDF |
|
1 | Dolores Cañamero, Sabine Geldof, Agnus McIntyre |
Coupling Modeling and Validation in COMMET. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROVAV ![In: Proceedings of the European Symposium on the Validation and Verification of Knowledge Based Systems, EUROVAV '93, 24-26 March 1993, Universidad de las Islas Baleares, Palma de Mallorca, Spain, pp. 191-205, 1993, Universidad Politécnica de Madrid, 84-604-5817-2. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP BibTeX RDF |
|
1 | Grigoris Antoniou, Volker Sperschneider |
On the Verification of Modular Logical Knowledge Bases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROVAV ![In: Proceedings of the European Symposium on the Validation and Verification of Knowledge Based Systems, EUROVAV '93, 24-26 March 1993, Universidad de las Islas Baleares, Palma de Mallorca, Spain, pp. 117-128, 1993, Universidad Politécnica de Madrid, 84-604-5817-2. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP BibTeX RDF |
|
1 | Catherine Vicat, Patrick Brézillon, Christian Nottola |
Knowledge Validation in the Building of a KBS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROVAV ![In: Proceedings of the European Symposium on the Validation and Verification of Knowledge Based Systems, EUROVAV '93, 24-26 March 1993, Universidad de las Islas Baleares, Palma de Mallorca, Spain, pp. 311-323, 1993, Universidad Politécnica de Madrid, 84-604-5817-2. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP BibTeX RDF |
|
1 | Dieudonné Kinielele |
On the Consistency of Fuzzy Knowledge Bases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROVAV ![In: Proceedings of the European Symposium on the Validation and Verification of Knowledge Based Systems, EUROVAV '93, 24-26 March 1993, Universidad de las Islas Baleares, Palma de Mallorca, Spain, pp. 247-261, 1993, Universidad Politécnica de Madrid, 84-604-5817-2. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP BibTeX RDF |
|
1 | Daniel Borrajo, Angélica de Antonio |
Cooperation of Machine Learning and Validation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROVAV ![In: Proceedings of the European Symposium on the Validation and Verification of Knowledge Based Systems, EUROVAV '93, 24-26 March 1993, Universidad de las Islas Baleares, Palma de Mallorca, Spain, pp. 277-291, 1993, Universidad Politécnica de Madrid, 84-604-5817-2. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP BibTeX RDF |
|
1 | Pascale Hors, Marie-Christine Rousset |
Consistency of Structured Knowledge: A Formal Framework Based on Description Logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROVAV ![In: Proceedings of the European Symposium on the Validation and Verification of Knowledge Based Systems, EUROVAV '93, 24-26 March 1993, Universidad de las Islas Baleares, Palma de Mallorca, Spain, pp. 231-245, 1993, Universidad Politécnica de Madrid, 84-604-5817-2. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP BibTeX RDF |
|
1 | Jay Liebowitz |
Expert System Verification and Validation: Issues and U.S. Activities. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROVAV ![In: Proceedings of the European Symposium on the Validation and Verification of Knowledge Based Systems, EUROVAV '93, 24-26 March 1993, Universidad de las Islas Baleares, Palma de Mallorca, Spain, pp. 19-27, 1993, Universidad Politécnica de Madrid, 84-604-5817-2. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP BibTeX RDF |
|
1 | Jesús Cardeñosa Lera, Natalia Juristo Juzgado |
General Overview of the VALID Project. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROVAV ![In: Proceedings of the European Symposium on the Validation and Verification of Knowledge Based Systems, EUROVAV '93, 24-26 March 1993, Universidad de las Islas Baleares, Palma de Mallorca, Spain, pp. 53-67, 1993, Universidad Politécnica de Madrid, 84-604-5817-2. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP BibTeX RDF |
|
1 | |
Symposium Organization, Contents, Foreword, Index. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROVAV ![In: Proceedings of the European Symposium on the Validation and Verification of Knowledge Based Systems, EUROVAV '93, 24-26 March 1993, Universidad de las Islas Baleares, Palma de Mallorca, Spain, pp. 5-15, 1993, Universidad Politécnica de Madrid, 84-604-5817-2. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP BibTeX RDF |
|