Project Description

S. Spreeuwenberg, R. Gerrits, M. Boekenoogen 2000, VALENS: A Knowledge Based Tool to Validate and Verify an Aion Knowledge Base, Proceedings 14th European Conference on Artificial Intelligence, 731 – 735