Search dblp for Publications

export results for "toc:db/conf/eurovav/eurovav1993.bht:"

 download as .bib file

@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}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

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.