| 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 | 195 | 2022 |
| The connectionist inductive learning and logic programming system A Garcez, G Zaverucha Applied Intelligence Journal 11 (1), 59-77, 1999 | 162 | 1999 |
| Fast relational learning using bottom clause propositionalization with artificial neural networks MVM França, G Zaverucha, AS d’Avila Garcez Machine learning 94 (1), 81-104, 2014 | 135 | 2014 |
| A distribution design methodology for object DBMS F Baião, M Mattoso, G Zaverucha Distributed and Parallel Databases 16 (1), 45-90, 2004 | 60 | 2004 |
| The connectionist inductive learning and logic programming system AS Avila Garcez, G Zaverucha Applied Intelligence 11 (1), 59-77, 1999 | 59 | 1999 |
| A multi-objective optimization approach accurately resolves protein domain architectures JS Bernardes, FRJ Vieira, G Zaverucha, A Carbone Bioinformatics 32 (3), 345-353, 2016 | 44 | 2016 |
| 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 |
| Object oriented design expertise reuse: An approach based on heuristics, design patterns and anti-patterns AL Correa, CML Werner, G Zaverucha International Conference on Software Reuse, 336-352, 2000 | 35 | 2000 |
| 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 | 34 | 2015 |
| 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), 1-12, 2007 | 30 | 2007 |
| Logical inference and inductive learning in artificial neural networks ASA Garcez, G Zaverucha, LAV De Carvalho Knowledge Representation in Neural networks, 33-46, 1997 | 28 | 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 | 27 | 2000 |
| Probabilistic first-order theory revision from examples A Paes, K Revoredo, G Zaverucha, VS Costa International Conference on Inductive Logic Programming, 295-311, 2005 | 26 | 2005 |
| Learning logic programs with neural networks R Basilio, G Zaverucha, VC Barbosa International Conference on Inductive Logic Programming, 15-26, 2001 | 25 | 2001 |
| 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 |
| Using the bottom clause and mode declarations in FOL theory revision from examples AL Duboc, A Paes, G Zaverucha Machine learning 76 (1), 73-107, 2009 | 24 | 2009 |
| 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 International Conference on Inductive Logic Programming, 123-130, 2009 | 22 | 2009 |
| ILP through propositionalization and stochastic k-term DNF learning A Paes, F Železný, G Zaverucha, D Page, A Srinivasan International Conference on Inductive Logic Programming, 379-393, 2006 | 18 | 2006 |
| Applying theory revision to the design of distributed databases F Baião, M Mattoso, J Shavlik, G Zaverucha International Conference on Inductive Logic Programming, 57-74, 2003 | 18 | 2003 |
