Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by JAN VANTHIENEN
Validation and Verification of Knowledge-Based Systems: Report on EUROVAV99
Knowledge Engineering Review
Artificial Intelligence
Software
Related publications
Verification of Multiple Agent Knowledge-Based Systems
International Journal of Intelligent Systems
Theoretical Computer Science
Human-Computer Interaction
Artificial Intelligence
Software
The VERIFICATION OF TEMPORAL KNOWLEDGE BASED SYSTEMS - A Case-Study on Power-Systems
JCATS Verification and Validation Report
The Challenges of Verification and Validation of Automated Planning Systems (Keynote)
Verification and Validation
Verification of Agent-Based Artifact Systems
Journal of Artificial Intelligence Research
Artificial Intelligence
Verification and Validation of TMAP7
Verification and Validation Benchmarks.
Knowledge-Based Systems