On the use of stochastic local search techniques to revise first-order logic theories from examples
Crossref DOI link: https://doi.org/10.1007/s10994-016-5595-3
Published Online: 2016-12-15
Published Print: 2017-02
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Paes, Aline
Zaverucha, Gerson
Costa, VĂtor Santos
Funding for this research was provided by:
CNPq (483448/2013-3)
License valid from 2016-12-15