Search results for "EUROVAV"

Hits ?▲	Authors	Title	Venue	Year	Link
1	Mieczyslaw L. Owoc, Malgorzata Ochmanska, Tomasz Gladysz	On Principles of Knowledge Validation.	EUROVAV	1999	DBLP BibTeX RDF
1	Anca I. Vermesan, Jarle Sjøvag, Per Martinsen, Keith Bell	Verification and Validation in Support for Software Certification Methods.	EUROVAV	1999	DBLP BibTeX RDF
1	Michael Schroeder 0001	Verification of Business Processes for a Correspondence Handling Center Using CCS.	EUROVAV	1999	DBLP BibTeX RDF
1	Antoni Ligeza	Intelligent Data and Knowledge Analysis and Verification: Towards a Taxonomy of Some Specific Problems.	EUROVAV	1999	DBLP BibTeX RDF
1	Francisco Loforte Ribeiro	Verification and Validation of a Multistrategy Knowledge-Based System.	EUROVAV	1999	DBLP BibTeX RDF
1	Jan Vanthienen, Ana María Moreno García	Illustrating Knowledge Base Restructuring and Verification in a Real World Application.	EUROVAV	1999	DBLP BibTeX RDF
1	Juliette Dibie-Barthélemy, Ollivier Haemmerlé, Stéphane Loiseau	Constraints for Validation of Conceptual Graphs.	EUROVAV	1999	DBLP BibTeX RDF
1	Florence Sellini, Pierre-Alain Yvars	A Priori Verification of Product Models in Mechanical Design.	EUROVAV	1999	DBLP BibTeX RDF
1	Giovanna Dondossola	Formal Methods for the Engineering and Certification of Safety-critical Knowledge-based Systems.	EUROVAV	1999	DBLP BibTeX RDF
1	Jeffrey M. Voas	User Participation-based Software Certification.	EUROVAV	1999	DBLP BibTeX RDF
1	Trevor J. M. Bench-Capon, Dean M. Jones	PRONTO - Ontology-based Evaluation of Knowledge Based Systems.	EUROVAV	1999	DBLP BibTeX RDF
1	Florence Dupin de Saint-Cyr, Stéphane Loiseau	Validation and Refinement versus Revision.	EUROVAV	1999	DBLP BibTeX RDF
1	Robin Boswell, Susan Craw	Organising Knowledge Refinement Operators.	EUROVAV	1999	DBLP BibTeX RDF
1	Jesús Cardeñosa Lera, David Escorial	KBS First Prototype V&V Process Plan as a Way to Produce Reliable Requirements.	EUROVAV	1999	DBLP BibTeX RDF
1	Rune Steinberg, Roar A. Fjellheim, Stale A. Olsen	Design Patterns for Safety-critical Knowledge Based Systems.	EUROVAV	1999	DBLP BibTeX RDF
1	Luis M. Laita, Eugenio Roanes-Lozano, Victor Maojo, Luis de Ledesma	Computer Algebra Based Verification and Knowledge Extraction in RBS - Application to Medical Fitness Criteria.	EUROVAV	1999	DBLP BibTeX RDF
1	Silvie Spreeuwenberg, Rik Gerrits	A Knowledge Based Tool to Validate and Verify an Aion Knowledge Base.	EUROVAV	1999	DBLP BibTeX RDF
1	Nayyer Masood, Barry Eaglestone	Ontology-based Verification and Validation of Federated Database Systems.	EUROVAV	1999	DBLP BibTeX RDF
1	Jorge Santos 0001, Carlos Ramos 0001, Zita A. Vale, Albino Marques	Validation and Verification of Knowlege-Based Systems for Power Systzem Control Centres.	EUROVAV	1999	DBLP BibTeX RDF
1	Frans Coenen, Barry Eaglestone, Mick J. Ridley	Verification, Validation and Integrity in Knowledge and Database Systems: Future Directions.	EUROVAV	1999	DBLP BibTeX RDF
1	Éric Grégoire	Progressive Instantiation for the Logical Validation of Nonmonotonic KBs.	EUROVAV	1999	DBLP BibTeX RDF
1	Nirmalie Wiratunga, Susan Craw	Incorporating Backtracking Search with Knowledge Refinement.	EUROVAV	1999	DBLP BibTeX RDF
1	Anca I. Vermesan, Frans Coenen (eds.)	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	EUROVAV	1999	DBLP BibTeX RDF
1	Anca I. Vermesan, Frode Høgberg	Applicability of Conventional Software Verification and Validation to Knowledge-based Components: A Qualitative Assessment.	EUROVAV	1999	DBLP BibTeX RDF
1	Giovanna Dondossola	Formal methods in the development of safety critical Knowledge-Based components.	EUROVAV	1998	DBLP BibTeX RDF
1	Frank van Harmelen (eds.)	1998 European Workshop on Validation and Verification of Knowledge-Based Systems, EUROVAV@KR 1998, IRST, Povo, Trento, Italy June 6-8, 1998	EUROVAV	1998	DBLP BibTeX RDF
1	Jaime Ramírez, Angélica de Antonio	MECORI: a method for knowledge base semantic verification based on integrity constraints.	EUROVAV	1998	DBLP BibTeX RDF
1	Catholijn M. Jonker, Jan Treur, Wieke de Vries	Compositional Verification of Agents in Dynamic Environments: a Case Study.	EUROVAV	1998	DBLP BibTeX RDF
1	Georg Duftschmid, Silvia Miksch, Yuval Shahar, Peter D. Johnson 0001	Multi-Level Verification of Clinical Protocols.	EUROVAV	1998	DBLP BibTeX RDF
1	Massimo Benerecetti, Fausto Giunchiglia, Luciano Serafini	Multiagent Systems Verification via Model Checking.	EUROVAV	1998	DBLP BibTeX RDF
1	Tim Menzies, Sam Waugh	Lower Bounds on the Size of Test Data Sets.	EUROVAV	1998	DBLP BibTeX RDF
1	Francky Trichet, Pierre Tchounikine	Verifying and Validating a Task/Method Knowledge-Base.	EUROVAV	1998	DBLP BibTeX RDF
1	Frank van Harmelen, Annette ten Teije	Characterising approximate problem solving: by partially fulfilled pre- and postconditions.	EUROVAV	1998	DBLP BibTeX RDF
1	Josefina Sierra	Declarative Formalization of Heuristics.	EUROVAV	1998	DBLP BibTeX RDF
1	Geert Wets, Jan Vanthienen, Christophe Mues, Harry J. P. Timmermans	Extracting complete and consistent knowledge patterns from data.	EUROVAV	1998	DBLP BibTeX RDF
1	Nico Jacobs, Kurt Driessens, Luc De Raedt	Inductive verification and validation of multi agent systems.	EUROVAV	1998	DBLP BibTeX RDF
1	Zita A. Vale, Carlos Ramos 0001, Jorge Santos 0001, M. Fernanda Fernandes, Couto Rosado, Albino Marques	Knowledge-Based Systems for power system control centers: validation and verification?	EUROVAV	1998	DBLP BibTeX RDF
1	Antoni Ligeza	Logical Analysis of Completeness of Rule-Based Systems with Dual Resolution.	EUROVAV	1997	DBLP BibTeX RDF
1	Frans Coenen, Paul E. Dunne	The Verification and Validation of Rulebases Using a Binary Encoded Incidence Matrix Technique.	EUROVAV	1997	DBLP BibTeX RDF
1	Alon Y. Levy, Marie-Christine Rousset	Verification of Knowledge Bases: a Unifying Logical View.	EUROVAV	1997	DBLP BibTeX RDF
1	Dieter Fensel, Arno Schönegge	Specifying and Verifying Knowledge-Based Systems with KIV.	EUROVAV	1997	DBLP BibTeX RDF
1	Marie-Christine Rousset	Verifying the World Wide Web: a Position Statement.	EUROVAV	1997	DBLP BibTeX RDF
1	Florence Sellini, Catalina Vargas, Pierre-Alain Yvars	Considerations About Validation of Knowledge Models in KBE Systems.	EUROVAV	1997	DBLP BibTeX RDF
1	Luc De Raedt	Machine Learning for Verification and Validation.	EUROVAV	1997	DBLP BibTeX RDF
1	Fatma Bouali, Stéphane Loiseau, Marie-Christine Rousset	Revision of Rule Bases.	EUROVAV	1997	DBLP BibTeX RDF
1	Frank Cornelissen, Catholijn M. Jonker, Jan Treur	Compositional Verification of Knowledge-based Systems: a Case Study in Diagnostic Reasoning.	EUROVAV	1997	DBLP BibTeX RDF
1	Frank van Harmelen, Annette ten Teije	Validation and Verification of Conceptual Models of Diagnosis.	EUROVAV	1997	DBLP BibTeX RDF
1	Luis Talavera, Ulises Cortés	Inductive Hypothesis Validation and Bias Selection in Unsupervised Learning.	EUROVAV	1997	DBLP BibTeX RDF
1	Jan Vanthienen, Frank van Harmelen (eds.)	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	EUROVAV	1997	DBLP BibTeX RDF
1	Selwyn Piramuthu	Feature Construction for Verification and Validation of Tabular Knowledge Base Systems.	EUROVAV	1997	DBLP BibTeX RDF
1	Mar Marcos, Sabine Moisan, Angel P. del Pobil	A Model-based Approach to the Verification of Program Supervision Systems.	EUROVAV	1997	DBLP BibTeX RDF
1	Gareth J. Palmer, Susan Craw	The Selection of Training Cases for Automated Knowledge Refinement.	EUROVAV	1997	DBLP BibTeX RDF
1	Akram Ibrahim Salah, Manal Ahmed Ismail	Object Oriented Knowledge Engineering: A Formal Approach for Verification.	EUROVAV	1997	DBLP BibTeX RDF
1	Gertjan Beijer	Validation and Verification of Knowledge Based Systems: a Practitioner's View.	EUROVAV	1997	DBLP BibTeX RDF
1	Tim Menzies, Robert F. Cohen	A Graph Theoretic Optimisation of Temporal Abductive Validation.	EUROVAV	1997	DBLP BibTeX RDF
1	Jan Vanthienen, Christophe Mues, Geert Wets	Inter-Tabular Verification in an Interactive Environment.	EUROVAV	1997	DBLP BibTeX RDF
1	Amar Bendou, Marc Ayel	A Symbolic Execution Based Approach for Inspecting Knowledge Bases.	EUROVAV	1997	DBLP BibTeX RDF
1	Mysore Ramaswamy, Sumit Sarkar	Global Verification of Knowledge Based Systems via Local Verification of Partitions.	EUROVAV	1997	DBLP BibTeX RDF
1	Anca I. Vermesan	Knowledge-Based Systems: Verification and Validation in the view of Certification.	EUROVAV	1997	DBLP BibTeX RDF
1	B. S. Todd	Idempotency as a Correctness Property of Rule Bases.	EUROVAV	1995	DBLP BibTeX RDF
1	Jan Treur, Mark Willems	Formal Notions for Verification of Dynamics of Knowledge-Based Systems.	EUROVAV	1995	DBLP BibTeX RDF
1	John Domingue	Software Visualization Based KBS Validation.	EUROVAV	1995	DBLP BibTeX RDF
1	Bruno Wendler, Marc Ayel	Verifying Coherence in Modular Knowledge Bases.	EUROVAV	1995	DBLP BibTeX RDF
1	Anca I. Vermesan, Sigurd Meldal	An Algebraic Approach to Refinement of KBS Specification.	EUROVAV	1995	DBLP BibTeX RDF
1	Marc Ayel, Ruth Stalker	Mutants in the KBS Testing Process.	EUROVAV	1995	DBLP BibTeX RDF
1	Marc Ayel, Marie-Christine Rousset (eds.)	Proceedings of the European Symposium on the Validation and Verification of Knowledge-Based Systems, EUROVAV '95, Chambéry, France, June 1995	EUROVAV	1995	DBLP BibTeX RDF
1	Remco Straatman, Pascal Beys	A Performance Model for Knowledge-Based Systems.	EUROVAV	1995	DBLP BibTeX RDF
1	Spyros Xanthakis, W. Rabot	Using Conventional Testing Techniques for KBS: An Overview.	EUROVAV	1995	DBLP BibTeX RDF
1	James G. Schmolze, Wayne Snyder	A Tool for Testing Confluence of Production Rules.	EUROVAV	1995	DBLP BibTeX RDF
1	J. Hoelter, C. Rittano, G. Velay	Verification and Validation Tools in JHExpert.	EUROVAV	1995	DBLP BibTeX RDF
1	Alun D. Preece, Clifford Grossner, Thiruvengadam Radhakrishnan	Validating Rule-Based Systems that Operate with Incomplete Data.	EUROVAV	1995	DBLP BibTeX RDF
1	Amar Bendou	CT-DATAGEN: A Constraint Based Test Data Generator.	EUROVAV	1995	DBLP BibTeX RDF
1	Knut Hinkelmann, Otto Kühn	Revising and Updating a Corporate Memory.	EUROVAV	1995	DBLP BibTeX RDF
1	P. Boulitreau-Lefevre, Gilles Kassel	Modelling Validation Seen as a Set of Problem Solving Tasks.	EUROVAV	1995	DBLP BibTeX RDF
1	Corinne Haouche, Jean Charlet	Using a KADS Inference Structure to Test a KBS Behaviour.	EUROVAV	1995	DBLP BibTeX RDF
1	Álvaro Rabelo Jr., Ana Regina Rocha, Agnaldo D. de Souza, Antonio A. Ximenes, Nelson Lobo, Dulcineia Carvalho, João Werther C. S. Filho, Káthia Marçal de Oliveira, Luiz Agnaldo de Souza, Vera Werneck	An Expert System for Diagnosis of Acute Myocardial Infarction: Software Quality Assurance Procedures.	EUROVAV	1995	DBLP BibTeX RDF
1	Gareth J. Palmer, Susan Craw	Utilising Explanation to Assist the Refinement of Knowledge-Based Systems.	EUROVAV	1995	DBLP BibTeX RDF
1	Jan Vanthienen, Ann Aerts, Christophe Mues, Geert Wets	A Modeling Approach to KBS Verification.	EUROVAV	1995	DBLP BibTeX RDF
1	R. Lounis, Marc Ayel	Completeness of Knowledge-based Systems.	EUROVAV	1995	DBLP BibTeX RDF
1	Grigoris Antoniou	Verification and Correctness Issues for Nonmonotonic Knowledge Bases.	EUROVAV	1995	DBLP BibTeX RDF
1	Fatma Bouali, Stéphane Loiseau	Rule Base Diagnosis for Debugging: the KB-DIAGO2 System.	EUROVAV	1995	DBLP BibTeX RDF
1	Hakim Lounis	Knowledge-Based Systems Verification: A Machine Learning-Based Approach.	EUROVAV	1993	DBLP BibTeX RDF
1	Alain Rouge, Jean Yves Lapicque, Florent Brossier, Yves Lozinguez	Validation and Verification of KADS Data and Domain Knowledge.	EUROVAV	1993	DBLP BibTeX RDF
1	Heinrich Herre	Semantical Completeness of Model-Based Diagnosis.	EUROVAV	1993	DBLP BibTeX RDF
1	Bruno Wendler, Laurence Vignollet, Stephane Talbot	Computing Partial Labels in KBS Validation Tools.	EUROVAV	1993	DBLP BibTeX RDF
1	Sophie Renault	Validation of Stratified Logic Programs: Methodology and Practical Experience.	EUROVAV	1993	DBLP BibTeX RDF
1	Richard Blondeau	Towards a Validation Methodology of KBS.	EUROVAV	1993	DBLP BibTeX RDF
1	R. Phelps, W. Aerts, J.-M. Forêt	Improving Validation and Verification of KBSs through Naturally Comprehensible Flow Representations.	EUROVAV	1993	DBLP BibTeX RDF
1	Corinne Haouche, Inser Lamsade	Using a Conceptual Model to Validate KBSs.	EUROVAV	1993	DBLP BibTeX RDF
1	Jesús Cardeñosa Lera, Pedro Meseguer (eds.)	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	EUROVAV	1993	DBLP BibTeX RDF
1	Juan Carlos Casamayor, Francisco Marqués, Hendrik Decker	A Mechanism for Verification of Knowledge Base Scheme Specifications.	EUROVAV	1993	DBLP BibTeX RDF
1	Dolores Cañamero, Sabine Geldof, Agnus McIntyre	Coupling Modeling and Validation in COMMET.	EUROVAV	1993	DBLP BibTeX RDF
1	Grigoris Antoniou, Volker Sperschneider	On the Verification of Modular Logical Knowledge Bases.	EUROVAV	1993	DBLP BibTeX RDF
1	Catherine Vicat, Patrick Brézillon, Christian Nottola	Knowledge Validation in the Building of a KBS.	EUROVAV	1993	DBLP BibTeX RDF
1	Dieudonné Kinielele	On the Consistency of Fuzzy Knowledge Bases.	EUROVAV	1993	DBLP BibTeX RDF
1	Daniel Borrajo, Angélica de Antonio	Cooperation of Machine Learning and Validation.	EUROVAV	1993	DBLP BibTeX RDF
1	Pascale Hors, Marie-Christine Rousset	Consistency of Structured Knowledge: A Formal Framework Based on Description Logics.	EUROVAV	1993	DBLP BibTeX RDF
1	Jay Liebowitz	Expert System Verification and Validation: Issues and U.S. Activities.	EUROVAV	1993	DBLP BibTeX RDF
1	Jesús Cardeñosa Lera, Natalia Juristo Juzgado	General Overview of the VALID Project.	EUROVAV	1993	DBLP BibTeX RDF
1		Symposium Organization, Contents, Foreword, Index.	EUROVAV	1993	DBLP BibTeX RDF

Publications at "EUROVAV"( http://dblp.L3S.de/Venues/EUROVAV )