PVN evaluates logical formula in a user defined n-valued semantics. Current efforts are aimed at fleshing out the port to GNU\'s prolog environment. Possible uses include embedding into a public domain knowledge base for a defeasible reasoning system.
Categories
Artificial IntelligenceLicense
GNU General Public License version 2.0 (GPLv2)Follow PVN
You Might Also Like
Rate This Project
Login To Rate This Project
User Reviews
Be the first to post a review of PVN!