Search dblp for Publications

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

 download as .bib file

@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}
}
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.