CILP++
In-development neural-symbolic system, CILP++
This is the project of the extension of the original C-IL2P neural-symbolic system, CILP++, for reasoning, knowledge extraction and theory revision from propositional and first-order logics.
*** ATTENTION! The CILP++ project has been discontinued from SVN! It has been migrated to Github on https://github.com/manoelfranca/cilppp!