This project is about implementing a logic-programming based, reasoning engine for an agent. We started with an implementation of the iff-proof procedures, by Kowalski and Fung, as an any-time algorithm written in Prolog.
Categories
Intelligent AgentsLicense
Affero GNU Public LicenseOther Useful Business Software
Rate This Project
Login To Rate This Project
User Reviews
Be the first to post a review of GLORIA!