default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDEUROVAV@KR 1998: Povo, Trento, Italy
- Frank van Harmelen:
1998 European Workshop on Validation and Verification of Knowledge-Based Systems, EUROVAV@KR 1998, IRST, Povo, Trento, Italy June 6-8, 1998. CEUR Workshop Proceedings 16, CEUR-WS.org 1998
Applications of V&V
- Georg Duftschmid, Silvia Miksch, Yuval Shahar, Peter D. Johnson:
Multi-Level Verification of Clinical Protocols. - Zita A. Vale, Carlos Ramos, Jorge Santos, M. Fernanda Fernandes, Couto Rosado, Albino Marques:
Knowledge-Based Systems for power system control centers: validation and verification?
V&V of Agents
- Nico Jacobs, Kurt Driessens, Luc De Raedt:
Inductive verification and validation of multi agent systems. - Massimo Benerecetti, Fausto Giunchiglia, Luciano Serafini:
Multiagent Systems Verification via Model Checking. - Catholijn M. Jonker, Jan Treur, Wieke de Vries:
Compositional Verification of Agents in Dynamic Environments: a Case Study.
Methods & Tools for V&V
- Josefina Sierra:
Declarative Formalization of Heuristics. - Francky Trichet, Pierre Tchounikine:
Verifying and Validating a Task/Method Knowledge-Base. - Jaime Ramírez, Angélica de Antonio:
MECORI: a method for knowledge base semantic verification based on integrity constraints. - Giovanna Dondossola:
Formal methods in the development of safety critical Knowledge-Based components.
Relations with Knowledge Representation
- Geert Wets, Jan Vanthienen, Christophe Mues, Harry J. P. Timmermans:
Extracting complete and consistent knowledge patterns from data. - Frank van Harmelen, Annette ten Teije:
Characterising approximate problem solving: by partially fulfilled pre- and postconditions. - Tim Menzies, Sam Waugh:
Lower Bounds on the Size of Test Data Sets.
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.
last updated on 2025-02-24 21:36 CET 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:
