Sign In / Register
Please sign in to interact with this page. There is no need to register for an account, simply enter your name to stay signed in for 24 hours and you will be able to make a maximum of 10 likes and 5 comments during your time signed in.
on Aug 24 2015
Manoel Vitor Macedo Franša
Apache License V2.0
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.
Representation and Reasoning
Sign in to Comment
Copyright © 2015, AI Access Foundation. All rights reserved.