Follow
gerson zaverucha
Title
Cited by
Cited by
Year
Chapter 1. Neural-Symbolic Learning and Reasoning: A Survey and Interpretation 1
TR Besold, A d’Avila Garcez, S Bader, H Bowman, P Domingos, P Hitzler, ...
Neuro-Symbolic Artificial Intelligence: The State of the Art, 1-51, 2021
4162021
The connectionist inductive learning and logic programming system
AS Avila Garcez, G Zaverucha
Applied Intelligence 11, 59-77, 1999
2551999
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
1742014
A distribution design methodology for object DBMS
F Baião, M Mattoso, G Zaverucha
Distributed and Parallel Databases 16 (1), 45-90, 2004
532004
A multi-objective optimization approach accurately resolves protein domain architectures
JS Bernardes, FRJ Vieira, G Zaverucha, A Carbone
Bioinformatics 32 (3), 345-353, 2016
482016
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
402016
Evaluation and improvements of clustering algorithms for detecting remote homologous protein families
JS Bernardes, FRJ Vieira, LMM Costa, G Zaverucha
BMC bioinformatics 16, 1-14, 2015
392015
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
352000
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
322007
Learning logic programs with neural networks
R Basilio, G Zaverucha, VC Barbosa
Inductive Logic Programming: 11th International Conference, ILP 2001 …, 2001
292001
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
282000
Logical inference and inductive learning in artificial neural networks
ASA Garcez, G Zaverucha, LAV De Carvalho
Knowledge Representation in Neural networks, 33-46, 1997
281997
Using the bottom clause and mode declarations in FOL theory revision from examples
AL Duboc, A Paes, G Zaverucha
Machine learning 76, 73-107, 2009
262009
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
262005
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
252010
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
251994
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
212006
Neural-symbolic learning and reasoning: A survey and interpretation, CoRR abs/1711.03902 (2017)
TR Besold, ASA Garcez, S Bader, H Bowman, PM Domingos, P Hitzler, ...
arXiv preprint arXiv:1711.03902, 2017
202017
Towards an inductive design of distributed object oriented databases
F Baido, M Mattoso, G Zaverucha
Proceedings. 3rd IFCIS International Conference on Cooperative Information …, 1998
201998
Normal programs and multiple predicate learning
L Fogel, G Zaverucha
Inductive Logic Programming: 8th International Conference, ILP-98 Madison …, 1998
171998
The system can't perform the operation now. Try again later.
Articles 1–20