GLORIA Full Version
Description:
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..
2 downloads.
Tidak ada komentar:
Posting Komentar