Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/conf/eurovav/eurovav1999.bht:"
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}
}
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 08:45 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:
