default search action
Search dblp for Publications
export results for "stream:conf/eurovav:"
@inproceedings{DBLP:conf/eurovav/Bench-CaponJ99, author = {Trevor J. M. Bench{-}Capon and Dean M. Jones}, editor = {Anca I. Vermesan and Frans Coenen}, title = {{PRONTO} - Ontology-based Evaluation of Knowledge Based Systems}, booktitle = {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}, pages = {93--109}, publisher = {Kluwer}, year = {1999}, timestamp = {Wed, 17 Apr 2002 07:53:32 +0200}, biburl = {https://dblp.org/rec/conf/eurovav/Bench-CaponJ99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/eurovav/BoswellC99, author = {Robin Boswell and Susan Craw}, editor = {Anca I. Vermesan and Frans Coenen}, title = {Organising Knowledge Refinement Operators}, booktitle = {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}, pages = {149--161}, publisher = {Kluwer}, year = {1999}, timestamp = {Thu, 03 Jan 2002 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/eurovav/BoswellC99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/eurovav/CardenosaE99, author = {Jes{\'{u}}s Carde{\~{n}}osa Lera and David Escorial}, editor = {Anca I. Vermesan and Frans Coenen}, title = {{KBS} First Prototype V{\&}V Process Plan as a Way to Produce Reliable Requirements}, booktitle = {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}, pages = {11--24}, publisher = {Kluwer}, year = {1999}, timestamp = {Mon, 16 Nov 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/eurovav/CardenosaE99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/eurovav/CoenenER99, author = {Frans Coenen and Barry Eaglestone and Mick J. Ridley}, editor = {Anca I. Vermesan and Frans Coenen}, title = {Verification, Validation and Integrity in Knowledge and Database Systems: Future Directions}, booktitle = {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}, pages = {297--312}, publisher = {Kluwer}, year = {1999}, timestamp = {Sat, 14 Feb 2009 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/eurovav/CoenenER99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/eurovav/Dibie-BartelemyHL99, author = {Juliette Dibie{-}Barth{\'{e}}lemy and Ollivier Haemmerl{\'{e}} and St{\'{e}}phane Loiseau}, editor = {Anca I. Vermesan and Frans Coenen}, title = {Constraints for Validation of Conceptual Graphs}, booktitle = {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}, pages = {79--90}, publisher = {Kluwer}, year = {1999}, timestamp = {Thu, 03 Jan 2002 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/eurovav/Dibie-BartelemyHL99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/eurovav/Dondossola99, author = {Giovanna Dondossola}, editor = {Anca I. Vermesan and Frans Coenen}, title = {Formal Methods for the Engineering and Certification of Safety-critical Knowledge-based Systems}, booktitle = {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}, pages = {113--129}, publisher = {Kluwer}, year = {1999}, timestamp = {Thu, 03 Jan 2002 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/eurovav/Dondossola99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/eurovav/Gregoire99, author = {{\'{E}}ric Gr{\'{e}}goire}, editor = {Anca I. Vermesan and Frans Coenen}, title = {Progressive Instantiation for the Logical Validation of Nonmonotonic KBs}, booktitle = {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}, pages = {37--51}, publisher = {Kluwer}, year = {1999}, timestamp = {Thu, 03 Jan 2002 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/eurovav/Gregoire99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/eurovav/LaitaRML99, author = {Luis M. Laita and Eugenio Roanes{-}Lozano and Victor Maojo and Luis de Ledesma}, editor = {Anca I. Vermesan and Frans Coenen}, title = {Computer Algebra Based Verification and Knowledge Extraction in {RBS} - Application to Medical Fitness Criteria}, booktitle = {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}, pages = {53--65}, publisher = {Kluwer}, year = {1999}, timestamp = {Thu, 03 Jan 2002 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/eurovav/LaitaRML99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/eurovav/Ligeza99, author = {Antoni Ligeza}, editor = {Anca I. Vermesan and Frans Coenen}, title = {Intelligent Data and Knowledge Analysis and Verification: Towards a Taxonomy of Some Specific Problems}, booktitle = {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}, pages = {313--325}, publisher = {Kluwer}, year = {1999}, timestamp = {Thu, 03 Jan 2002 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/eurovav/Ligeza99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/eurovav/MasoodE99, author = {Nayyer Masood and Barry Eaglestone}, editor = {Anca I. Vermesan and Frans Coenen}, title = {Ontology-based Verification and Validation of Federated Database Systems}, booktitle = {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}, pages = {327--341}, publisher = {Kluwer}, year = {1999}, timestamp = {Thu, 03 Jan 2002 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/eurovav/MasoodE99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/eurovav/OwocOG99, author = {Mieczyslaw L. Owoc and Malgorzata Ochmanska and Tomasz Gladysz}, editor = {Anca I. Vermesan and Frans Coenen}, title = {On Principles of Knowledge Validation}, booktitle = {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}, pages = {25--35}, publisher = {Kluwer}, year = {1999}, timestamp = {Thu, 03 Jan 2002 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/eurovav/OwocOG99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/eurovav/Ribeiro99, author = {Francisco Loforte Ribeiro}, editor = {Anca I. Vermesan and Frans Coenen}, title = {Verification and Validation of a Multistrategy Knowledge-Based System}, booktitle = {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}, pages = {207--220}, publisher = {Kluwer}, year = {1999}, timestamp = {Thu, 03 Jan 2002 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/eurovav/Ribeiro99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/eurovav/Saint-CyrL99, author = {Florence Dupin de Saint{-}Cyr and St{\'{e}}phane Loiseau}, editor = {Anca I. Vermesan and Frans Coenen}, title = {Validation and Refinement versus Revision}, booktitle = {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}, pages = {163--176}, publisher = {Kluwer}, year = {1999}, timestamp = {Thu, 03 Jan 2002 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/eurovav/Saint-CyrL99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/eurovav/SantosRVM99, author = {Jorge Santos and Carlos Ramos and Zita A. Vale and Albino Marques}, editor = {Anca I. Vermesan and Frans Coenen}, title = {Validation and Verification of Knowlege-Based Systems for Power Systzem Control Centres}, booktitle = {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}, pages = {221--235}, publisher = {Kluwer}, year = {1999}, timestamp = {Tue, 21 Jan 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/eurovav/SantosRVM99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/eurovav/Schroeder99, author = {Michael Schroeder}, editor = {Anca I. Vermesan and Frans Coenen}, title = {Verification of Business Processes for a Correspondence Handling Center Using {CCS}}, booktitle = {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}, pages = {253--264}, publisher = {Kluwer}, year = {1999}, timestamp = {Wed, 11 Oct 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/eurovav/Schroeder99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/eurovav/SelliniY99, author = {Florence Sellini and Pierre{-}Alain Yvars}, editor = {Anca I. Vermesan and Frans Coenen}, title = {A Priori Verification of Product Models in Mechanical Design}, booktitle = {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}, pages = {237--251}, publisher = {Kluwer}, year = {1999}, timestamp = {Thu, 03 Jan 2002 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/eurovav/SelliniY99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/eurovav/SpreeuwenbergG99, author = {Silvie Spreeuwenberg and Rik Gerrits}, editor = {Anca I. Vermesan and Frans Coenen}, title = {A Knowledge Based Tool to Validate and Verify an Aion Knowledge Base}, booktitle = {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}, pages = {67--78}, publisher = {Kluwer}, year = {1999}, timestamp = {Thu, 03 Jan 2002 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/eurovav/SpreeuwenbergG99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/eurovav/SteinbergFO99, author = {Rune Steinberg and Roar A. Fjellheim and Stale A. Olsen}, editor = {Anca I. Vermesan and Frans Coenen}, title = {Design Patterns for Safety-critical Knowledge Based Systems}, booktitle = {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}, pages = {131--145}, publisher = {Kluwer}, year = {1999}, timestamp = {Thu, 03 Jan 2002 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/eurovav/SteinbergFO99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/eurovav/VanthienenG99, author = {Jan Vanthienen and Ana Mar{\'{\i}}a Moreno Garc{\'{\i}}a}, editor = {Anca I. Vermesan and Frans Coenen}, title = {Illustrating Knowledge Base Restructuring and Verification in a Real World Application}, booktitle = {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}, pages = {177--191}, publisher = {Kluwer}, year = {1999}, timestamp = {Thu, 03 Jan 2002 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/eurovav/VanthienenG99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/eurovav/VermessanH99, author = {Anca I. Vermesan and Frode H{\o}gberg}, editor = {Anca I. Vermesan and Frans Coenen}, title = {Applicability of Conventional Software Verification and Validation to Knowledge-based Components: {A} Qualitative Assessment}, booktitle = {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}, pages = {343--357}, publisher = {Kluwer}, year = {1999}, timestamp = {Thu, 03 Jan 2002 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/eurovav/VermessanH99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/eurovav/VermessanSMB99, author = {Anca I. Vermesan and Jarle Sj{\o}vag and Per Martinsen and Keith Bell}, editor = {Anca I. Vermesan and Frans Coenen}, title = {Verification and Validation in Support for Software Certification Methods}, booktitle = {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}, pages = {277--293}, publisher = {Kluwer}, year = {1999}, timestamp = {Thu, 03 Jan 2002 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/eurovav/VermessanSMB99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/eurovav/Voas99, author = {Jeffrey M. Voas}, editor = {Anca I. Vermesan and Frans Coenen}, title = {User Participation-based Software Certification}, booktitle = {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}, pages = {267--276}, publisher = {Kluwer}, year = {1999}, timestamp = {Thu, 03 Jan 2002 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/eurovav/Voas99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/eurovav/WiratungaC99, author = {Nirmalie Wiratunga and Susan Craw}, editor = {Anca I. Vermesan and Frans Coenen}, title = {Incorporating Backtracking Search with Knowledge Refinement}, booktitle = {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}, pages = {193--205}, publisher = {Kluwer}, year = {1999}, timestamp = {Thu, 03 Jan 2002 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/eurovav/WiratungaC99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/eurovav/1999, editor = {Anca I. Vermesan and Frans Coenen}, title = {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}, publisher = {Kluwer}, year = {1999}, isbn = {0-7923-8645-0}, timestamp = {Wed, 17 Apr 2002 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/eurovav/1999.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/eurovav/BenerecettiGS98, author = {Massimo Benerecetti and Fausto Giunchiglia and Luciano Serafini}, editor = {Frank van Harmelen}, title = {Multiagent Systems Verification via Model Checking}, booktitle = {1998 European Workshop on Validation and Verification of Knowledge-Based Systems, EUROVAV@KR 1998, IRST, Povo, Trento, Italy June 6-8, 1998}, series = {{CEUR} Workshop Proceedings}, volume = {16}, publisher = {CEUR-WS.org}, year = {1998}, url = {https://ceur-ws.org/Vol-16/06-benerecetti.pdf}, timestamp = {Fri, 10 Mar 2023 16:23:22 +0100}, biburl = {https://dblp.org/rec/conf/eurovav/BenerecettiGS98.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/eurovav/Dondossola98, author = {Giovanna Dondossola}, editor = {Frank van Harmelen}, title = {Formal methods in the development of safety critical Knowledge-Based components}, booktitle = {1998 European Workshop on Validation and Verification of Knowledge-Based Systems, EUROVAV@KR 1998, IRST, Povo, Trento, Italy June 6-8, 1998}, series = {{CEUR} Workshop Proceedings}, volume = {16}, publisher = {CEUR-WS.org}, year = {1998}, url = {https://ceur-ws.org/Vol-16/14-dondossola.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/eurovav/Dondossola98.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/eurovav/DuftschmidMSJ98, author = {Georg Duftschmid and Silvia Miksch and Yuval Shahar and Peter D. Johnson}, editor = {Frank van Harmelen}, title = {Multi-Level Verification of Clinical Protocols}, booktitle = {1998 European Workshop on Validation and Verification of Knowledge-Based Systems, EUROVAV@KR 1998, IRST, Povo, Trento, Italy June 6-8, 1998}, series = {{CEUR} Workshop Proceedings}, volume = {16}, publisher = {CEUR-WS.org}, year = {1998}, url = {https://ceur-ws.org/Vol-16/05-duftschmid.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/eurovav/DuftschmidMSJ98.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/eurovav/HarmelenT98, author = {Frank van Harmelen and Annette ten Teije}, editor = {Frank van Harmelen}, title = {Characterising approximate problem solving: by partially fulfilled pre- and postconditions}, booktitle = {1998 European Workshop on Validation and Verification of Knowledge-Based Systems, EUROVAV@KR 1998, IRST, Povo, Trento, Italy June 6-8, 1998}, series = {{CEUR} Workshop Proceedings}, volume = {16}, publisher = {CEUR-WS.org}, year = {1998}, url = {https://ceur-ws.org/Vol-16/12-tenteije.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/eurovav/HarmelenT98.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/eurovav/JacobsDR98, author = {Nico Jacobs and Kurt Driessens and Luc De Raedt}, editor = {Frank van Harmelen}, title = {Inductive verification and validation of multi agent systems}, booktitle = {1998 European Workshop on Validation and Verification of Knowledge-Based Systems, EUROVAV@KR 1998, IRST, Povo, Trento, Italy June 6-8, 1998}, series = {{CEUR} Workshop Proceedings}, volume = {16}, publisher = {CEUR-WS.org}, year = {1998}, url = {https://ceur-ws.org/Vol-16/03-jacobs.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/eurovav/JacobsDR98.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/eurovav/JonkerTV98, author = {Catholijn M. Jonker and Jan Treur and Wieke de Vries}, editor = {Frank van Harmelen}, title = {Compositional Verification of Agents in Dynamic Environments: a Case Study}, booktitle = {1998 European Workshop on Validation and Verification of Knowledge-Based Systems, EUROVAV@KR 1998, IRST, Povo, Trento, Italy June 6-8, 1998}, series = {{CEUR} Workshop Proceedings}, volume = {16}, publisher = {CEUR-WS.org}, year = {1998}, url = {https://ceur-ws.org/Vol-16/09-jonker.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/eurovav/JonkerTV98.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/eurovav/MenziesW98, author = {Tim Menzies and Sam Waugh}, editor = {Frank van Harmelen}, title = {Lower Bounds on the Size of Test Data Sets}, booktitle = {1998 European Workshop on Validation and Verification of Knowledge-Based Systems, EUROVAV@KR 1998, IRST, Povo, Trento, Italy June 6-8, 1998}, series = {{CEUR} Workshop Proceedings}, volume = {16}, publisher = {CEUR-WS.org}, year = {1998}, url = {https://ceur-ws.org/Vol-16/01-menzies.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/eurovav/MenziesW98.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/eurovav/RamirezA98, author = {Jaime Ram{\'{\i}}rez and Ang{\'{e}}lica de Antonio}, editor = {Frank van Harmelen}, title = {{MECORI:} a method for knowledge base semantic verification based on integrity constraints}, booktitle = {1998 European Workshop on Validation and Verification of Knowledge-Based Systems, EUROVAV@KR 1998, IRST, Povo, Trento, Italy June 6-8, 1998}, series = {{CEUR} Workshop Proceedings}, volume = {16}, publisher = {CEUR-WS.org}, year = {1998}, url = {https://ceur-ws.org/Vol-16/13-ramirez.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/eurovav/RamirezA98.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/eurovav/Sierra98, author = {Josefina Sierra}, editor = {Frank van Harmelen}, title = {Declarative Formalization of Heuristics}, booktitle = {1998 European Workshop on Validation and Verification of Knowledge-Based Systems, EUROVAV@KR 1998, IRST, Povo, Trento, Italy June 6-8, 1998}, series = {{CEUR} Workshop Proceedings}, volume = {16}, publisher = {CEUR-WS.org}, year = {1998}, url = {https://ceur-ws.org/Vol-16/10-sierra.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/eurovav/Sierra98.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/eurovav/TrichetT98, author = {Francky Trichet and Pierre Tchounikine}, editor = {Frank van Harmelen}, title = {Verifying and Validating a Task/Method Knowledge-Base}, booktitle = {1998 European Workshop on Validation and Verification of Knowledge-Based Systems, EUROVAV@KR 1998, IRST, Povo, Trento, Italy June 6-8, 1998}, series = {{CEUR} Workshop Proceedings}, volume = {16}, publisher = {CEUR-WS.org}, year = {1998}, url = {https://ceur-ws.org/Vol-16/07-trichet.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/eurovav/TrichetT98.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/eurovav/ValeR0FRM98, author = {Zita A. Vale and Carlos Ramos and Jorge Santos and M. Fernanda Fernandes and Couto Rosado and Albino Marques}, editor = {Frank van Harmelen}, title = {Knowledge-Based Systems for power system control centers: validation and verification?}, booktitle = {1998 European Workshop on Validation and Verification of Knowledge-Based Systems, EUROVAV@KR 1998, IRST, Povo, Trento, Italy June 6-8, 1998}, series = {{CEUR} Workshop Proceedings}, volume = {16}, publisher = {CEUR-WS.org}, year = {1998}, url = {https://ceur-ws.org/Vol-16/08-vale.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/eurovav/ValeR0FRM98.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/eurovav/WetsVMT98, author = {Geert Wets and Jan Vanthienen and Christophe Mues and Harry J. P. Timmermans}, editor = {Frank van Harmelen}, title = {Extracting complete and consistent knowledge patterns from data}, booktitle = {1998 European Workshop on Validation and Verification of Knowledge-Based Systems, EUROVAV@KR 1998, IRST, Povo, Trento, Italy June 6-8, 1998}, series = {{CEUR} Workshop Proceedings}, volume = {16}, publisher = {CEUR-WS.org}, year = {1998}, url = {https://ceur-ws.org/Vol-16/02-wets.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/eurovav/WetsVMT98.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/eurovav/1998, editor = {Frank van Harmelen}, title = {1998 European Workshop on Validation and Verification of Knowledge-Based Systems, EUROVAV@KR 1998, IRST, Povo, Trento, Italy June 6-8, 1998}, series = {{CEUR} Workshop Proceedings}, volume = {16}, publisher = {CEUR-WS.org}, year = {1998}, url = {https://ceur-ws.org/Vol-16}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/eurovav/1998.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/eurovav/Beijer97, author = {Gertjan Beijer}, editor = {Jan Vanthienen and Frank van Harmelen}, title = {Validation and Verification of Knowledge Based Systems: a Practitioner's View}, booktitle = {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}, pages = {3}, publisher = {Katholieke Universiteit Leuven, Belgium}, year = {1997}, timestamp = {Thu, 03 Jan 2002 11:57:51 +0100}, biburl = {https://dblp.org/rec/conf/eurovav/Beijer97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/eurovav/BendouA97, author = {Amar Bendou and Marc Ayel}, editor = {Jan Vanthienen and Frank van Harmelen}, title = {A Symbolic Execution Based Approach for Inspecting Knowledge Bases}, booktitle = {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}, pages = {31--42}, publisher = {Katholieke Universiteit Leuven, Belgium}, year = {1997}, timestamp = {Thu, 03 Jan 2002 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/eurovav/BendouA97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/eurovav/BoualiLR97, author = {Fatma Bouali and St{\'{e}}phane Loiseau and Marie{-}Christine Rousset}, editor = {Jan Vanthienen and Frank van Harmelen}, title = {Revision of Rule Bases}, booktitle = {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}, pages = {193--203}, publisher = {Katholieke Universiteit Leuven, Belgium}, year = {1997}, timestamp = {Thu, 03 Jan 2002 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/eurovav/BoualiLR97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/eurovav/CoenenD97, author = {Frans Coenen and Paul E. Dunne}, editor = {Jan Vanthienen and Frank van Harmelen}, title = {The Verification and Validation of Rulebases Using a Binary Encoded Incidence Matrix Technique}, booktitle = {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}, pages = {43--54}, publisher = {Katholieke Universiteit Leuven, Belgium}, year = {1997}, timestamp = {Thu, 03 Jan 2002 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/eurovav/CoenenD97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/eurovav/CornelissenJT97, author = {Frank Cornelissen and Catholijn M. Jonker and Jan Treur}, editor = {Jan Vanthienen and Frank van Harmelen}, title = {Compositional Verification of Knowledge-based Systems: a Case Study in Diagnostic Reasoning}, booktitle = {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}, pages = {129--142}, publisher = {Katholieke Universiteit Leuven, Belgium}, year = {1997}, timestamp = {Thu, 03 Jan 2002 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/eurovav/CornelissenJT97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/eurovav/FenselS97, author = {Dieter Fensel and Arno Sch{\"{o}}negge}, editor = {Jan Vanthienen and Frank van Harmelen}, title = {Specifying and Verifying Knowledge-Based Systems with {KIV}}, booktitle = {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}, pages = {107--116}, publisher = {Katholieke Universiteit Leuven, Belgium}, year = {1997}, timestamp = {Thu, 03 Jan 2002 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/eurovav/FenselS97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/eurovav/HarmelenT97, author = {Frank van Harmelen and Annette ten Teije}, editor = {Jan Vanthienen and Frank van Harmelen}, title = {Validation and Verification of Conceptual Models of Diagnosis}, booktitle = {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}, pages = {117--128}, publisher = {Katholieke Universiteit Leuven, Belgium}, year = {1997}, timestamp = {Thu, 03 Jan 2002 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/eurovav/HarmelenT97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/eurovav/LevyR97, author = {Alon Y. Levy and Marie{-}Christine Rousset}, editor = {Jan Vanthienen and Frank van Harmelen}, title = {Verification of Knowledge Bases: a Unifying Logical View}, booktitle = {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}, pages = {7--18}, publisher = {Katholieke Universiteit Leuven, Belgium}, year = {1997}, timestamp = {Thu, 03 Jan 2002 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/eurovav/LevyR97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/eurovav/Ligeza97, author = {Antoni Ligeza}, editor = {Jan Vanthienen and Frank van Harmelen}, title = {Logical Analysis of Completeness of Rule-Based Systems with Dual Resolution}, booktitle = {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}, pages = {19--29}, publisher = {Katholieke Universiteit Leuven, Belgium}, year = {1997}, timestamp = {Thu, 03 Jan 2002 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/eurovav/Ligeza97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/eurovav/MarcosMP97, author = {Mar Marcos and Sabine Moisan and Angel P. del Pobil}, editor = {Jan Vanthienen and Frank van Harmelen}, title = {A Model-based Approach to the Verification of Program Supervision Systems}, booktitle = {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}, pages = {231--241}, publisher = {Katholieke Universiteit Leuven, Belgium}, year = {1997}, timestamp = {Thu, 18 Jul 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/eurovav/MarcosMP97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/eurovav/MenziesC97, author = {Tim Menzies and Robert F. Cohen}, editor = {Jan Vanthienen and Frank van Harmelen}, title = {A Graph Theoretic Optimisation of Temporal Abductive Validation}, booktitle = {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}, pages = {55--68}, publisher = {Katholieke Universiteit Leuven, Belgium}, year = {1997}, timestamp = {Thu, 03 Jan 2002 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/eurovav/MenziesC97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/eurovav/PalmerC97, author = {Gareth J. Palmer and Susan Craw}, editor = {Jan Vanthienen and Frank van Harmelen}, title = {The Selection of Training Cases for Automated Knowledge Refinement}, booktitle = {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}, pages = {205--215}, publisher = {Katholieke Universiteit Leuven, Belgium}, year = {1997}, timestamp = {Thu, 03 Jan 2002 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/eurovav/PalmerC97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/eurovav/Piramuthu97, author = {Selwyn Piramuthu}, editor = {Jan Vanthienen and Frank van Harmelen}, title = {Feature Construction for Verification and Validation of Tabular Knowledge Base Systems}, booktitle = {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}, pages = {181--190}, publisher = {Katholieke Universiteit Leuven, Belgium}, year = {1997}, timestamp = {Thu, 03 Jan 2002 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/eurovav/Piramuthu97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/eurovav/Raedt97, author = {Luc De Raedt}, editor = {Jan Vanthienen and Frank van Harmelen}, title = {Machine Learning for Verification and Validation}, booktitle = {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}, pages = {4}, publisher = {Katholieke Universiteit Leuven, Belgium}, year = {1997}, timestamp = {Thu, 03 Jan 2002 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/eurovav/Raedt97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/eurovav/RamaswamyS97, author = {Mysore Ramaswamy and Sumit Sarkar}, editor = {Jan Vanthienen and Frank van Harmelen}, title = {Global Verification of Knowledge Based Systems via Local Verification of Partitions}, booktitle = {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}, pages = {145--154}, publisher = {Katholieke Universiteit Leuven, Belgium}, year = {1997}, timestamp = {Thu, 03 Jan 2002 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/eurovav/RamaswamyS97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/eurovav/Rousset97, author = {Marie{-}Christine Rousset}, editor = {Jan Vanthienen and Frank van Harmelen}, title = {Verifying the World Wide Web: a Position Statement}, booktitle = {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}, pages = {95--103}, publisher = {Katholieke Universiteit Leuven, Belgium}, year = {1997}, timestamp = {Thu, 03 Jan 2002 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/eurovav/Rousset97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/eurovav/SalahI97, author = {Akram Ibrahim Salah and Manal Ahmed Ismail}, editor = {Jan Vanthienen and Frank van Harmelen}, title = {Object Oriented Knowledge Engineering: {A} Formal Approach for Verification}, booktitle = {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}, pages = {219--230}, publisher = {Katholieke Universiteit Leuven, Belgium}, year = {1997}, timestamp = {Fri, 28 May 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/eurovav/SalahI97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/eurovav/SelliniVY97, author = {Florence Sellini and Catalina Vargas and Pierre{-}Alain Yvars}, editor = {Jan Vanthienen and Frank van Harmelen}, title = {Considerations About Validation of Knowledge Models in {KBE} Systems}, booktitle = {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}, pages = {83--94}, publisher = {Katholieke Universiteit Leuven, Belgium}, year = {1997}, timestamp = {Thu, 03 Jan 2002 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/eurovav/SelliniVY97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/eurovav/TalaveraC97, author = {Luis Talavera and Ulises Cort{\'{e}}s}, editor = {Jan Vanthienen and Frank van Harmelen}, title = {Inductive Hypothesis Validation and Bias Selection in Unsupervised Learning}, booktitle = {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}, pages = {169--179}, publisher = {Katholieke Universiteit Leuven, Belgium}, year = {1997}, timestamp = {Thu, 03 Jan 2002 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/eurovav/TalaveraC97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/eurovav/VanthienenMW97, author = {Jan Vanthienen and Christophe Mues and Geert Wets}, editor = {Jan Vanthienen and Frank van Harmelen}, title = {Inter-Tabular Verification in an Interactive Environment}, booktitle = {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}, pages = {155--165}, publisher = {Katholieke Universiteit Leuven, Belgium}, year = {1997}, timestamp = {Thu, 03 Jan 2002 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/eurovav/VanthienenMW97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/eurovav/Vermesan97, author = {Anca I. Vermesan}, editor = {Jan Vanthienen and Frank van Harmelen}, title = {Knowledge-Based Systems: Verification and Validation in the view of Certification}, booktitle = {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}, pages = {71--82}, publisher = {Katholieke Universiteit Leuven, Belgium}, year = {1997}, timestamp = {Thu, 03 Jan 2002 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/eurovav/Vermesan97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/eurovav/1997, editor = {Jan Vanthienen and Frank van Harmelen}, title = {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}, publisher = {Katholieke Universiteit Leuven, Belgium}, year = {1997}, timestamp = {Thu, 03 Jan 2002 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/eurovav/1997.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/eurovav/Antoniou95, author = {Grigoris Antoniou}, editor = {Marc Ayel and Marie{-}Christine Rousset}, title = {Verification and Correctness Issues for Nonmonotonic Knowledge Bases}, booktitle = {Proceedings of the European Symposium on the Validation and Verification of Knowledge-Based Systems, {EUROVAV} '95, Chamb{\'{e}}ry, France, June 1995}, pages = {141--153}, publisher = {ADERIAS-LIA, Universite de Savoie}, year = {1995}, timestamp = {Tue, 19 Jun 2018 19:29:32 +0200}, biburl = {https://dblp.org/rec/conf/eurovav/Antoniou95.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/eurovav/AyelS95, author = {Marc Ayel and Ruth Stalker}, editor = {Marc Ayel and Marie{-}Christine Rousset}, title = {Mutants in the {KBS} Testing Process}, booktitle = {Proceedings of the European Symposium on the Validation and Verification of Knowledge-Based Systems, {EUROVAV} '95, Chamb{\'{e}}ry, France, June 1995}, pages = {7--18}, publisher = {ADERIAS-LIA, Universite de Savoie}, year = {1995}, timestamp = {Thu, 03 Jan 2002 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/eurovav/AyelS95.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/eurovav/Bendou95, author = {Amar Bendou}, editor = {Marc Ayel and Marie{-}Christine Rousset}, title = {{CT-DATAGEN:} {A} Constraint Based Test Data Generator}, booktitle = {Proceedings of the European Symposium on the Validation and Verification of Knowledge-Based Systems, {EUROVAV} '95, Chamb{\'{e}}ry, France, June 1995}, pages = {19--29}, publisher = {ADERIAS-LIA, Universite de Savoie}, year = {1995}, timestamp = {Thu, 03 Jan 2002 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/eurovav/Bendou95.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/eurovav/BoualiL95, author = {Fatma Bouali and St{\'{e}}phane Loiseau}, editor = {Marc Ayel and Marie{-}Christine Rousset}, title = {Rule Base Diagnosis for Debugging: the {KB-DIAGO2} System}, booktitle = {Proceedings of the European Symposium on the Validation and Verification of Knowledge-Based Systems, {EUROVAV} '95, Chamb{\'{e}}ry, France, June 1995}, pages = {225--239}, publisher = {ADERIAS-LIA, Universite de Savoie}, year = {1995}, timestamp = {Thu, 03 Jan 2002 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/eurovav/BoualiL95.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/eurovav/Boulitreau-LefevreK95, author = {P. Boulitreau{-}Lefevre and Gilles Kassel}, editor = {Marc Ayel and Marie{-}Christine Rousset}, title = {Modelling Validation Seen as a Set of Problem Solving Tasks}, booktitle = {Proceedings of the European Symposium on the Validation and Verification of Knowledge-Based Systems, {EUROVAV} '95, Chamb{\'{e}}ry, France, June 1995}, pages = {241--251}, publisher = {ADERIAS-LIA, Universite de Savoie}, year = {1995}, timestamp = {Thu, 03 Jan 2002 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/eurovav/Boulitreau-LefevreK95.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/eurovav/Domingue95, author = {John Domingue}, editor = {Marc Ayel and Marie{-}Christine Rousset}, title = {Software Visualization Based {KBS} Validation}, booktitle = {Proceedings of the European Symposium on the Validation and Verification of Knowledge-Based Systems, {EUROVAV} '95, Chamb{\'{e}}ry, France, June 1995}, pages = {129--139}, publisher = {ADERIAS-LIA, Universite de Savoie}, year = {1995}, timestamp = {Thu, 03 Jan 2002 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/eurovav/Domingue95.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/eurovav/HaoucheC95, author = {Corinne Haouche and Jean Charlet}, editor = {Marc Ayel and Marie{-}Christine Rousset}, title = {Using a {KADS} Inference Structure to Test a {KBS} Behaviour}, booktitle = {Proceedings of the European Symposium on the Validation and Verification of Knowledge-Based Systems, {EUROVAV} '95, Chamb{\'{e}}ry, France, June 1995}, pages = {277--290}, publisher = {ADERIAS-LIA, Universite de Savoie}, year = {1995}, timestamp = {Thu, 03 Jan 2002 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/eurovav/HaoucheC95.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/eurovav/HinkelmanK95, author = {Knut Hinkelmann and Otto K{\"{u}}hn}, editor = {Marc Ayel and Marie{-}Christine Rousset}, title = {Revising and Updating a Corporate Memory}, booktitle = {Proceedings of the European Symposium on the Validation and Verification of Knowledge-Based Systems, {EUROVAV} '95, Chamb{\'{e}}ry, France, June 1995}, pages = {213--223}, publisher = {ADERIAS-LIA, Universite de Savoie}, year = {1995}, timestamp = {Thu, 03 Jan 2002 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/eurovav/HinkelmanK95.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/eurovav/HoelterRV95, author = {J. Hoelter and C. Rittano and G. Velay}, editor = {Marc Ayel and Marie{-}Christine Rousset}, title = {Verification and Validation Tools in JHExpert}, booktitle = {Proceedings of the European Symposium on the Validation and Verification of Knowledge-Based Systems, {EUROVAV} '95, Chamb{\'{e}}ry, France, June 1995}, pages = {105--116}, publisher = {ADERIAS-LIA, Universite de Savoie}, year = {1995}, timestamp = {Thu, 03 Jan 2002 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/eurovav/HoelterRV95.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/eurovav/LounisA95, author = {R. Lounis and Marc Ayel}, editor = {Marc Ayel and Marie{-}Christine Rousset}, title = {Completeness of Knowledge-based Systems}, booktitle = {Proceedings of the European Symposium on the Validation and Verification of Knowledge-Based Systems, {EUROVAV} '95, Chamb{\'{e}}ry, France, June 1995}, pages = {31--46}, publisher = {ADERIAS-LIA, Universite de Savoie}, year = {1995}, timestamp = {Thu, 03 Jan 2002 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/eurovav/LounisA95.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/eurovav/PalmerC95, author = {Gareth J. Palmer and Susan Craw}, editor = {Marc Ayel and Marie{-}Christine Rousset}, title = {Utilising Explanation to Assist the Refinement of Knowledge-Based Systems}, booktitle = {Proceedings of the European Symposium on the Validation and Verification of Knowledge-Based Systems, {EUROVAV} '95, Chamb{\'{e}}ry, France, June 1995}, pages = {201--211}, publisher = {ADERIAS-LIA, Universite de Savoie}, year = {1995}, timestamp = {Thu, 03 Jan 2002 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/eurovav/PalmerC95.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/eurovav/PreeceGR95, author = {Alun D. Preece and Clifford Grossner and Thiruvengadam Radhakrishnan}, editor = {Marc Ayel and Marie{-}Christine Rousset}, title = {Validating Rule-Based Systems that Operate with Incomplete Data}, booktitle = {Proceedings of the European Symposium on the Validation and Verification of Knowledge-Based Systems, {EUROVAV} '95, Chamb{\'{e}}ry, France, June 1995}, pages = {77--90}, publisher = {ADERIAS-LIA, Universite de Savoie}, year = {1995}, timestamp = {Thu, 06 Jun 2002 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/eurovav/PreeceGR95.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/eurovav/RabeloRSXLCFOSW95, author = {{\'{A}}lvaro Rabelo Jr. and Ana Regina Rocha and Agnaldo D. de Souza and Antonio A. Ximenes and Nelson Lobo and Dulcineia Carvalho and Jo{\~{a}}o Werther C. S. Filho and K{\'{a}}thia Mar{\c{c}}al de Oliveira and Luiz Agnaldo de Souza and Vera Werneck}, editor = {Marc Ayel and Marie{-}Christine Rousset}, title = {An Expert System for Diagnosis of Acute Myocardial Infarction: Software Quality Assurance Procedures}, booktitle = {Proceedings of the European Symposium on the Validation and Verification of Knowledge-Based Systems, {EUROVAV} '95, Chamb{\'{e}}ry, France, June 1995}, pages = {117--127}, publisher = {ADERIAS-LIA, Universite de Savoie}, year = {1995}, timestamp = {Tue, 16 Jan 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/eurovav/RabeloRSXLCFOSW95.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/eurovav/SchmolzeS95, author = {James G. Schmolze and Wayne Snyder}, editor = {Marc Ayel and Marie{-}Christine Rousset}, title = {A Tool for Testing Confluence of Production Rules}, booktitle = {Proceedings of the European Symposium on the Validation and Verification of Knowledge-Based Systems, {EUROVAV} '95, Chamb{\'{e}}ry, France, June 1995}, pages = {91--104}, publisher = {ADERIAS-LIA, Universite de Savoie}, year = {1995}, timestamp = {Thu, 03 Jan 2002 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/eurovav/SchmolzeS95.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/eurovav/StraatmanB95, author = {Remco Straatman and Pascal Beys}, editor = {Marc Ayel and Marie{-}Christine Rousset}, title = {A Performance Model for Knowledge-Based Systems}, booktitle = {Proceedings of the European Symposium on the Validation and Verification of Knowledge-Based Systems, {EUROVAV} '95, Chamb{\'{e}}ry, France, June 1995}, pages = {253--263}, publisher = {ADERIAS-LIA, Universite de Savoie}, year = {1995}, timestamp = {Thu, 03 Jan 2002 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/eurovav/StraatmanB95.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/eurovav/Todd95, author = {B. S. Todd}, editor = {Marc Ayel and Marie{-}Christine Rousset}, title = {Idempotency as a Correctness Property of Rule Bases}, booktitle = {Proceedings of the European Symposium on the Validation and Verification of Knowledge-Based Systems, {EUROVAV} '95, Chamb{\'{e}}ry, France, June 1995}, pages = {59--75}, publisher = {ADERIAS-LIA, Universite de Savoie}, year = {1995}, timestamp = {Thu, 03 Jan 2002 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/eurovav/Todd95.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/eurovav/TreurW95, author = {Jan Treur and Mark Willems}, editor = {Marc Ayel and Marie{-}Christine Rousset}, title = {Formal Notions for Verification of Dynamics of Knowledge-Based Systems}, booktitle = {Proceedings of the European Symposium on the Validation and Verification of Knowledge-Based Systems, {EUROVAV} '95, Chamb{\'{e}}ry, France, June 1995}, pages = {189--199}, publisher = {ADERIAS-LIA, Universite de Savoie}, year = {1995}, timestamp = {Thu, 03 Jan 2002 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/eurovav/TreurW95.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/eurovav/VanthienenAMW95, author = {Jan Vanthienen and Ann Aerts and Christophe Mues and Geert Wets}, editor = {Marc Ayel and Marie{-}Christine Rousset}, title = {A Modeling Approach to {KBS} Verification}, booktitle = {Proceedings of the European Symposium on the Validation and Verification of Knowledge-Based Systems, {EUROVAV} '95, Chamb{\'{e}}ry, France, June 1995}, pages = {155--171}, publisher = {ADERIAS-LIA, Universite de Savoie}, year = {1995}, timestamp = {Thu, 03 Jan 2002 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/eurovav/VanthienenAMW95.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/eurovav/VermesanM95, author = {Anca I. Vermesan and Sigurd Meldal}, editor = {Marc Ayel and Marie{-}Christine Rousset}, title = {An Algebraic Approach to Refinement of {KBS} Specification}, booktitle = {Proceedings of the European Symposium on the Validation and Verification of Knowledge-Based Systems, {EUROVAV} '95, Chamb{\'{e}}ry, France, June 1995}, pages = {265--276}, publisher = {ADERIAS-LIA, Universite de Savoie}, year = {1995}, timestamp = {Thu, 03 Jan 2002 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/eurovav/VermesanM95.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/eurovav/WendlerA95, author = {Bruno Wendler and Marc Ayel}, editor = {Marc Ayel and Marie{-}Christine Rousset}, title = {Verifying Coherence in Modular Knowledge Bases}, booktitle = {Proceedings of the European Symposium on the Validation and Verification of Knowledge-Based Systems, {EUROVAV} '95, Chamb{\'{e}}ry, France, June 1995}, pages = {173--187}, publisher = {ADERIAS-LIA, Universite de Savoie}, year = {1995}, timestamp = {Thu, 03 Jan 2002 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/eurovav/WendlerA95.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/eurovav/XanthakisR95, author = {Spyros Xanthakis and W. Rabot}, editor = {Marc Ayel and Marie{-}Christine Rousset}, title = {Using Conventional Testing Techniques for {KBS:} An Overview}, booktitle = {Proceedings of the European Symposium on the Validation and Verification of Knowledge-Based Systems, {EUROVAV} '95, Chamb{\'{e}}ry, France, June 1995}, pages = {47--58}, publisher = {ADERIAS-LIA, Universite de Savoie}, year = {1995}, timestamp = {Thu, 03 Jan 2002 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/eurovav/XanthakisR95.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/eurovav/1995, editor = {Marc Ayel and Marie{-}Christine Rousset}, title = {Proceedings of the European Symposium on the Validation and Verification of Knowledge-Based Systems, {EUROVAV} '95, Chamb{\'{e}}ry, France, June 1995}, publisher = {ADERIAS-LIA, Universite de Savoie}, year = {1995}, timestamp = {Tue, 19 Jun 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/eurovav/1995.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/eurovav/AntoniouS93, author = {Grigoris Antoniou and Volker Sperschneider}, editor = {Jes{\'{u}}s Carde{\~{n}}osa Lera and Pedro Meseguer}, title = {On the Verification of Modular Logical Knowledge Bases}, booktitle = {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}, pages = {117--128}, publisher = {Universidad Polit{\'{e}}cnica de Madrid}, year = {1993}, timestamp = {Mon, 16 Nov 2020 08:57:08 +0100}, biburl = {https://dblp.org/rec/conf/eurovav/AntoniouS93.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/eurovav/Blondeau93, author = {Richard Blondeau}, editor = {Jes{\'{u}}s Carde{\~{n}}osa Lera and Pedro Meseguer}, title = {Towards a Validation Methodology of {KBS}}, booktitle = {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}, pages = {325--336}, publisher = {Universidad Polit{\'{e}}cnica de Madrid}, year = {1993}, timestamp = {Thu, 03 Jan 2002 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/eurovav/Blondeau93.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/eurovav/BorrajoA93, author = {Daniel Borrajo and Ang{\'{e}}lica de Antonio}, editor = {Jes{\'{u}}s Carde{\~{n}}osa Lera and Pedro Meseguer}, title = {Cooperation of Machine Learning and Validation}, booktitle = {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}, pages = {277--291}, publisher = {Universidad Polit{\'{e}}cnica de Madrid}, year = {1993}, timestamp = {Thu, 03 Jan 2002 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/eurovav/BorrajoA93.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/eurovav/CanameroGM93, author = {Dolores Ca{\~{n}}amero and Sabine Geldof and Agnus McIntyre}, editor = {Jes{\'{u}}s Carde{\~{n}}osa Lera and Pedro Meseguer}, title = {Coupling Modeling and Validation in {COMMET}}, booktitle = {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}, pages = {191--205}, publisher = {Universidad Polit{\'{e}}cnica de Madrid}, year = {1993}, timestamp = {Thu, 03 Jan 2002 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/eurovav/CanameroGM93.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/eurovav/CardenosaJ93, author = {Jes{\'{u}}s Carde{\~{n}}osa Lera and Natalia Juristo Juzgado}, editor = {Jes{\'{u}}s Carde{\~{n}}osa Lera and Pedro Meseguer}, title = {General Overview of the {VALID} Project}, booktitle = {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}, pages = {53--67}, publisher = {Universidad Polit{\'{e}}cnica de Madrid}, year = {1993}, timestamp = {Mon, 16 Nov 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/eurovav/CardenosaJ93.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/eurovav/CasamayorMD93, author = {Juan Carlos Casamayor and Francisco Marqu{\'{e}}s and Hendrik Decker}, editor = {Jes{\'{u}}s Carde{\~{n}}osa Lera and Pedro Meseguer}, title = {A Mechanism for Verification of Knowledge Base Scheme Specifications}, booktitle = {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}, pages = {103--115}, publisher = {Universidad Polit{\'{e}}cnica de Madrid}, year = {1993}, timestamp = {Thu, 03 Jan 2002 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/eurovav/CasamayorMD93.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/eurovav/CrawS93, author = {Susan Craw and Derek H. Sleeman}, editor = {Jes{\'{u}}s Carde{\~{n}}osa Lera and Pedro Meseguer}, title = {Refinement in Response to Validation}, booktitle = {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}, pages = {85--99}, publisher = {Universidad Polit{\'{e}}cnica de Madrid}, year = {1993}, timestamp = {Thu, 03 Jan 2002 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/eurovav/CrawS93.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/eurovav/DuursmaSC93, author = {Cuno Duursma and Ronald Schrooten and Dolores Ca{\~{n}}amero}, editor = {Jes{\'{u}}s Carde{\~{n}}osa Lera and Pedro Meseguer}, title = {Model Ontology Requirements for Domain Model Validation}, booktitle = {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}, pages = {175--189}, publisher = {Universidad Polit{\'{e}}cnica de Madrid}, year = {1993}, timestamp = {Thu, 03 Jan 2002 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/eurovav/DuursmaSC93.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/eurovav/Gibet93, author = {Laurent Gibet}, editor = {Jes{\'{u}}s Carde{\~{n}}osa Lera and Pedro Meseguer}, title = {Validation of KBSs: Towards a Methodological Approach for Space Applications}, booktitle = {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}, pages = {337--347}, publisher = {Universidad Polit{\'{e}}cnica de Madrid}, year = {1993}, timestamp = {Thu, 03 Jan 2002 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/eurovav/Gibet93.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/eurovav/HaoucheL93, author = {Corinne Haouche and Inser Lamsade}, editor = {Jes{\'{u}}s Carde{\~{n}}osa Lera and Pedro Meseguer}, title = {Using a Conceptual Model to Validate KBSs}, booktitle = {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}, pages = {161--173}, publisher = {Universidad Polit{\'{e}}cnica de Madrid}, year = {1993}, timestamp = {Thu, 03 Jan 2002 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/eurovav/HaoucheL93.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/eurovav/Herre93, author = {Heinrich Herre}, editor = {Jes{\'{u}}s Carde{\~{n}}osa Lera and Pedro Meseguer}, title = {Semantical Completeness of Model-Based Diagnosis}, booktitle = {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}, pages = {217--229}, publisher = {Universidad Polit{\'{e}}cnica de Madrid}, year = {1993}, timestamp = {Thu, 03 Jan 2002 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/eurovav/Herre93.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/eurovav/HorsR93, author = {Pascale Hors and Marie{-}Christine Rousset}, editor = {Jes{\'{u}}s Carde{\~{n}}osa Lera and Pedro Meseguer}, title = {Consistency of Structured Knowledge: {A} Formal Framework Based on Description Logics}, booktitle = {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}, pages = {231--245}, publisher = {Universidad Polit{\'{e}}cnica de Madrid}, year = {1993}, timestamp = {Thu, 03 Jan 2002 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/eurovav/HorsR93.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/eurovav/Kinielele93, author = {Dieudonn{\'{e}} Kinielele}, editor = {Jes{\'{u}}s Carde{\~{n}}osa Lera and Pedro Meseguer}, title = {On the Consistency of Fuzzy Knowledge Bases}, booktitle = {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}, pages = {247--261}, publisher = {Universidad Polit{\'{e}}cnica de Madrid}, year = {1993}, timestamp = {Thu, 03 Jan 2002 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/eurovav/Kinielele93.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/eurovav/LaitaLPR93, author = {Luis M. Laita and Luis de Ledesma and Aurora P{\'{e}}rez and Betty Ram{\'{\i}}rez}, editor = {Jes{\'{u}}s Carde{\~{n}}osa Lera and Pedro Meseguer}, title = {A Formal Study of Forward Reasoning Consistency on KBSs}, booktitle = {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}, pages = {209--216}, publisher = {Universidad Polit{\'{e}}cnica de Madrid}, year = {1993}, timestamp = {Thu, 03 Jan 2002 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/eurovav/LaitaLPR93.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/eurovav/Liebowitz93, author = {Jay Liebowitz}, editor = {Jes{\'{u}}s Carde{\~{n}}osa Lera and Pedro Meseguer}, title = {Expert System Verification and Validation: Issues and {U.S.} Activities}, booktitle = {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}, pages = {19--27}, publisher = {Universidad Polit{\'{e}}cnica de Madrid}, year = {1993}, timestamp = {Thu, 03 Jan 2002 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/eurovav/Liebowitz93.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/eurovav/Lounis93, author = {Hakim Lounis}, editor = {Jes{\'{u}}s Carde{\~{n}}osa Lera and Pedro Meseguer}, title = {Knowledge-Based Systems Verification: {A} Machine Learning-Based Approach}, booktitle = {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}, pages = {265--276}, publisher = {Universidad Polit{\'{e}}cnica de Madrid}, year = {1993}, timestamp = {Thu, 03 Jan 2002 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/eurovav/Lounis93.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/eurovav/PhelpsAF93, author = {R. Phelps and W. Aerts and J.{-}M. For{\^{e}}t}, editor = {Jes{\'{u}}s Carde{\~{n}}osa Lera and Pedro Meseguer}, title = {Improving Validation and Verification of KBSs through Naturally Comprehensible Flow Representations}, booktitle = {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}, pages = {293--309}, publisher = {Universidad Polit{\'{e}}cnica de Madrid}, year = {1993}, timestamp = {Thu, 03 Jan 2002 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/eurovav/PhelpsAF93.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/eurovav/Renault93, author = {Sophie Renault}, editor = {Jes{\'{u}}s Carde{\~{n}}osa Lera and Pedro Meseguer}, title = {Validation of Stratified Logic Programs: Methodology and Practical Experience}, booktitle = {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}, pages = {143--157}, publisher = {Universidad Polit{\'{e}}cnica de Madrid}, year = {1993}, timestamp = {Thu, 03 Jan 2002 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/eurovav/Renault93.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/eurovav/RougeLBL93, author = {Alain Rouge and Jean Yves Lapicque and Florent Brossier and Yves Lozinguez}, editor = {Jes{\'{u}}s Carde{\~{n}}osa Lera and Pedro Meseguer}, title = {Validation and Verification of {KADS} Data and Domain Knowledge}, booktitle = {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}, pages = {69--83}, publisher = {Universidad Polit{\'{e}}cnica de Madrid}, year = {1993}, timestamp = {Thu, 03 Jan 2002 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/eurovav/RougeLBL93.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/eurovav/VicatBN93, author = {Catherine Vicat and Patrick Br{\'{e}}zillon and Christian Nottola}, editor = {Jes{\'{u}}s Carde{\~{n}}osa Lera and Pedro Meseguer}, title = {Knowledge Validation in the Building of a {KBS}}, booktitle = {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}, pages = {311--323}, publisher = {Universidad Polit{\'{e}}cnica de Madrid}, year = {1993}, timestamp = {Tue, 18 Jun 2002 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/eurovav/VicatBN93.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/eurovav/WendlerVT93, author = {Bruno Wendler and Laurence Vignollet and Stephane Talbot}, editor = {Jes{\'{u}}s Carde{\~{n}}osa Lera and Pedro Meseguer}, title = {Computing Partial Labels in {KBS} Validation Tools}, booktitle = {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}, pages = {129--141}, publisher = {Universidad Polit{\'{e}}cnica de Madrid}, year = {1993}, timestamp = {Thu, 03 Jan 2002 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/eurovav/WendlerVT93.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/eurovav/WielingaAS93, author = {Bob J. Wielinga and Hans Akkermans and Guus Schreiber}, editor = {Jes{\'{u}}s Carde{\~{n}}osa Lera and Pedro Meseguer}, title = {Validation and Verification of Knowledge Models}, booktitle = {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}, pages = {29--50}, publisher = {Universidad Polit{\'{e}}cnica de Madrid}, year = {1993}, timestamp = {Thu, 03 Jan 2002 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/eurovav/WielingaAS93.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/eurovav/X93, editor = {Jes{\'{u}}s Carde{\~{n}}osa Lera and Pedro Meseguer}, title = {Symposium Organization, Contents, Foreword, Index}, booktitle = {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}, pages = {5--15}, publisher = {Universidad Polit{\'{e}}cnica de Madrid}, year = {1993}, timestamp = {Thu, 03 Jan 2002 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/eurovav/X93.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/eurovav/1993, editor = {Jes{\'{u}}s Carde{\~{n}}osa Lera and Pedro Meseguer}, title = {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}, publisher = {Universidad Polit{\'{e}}cnica de Madrid}, year = {1993}, isbn = {84-604-5817-2}, timestamp = {Mon, 16 Nov 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/eurovav/1993.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/eurovav/AgustiPS91, author = {Jaume Agust{\'{\i}}{-}Cullell and Enric Plaza and Carles Sierra}, editor = {Matthew Grisoni}, title = {Verification by Construction in {MILORD}}, booktitle = {Proceedings of the European Workshop on the Verification and Validation of Knowledge-Based Systems, EUROVAV-91, Jesus College, Cambridge, England, July 22-24, 1991}, pages = {211--226}, publisher = {Logica Ltd., Cambridge, {UK}}, year = {1991}, timestamp = {Thu, 18 Jul 2002 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/eurovav/AgustiPS91.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/eurovav/BelancheC91, author = {Llu{\'{\i}}s Belanche and Ulises Cort{\'{e}}s}, editor = {Matthew Grisoni}, title = {The Nought Attributes in Knowledge-Based Systems}, booktitle = {Proceedings of the European Workshop on the Verification and Validation of Knowledge-Based Systems, EUROVAV-91, Jesus College, Cambridge, England, July 22-24, 1991}, pages = {77--102}, publisher = {Logica Ltd., Cambridge, {UK}}, year = {1991}, timestamp = {Wed, 06 Nov 2002 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/eurovav/BelancheC91.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/eurovav/Bench-CaponC91, author = {Trevor J. M. Bench{-}Capon and Frans Coenen}, editor = {Matthew Grisoni}, title = {Two Aspects of the Validation and Verification of Knowledge Based Systems}, booktitle = {Proceedings of the European Workshop on the Verification and Validation of Knowledge-Based Systems, EUROVAV-91, Jesus College, Cambridge, England, July 22-24, 1991}, pages = {125--132}, publisher = {Logica Ltd., Cambridge, {UK}}, year = {1991}, timestamp = {Thu, 03 Jan 2002 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/eurovav/Bench-CaponC91.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/eurovav/Brunessaux91, author = {L. Brunessaux}, editor = {Matthew Grisoni}, title = {A Pragmatic Approach to Validation: The Industrial Experience of {ALPIN}}, booktitle = {Proceedings of the European Workshop on the Verification and Validation of Knowledge-Based Systems, EUROVAV-91, Jesus College, Cambridge, England, July 22-24, 1991}, pages = {259--261}, publisher = {Logica Ltd., Cambridge, {UK}}, year = {1991}, timestamp = {Thu, 03 Jan 2002 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/eurovav/Brunessaux91.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/eurovav/ByrneD91, author = {D. Byrne and J. Dewar}, editor = {Matthew Grisoni}, title = {The Data Fusion Technology Demonstrator Programme: Validation of the Knowledge Base}, booktitle = {Proceedings of the European Workshop on the Verification and Validation of Knowledge-Based Systems, EUROVAV-91, Jesus College, Cambridge, England, July 22-24, 1991}, pages = {279--286}, publisher = {Logica Ltd., Cambridge, {UK}}, year = {1991}, timestamp = {Thu, 03 Jan 2002 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/eurovav/ByrneD91.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/eurovav/CastilloB91, author = {Ver{\'{o}}nica Canivell Castillo and Anselmo del Moral Bueno}, editor = {Matthew Grisoni}, title = {Evaluation of Knowledge Bases: An Application to Pneumonia}, booktitle = {Proceedings of the European Workshop on the Verification and Validation of Knowledge-Based Systems, EUROVAV-91, Jesus College, Cambridge, England, July 22-24, 1991}, pages = {179--193}, publisher = {Logica Ltd., Cambridge, {UK}}, year = {1991}, timestamp = {Thu, 03 Jan 2002 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/eurovav/CastilloB91.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/eurovav/EvertszM91, author = {Rick Evertsz and Enrico Motta}, editor = {Matthew Grisoni}, title = {The Abstract Interpretation of Hybrid Rule/Frame-Based Systems}, booktitle = {Proceedings of the European Workshop on the Verification and Validation of Knowledge-Based Systems, EUROVAV-91, Jesus College, Cambridge, England, July 22-24, 1991}, pages = {39--53}, publisher = {Logica Ltd., Cambridge, {UK}}, year = {1991}, timestamp = {Thu, 03 Jan 2002 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/eurovav/EvertszM91.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/eurovav/Grisoni91, author = {Matthew Grisoni}, editor = {Matthew Grisoni}, title = {Foreword}, booktitle = {Proceedings of the European Workshop on the Verification and Validation of Knowledge-Based Systems, EUROVAV-91, Jesus College, Cambridge, England, July 22-24, 1991}, publisher = {Logica Ltd., Cambridge, {UK}}, year = {1991}, timestamp = {Thu, 03 Jan 2002 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/eurovav/Grisoni91.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/eurovav/Grisoni91a, author = {Matthew Grisoni}, editor = {Matthew Grisoni}, title = {Building Competent Knowledge Based Systems}, booktitle = {Proceedings of the European Workshop on the Verification and Validation of Knowledge-Based Systems, EUROVAV-91, Jesus College, Cambridge, England, July 22-24, 1991}, pages = {239--245}, publisher = {Logica Ltd., Cambridge, {UK}}, year = {1991}, timestamp = {Thu, 03 Jan 2002 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/eurovav/Grisoni91a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/eurovav/HoppeM91, author = {Thomas Hoppe and Pedro Meseguer}, editor = {Matthew Grisoni}, title = {On the Terminology of {VVT}}, booktitle = {Proceedings of the European Workshop on the Verification and Validation of Knowledge-Based Systems, EUROVAV-91, Jesus College, Cambridge, England, July 22-24, 1991}, pages = {3--13}, publisher = {Logica Ltd., Cambridge, {UK}}, year = {1991}, timestamp = {Thu, 03 Jan 2002 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/eurovav/HoppeM91.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/eurovav/JenkinsP91, author = {Peter Jenkins and Enric Plaza}, editor = {Matthew Grisoni}, title = {Co-Chairmen's Introduction}, booktitle = {Proceedings of the European Workshop on the Verification and Validation of Knowledge-Based Systems, EUROVAV-91, Jesus College, Cambridge, England, July 22-24, 1991}, publisher = {Logica Ltd., Cambridge, {UK}}, year = {1991}, timestamp = {Thu, 03 Jan 2002 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/eurovav/JenkinsP91.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/eurovav/Krause91, author = {Paul Krause}, editor = {Matthew Grisoni}, title = {Can We formally Specify a Medical Decision Support System?}, booktitle = {Proceedings of the European Workshop on the Verification and Validation of Knowledge-Based Systems, EUROVAV-91, Jesus College, Cambridge, England, July 22-24, 1991}, pages = {247--258}, publisher = {Logica Ltd., Cambridge, {UK}}, year = {1991}, timestamp = {Thu, 03 Jan 2002 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/eurovav/Krause91.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/eurovav/LaitaCL91, author = {Luis M. Laita and Julia Couto and Luis de Ledesma}, editor = {Matthew Grisoni}, title = {A Formal Study of Consistency of KBSs}, booktitle = {Proceedings of the European Workshop on the Verification and Validation of Knowledge-Based Systems, EUROVAV-91, Jesus College, Cambridge, England, July 22-24, 1991}, pages = {31--38}, publisher = {Logica Ltd., Cambridge, {UK}}, year = {1991}, timestamp = {Fri, 05 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/eurovav/LaitaCL91.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/eurovav/Martin-Mattei91, author = {Cath{\'{e}}rine Martin{-}Mattei}, editor = {Matthew Grisoni}, title = {Validation, Verification and Testing: Procedures in the Life Cycle of Knowledge-Based Systems}, booktitle = {Proceedings of the European Workshop on the Verification and Validation of Knowledge-Based Systems, EUROVAV-91, Jesus College, Cambridge, England, July 22-24, 1991}, pages = {15--29}, publisher = {Logica Ltd., Cambridge, {UK}}, year = {1991}, timestamp = {Thu, 03 Jan 2002 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/eurovav/Martin-Mattei91.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/eurovav/Mengshoel91, author = {Ole J. Mengshoel}, editor = {Matthew Grisoni}, title = {{KVAT:} {A} Tool for Incremental Knowledge Validation in a Knowledge Engineering Workbench}, booktitle = {Proceedings of the European Workshop on the Verification and Validation of Knowledge-Based Systems, EUROVAV-91, Jesus College, Cambridge, England, July 22-24, 1991}, pages = {133--146}, publisher = {Logica Ltd., Cambridge, {UK}}, year = {1991}, timestamp = {Thu, 03 Jan 2002 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/eurovav/Mengshoel91.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/eurovav/Meseguer91, author = {Pedro Meseguer}, editor = {Matthew Grisoni}, title = {Structural and Performance Metrics for Rule-Based Expert Systems}, booktitle = {Proceedings of the European Workshop on the Verification and Validation of Knowledge-Based Systems, EUROVAV-91, Jesus College, Cambridge, England, July 22-24, 1991}, pages = {165--178}, publisher = {Logica Ltd., Cambridge, {UK}}, year = {1991}, timestamp = {Thu, 03 Jan 2002 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/eurovav/Meseguer91.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/eurovav/Pearce91, author = {Danny A. Pearce}, editor = {Matthew Grisoni}, title = {A Model Based Approach to Validation}, booktitle = {Proceedings of the European Workshop on the Verification and Validation of Knowledge-Based Systems, EUROVAV-91, Jesus College, Cambridge, England, July 22-24, 1991}, pages = {55--67}, publisher = {Logica Ltd., Cambridge, {UK}}, year = {1991}, timestamp = {Fri, 05 Feb 2016 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/eurovav/Pearce91.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/eurovav/PetitjeanBV91, author = {Sylvain Petitjean and L. Brunessaux and Jean{-}Philippe Vaudet}, editor = {Matthew Grisoni}, title = {Three Pragmatic Tools for the Validation of Knowledge-Based Systems}, booktitle = {Proceedings of the European Workshop on the Verification and Validation of Knowledge-Based Systems, EUROVAV-91, Jesus College, Cambridge, England, July 22-24, 1991}, pages = {111--123}, publisher = {Logica Ltd., Cambridge, {UK}}, year = {1991}, timestamp = {Thu, 03 Jan 2002 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/eurovav/PetitjeanBV91.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/eurovav/PolatG91, author = {Faruk Polat and H. Altay G{\"{u}}venir}, editor = {Matthew Grisoni}, title = {{UVT:} {A} Unification Based Tool for Knowledge Base Verification}, booktitle = {Proceedings of the European Workshop on the Verification and Validation of Knowledge-Based Systems, EUROVAV-91, Jesus College, Cambridge, England, July 22-24, 1991}, pages = {147--163}, publisher = {Logica Ltd., Cambridge, {UK}}, year = {1991}, timestamp = {Thu, 03 Jan 2002 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/eurovav/PolatG91.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/eurovav/SebagS91, author = {Mich{\`{e}}le Sebag and Marc Schoenauer}, editor = {Matthew Grisoni}, title = {Using Examples to Refine a Redundant Knowledge Base}, booktitle = {Proceedings of the European Workshop on the Verification and Validation of Knowledge-Based Systems, EUROVAV-91, Jesus College, Cambridge, England, July 22-24, 1991}, pages = {227--236}, publisher = {Logica Ltd., Cambridge, {UK}}, year = {1991}, timestamp = {Wed, 27 Feb 2002 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/eurovav/SebagS91.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/eurovav/Shadbolt91, author = {Nigel Shadbolt}, editor = {Matthew Grisoni}, title = {Building Valid Knowledge Bases: An ACKnowledge Perspective}, booktitle = {Proceedings of the European Workshop on the Verification and Validation of Knowledge-Based Systems, EUROVAV-91, Jesus College, Cambridge, England, July 22-24, 1991}, pages = {195--210}, publisher = {Logica Ltd., Cambridge, {UK}}, year = {1991}, timestamp = {Thu, 03 Jan 2002 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/eurovav/Shadbolt91.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/eurovav/Someren91, author = {Maarten van Someren}, editor = {Matthew Grisoni}, title = {Structural and Formative Validation of Knowledge Bases}, booktitle = {Proceedings of the European Workshop on the Verification and Validation of Knowledge-Based Systems, EUROVAV-91, Jesus College, Cambridge, England, July 22-24, 1991}, pages = {103--108}, publisher = {Logica Ltd., Cambridge, {UK}}, year = {1991}, timestamp = {Thu, 03 Jan 2002 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/eurovav/Someren91.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/eurovav/TalbotA91, author = {Stephane Talbot and Marc Ayel}, editor = {Matthew Grisoni}, title = {Consistency and Rules Subject to Exceptions}, booktitle = {Proceedings of the European Workshop on the Verification and Validation of Knowledge-Based Systems, EUROVAV-91, Jesus College, Cambridge, England, July 22-24, 1991}, pages = {69--75}, publisher = {Logica Ltd., Cambridge, {UK}}, year = {1991}, timestamp = {Thu, 03 Jan 2002 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/eurovav/TalbotA91.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/eurovav/1991, editor = {Matthew Grisoni}, title = {Proceedings of the European Workshop on the Verification and Validation of Knowledge-Based Systems, EUROVAV-91, Jesus College, Cambridge, England, July 22-24, 1991}, publisher = {Logica Ltd., Cambridge, {UK}}, year = {1991}, timestamp = {Thu, 03 Jan 2002 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/eurovav/1991.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
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.