![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
Search dblp for Publications
export results for "toc:db/conf/eurovav/eurovav1993.bht:"
@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} }
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.