Amanote Research

Amanote Research

    RegisterSign In

Validation and Verification of Knowledge-Based Systems: Report on EUROVAV99

Knowledge Engineering Review - United Kingdom
doi 10.1017/s0269888900002010
Full Text
Open PDF
Abstract

Available in full text

Categories
Artificial IntelligenceSoftware
Date

June 1, 2000

Authors
FRANS COENENTREVOR BENCH-CAPONROBIN BOSWELLJULIETTE DIBIE-BARTHÉLEMYBARRY EAGLESTONERIK GERRITSERIC GRÉGOIREANTONI LIGE¸ZALUIS LAITAMIECZYSLAW OWOCFLORENCE SELLINISILVIE SPREEUWENBERGJAN VANTHIENENANCA VERMESANNIRMALIE WIRATUNGA
Publisher

Cambridge University Press (CUP)


Related search

Verification of Multiple Agent Knowledge-Based Systems

International Journal of Intelligent Systems
Theoretical Computer ScienceHuman-Computer InteractionArtificial IntelligenceSoftware
2001English

The VERIFICATION OF TEMPORAL KNOWLEDGE BASED SYSTEMS - A Case-Study on Power-Systems

2007English

JCATS Verification and Validation Report

2002English

The Challenges of Verification and Validation of Automated Planning Systems (Keynote)

2013English

Verification and Validation

2003English

Verification of Agent-Based Artifact Systems

Journal of Artificial Intelligence Research
Artificial Intelligence
2014English

Verification and Validation of TMAP7

2005English

Verification and Validation Benchmarks.

2007English

Knowledge-Based Systems

English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2025 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy