![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
default search action
EUROVAV@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.
![](https://dblp1.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.