| The connectionist inductive learning and logic programming system AS Avila Garcez, G Zaverucha Applied Intelligence 11, 59-77, 1999 | 218 | 1999 |
| Neural-symbolic learning and reasoning: A survey and interpretation TR Besold, AA Garcez, S Bader, H Bowman, P Domingos, P Hitzler, ... arXiv preprint arXiv:1711.03902, 2017 | 204 | 2017 |
| Fast relational learning using bottom clause propositionalization with artificial neural networks MVM França, G Zaverucha, AS d’Avila Garcez Machine learning 94, 81-104, 2014 | 142 | 2014 |
| A distribution design methodology for object DBMS F Baião, M Mattoso, G Zaverucha Distributed and Parallel Databases 16 (1), 45-90, 2004 | 63 | 2004 |
| A multi-objective optimization approach accurately resolves protein domain architectures JS Bernardes, FRJ Vieira, G Zaverucha, A Carbone Bioinformatics 32 (3), 345-353, 2016 | 45 | 2016 |
| Neural-symbolic learning and reasoning: a survey and interpretation AA Garcez, S Bader, H Bowman, LC Lamb, L de Penning, BV Illuminoo, ... Neuro-Symbolic Artificial Intelligence: The State of the Art 342 (1), 2022 | 38 | 2022 |
| Improvement in protein domain identification is reached by breaking consensus, with the agreement of many profiles and domain co-occurrence J Bernardes, G Zaverucha, C Vaquero, A Carbone PLoS computational biology 12 (7), e1005038, 2016 | 37 | 2016 |
| Evaluation and improvements of clustering algorithms for detecting remote homologous protein families JS Bernardes, FRJ Vieira, LMM Costa, G Zaverucha BMC bioinformatics 16 (1), 1-14, 2015 | 35 | 2015 |
| Object oriented design expertise reuse: An approach based on heuristics, design patterns and anti-patterns AL Correa, CML Werner, G Zaverucha Software Reuse: Advances in Software Reusability: 6th International …, 2000 | 35 | 2000 |
| Improving model construction of profile HMMs for remote homology detection through structural alignment JS Bernardes, AMR Dávila, VS Costa, G Zaverucha BMC bioinformatics 8, 1-12, 2007 | 30 | 2007 |
| Learning logic programs with neural networks R Basilio, G Zaverucha, VC Barbosa Inductive Logic Programming: 11th International Conference, ILP 2001 …, 2001 | 29 | 2001 |
| Logical inference and inductive learning in artificial neural networks ASA Garcez, G Zaverucha, LAV De Carvalho Knowledge Representation in Neural networks, 33-46, 1997 | 29 | 1997 |
| Horizontal fragmentation in object dbms: New issues and performance evaluation F Baião, M Mattoso, G Zaverucha Conference Proceedings of the 2000 IEEE International Performance, Computing …, 2000 | 28 | 2000 |
| Probabilistic first-order theory revision from examples A Paes, K Revoredo, G Zaverucha, VS Costa Inductive Logic Programming: 15th International Conference, ILP 2005, Bonn …, 2005 | 26 | 2005 |
| Using the bottom clause and mode declarations in fol theory revision from examples. AL Duboc, A Paes, G Zaverucha Machine learning 76 (1), 2009 | 25 | 2009 |
| Artificial neural networks for power systems diagnosis V Navarro, AL da Silva, LAV de Carvalho, G Zaverucha Proceedings of 1994 IEEE International Conference on Neural Networks (ICNN …, 1994 | 25 | 1994 |
| Towards an inductive design of distributed object oriented databases F Baido, M Mattoso, G Zaverucha Proceedings. 3rd IFCIS International Conference on Cooperative Information …, 1998 | 24 | 1998 |
| Chess revision: Acquiring the rules of chess variants through FOL theory revision from examples S Muggleton, A Paes, V Santos Costa, G Zaverucha Inductive Logic Programming: 19th International Conference, ILP 2009, Leuven …, 2010 | 23 | 2010 |
| ILP through propositionalization and stochastic k-term DNF learning A Paes, F Železný, G Zaverucha, D Page, A Srinivasan Inductive Logic Programming: 16th International Conference, ILP 2006 …, 2007 | 18 | 2007 |
| Applying theory revision to the design of distributed databases F Baião, M Mattoso, J Shavlik, G Zaverucha Inductive Logic Programming: 13th International Conference, ILP 2003, Szeged …, 2003 | 18 | 2003 |
