This project contains source code and documentation related to the First-order Logic Revision system in development by Relational Learning Group of COPPE-PESC, Federal University of Rio de Janeiro
Use Patent Claims
Include Install Instructions
These details are provided for information only. No information here is legal advice and should not be used as such.