Validation and Verification of Knowledge Based Systems: Theory, Tools and Practi
216,97 €
On Principles of Knowledge Validation. - Progressive Instantiation for the Logical Validation of Nonmonotonic KBs. - Computer Algebra based Verification and Knowledge Extraction in RBS. - A Knowledge Based Tool to Validate and Verify an Aion Knowledge Base.
Jetzt bei Ebay: