Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "stream:streams/conf/eurovav:"
download as .bib file
@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}
}
a service of 
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.
retrieved on 2024-04-25 11:43 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
