A nonmonotonic multi-agent logic of belief: a Modal Defeasible Relevant approach. - Gerson Zaverucha (1990)

Logical Foundations of a Modal Defeasible Relevant Logic of Belief. - Gerson Zaverucha (ECAI, 1992)

Relevant logic as a basis for paraconsistent epistemic logics. - Gerson Zaverucha (J. Appl. Non Class. Logics, 1992)

A Prioritized Contextual Default Logic: Curing Anomalous Extensions with a Simple Abnormality Default Theory. - Gerson Zaverucha (KI, 1994)

An integration of neural networks and nonmonotonic reasoning for power system diagnosis. - Victor Navoarro Araujo Lemos da Silva; Guilherme N. F. de Souza; Gerson Zaverucha (ICNN, 1995)

A Goal Directed Reasoning for Semi-Normal Default Theories. - Gerson Zaverucha; Sheila R. M. Veloso (SBIA, 1995)

Applying the connectionist inductive learning and logic programming system to power system diagnosis. - Artur S. d'Avila Garcez; Gerson Zaverucha; Victor Navoarro Araujo Lemos da Silva (ICNN, 1997)

Towards an Inductive Design of Distributed Object Oriented Databases. - Fernanda Araújo Baião; Marta Mattoso; Gerson Zaverucha (CoopIS, 1998)

Towards a Hybrid Model of First-Order Theory Refinement. - Nelson A. Hallack; Gerson Zaverucha; Valmir Carneiro Barbosa (Hybrid Neural Systems, 1998)

Inducing Relational Concepts with Neural Networks via the LINUS System. - Rodrigo Basilio; Gerson Zaverucha; Artur S. d'Avila Garcez (ICONIP, 1998)

A Penalty-Function Approach to Rule Extraction from Knowledge-Based Neural Networks. - Romulo M. de Menezes; Gerson Zaverucha; Valmir Carneiro Barbosa (ICONIP, 1998)

Normal Programs and Multiple Predicate Learning. - Leonardo Fogel; Gerson Zaverucha (ILP, 1998)

On the Relations between Acceptable Programs and Stratifiable Classes. - Fábio Protti; Gerson Zaverucha (SBIA, 1998)

An implementation of a theorem prover in symmetric neural networks. - Alvaro Kilkerry Neto; Gerson Zaverucha; Luís Alfredo Vidal de Carvalho (IJCNN, 1999)

Recurrent neural gas in electric load forecasting. - Marcelo Andrade Teixeira; Gerson Zaverucha; Victor Navoarro Araujo Lemos da Silva; Guilherme Ferreira Ribeiro (IJCNN, 1999)

The Connectionist Inductive Learning and Logic Programming System. - Artur S. d'Avila Garcez; Gerson Zaverucha (Appl. Intell., 1999)

Object Oriented Design Expertise Reuse: An Approach Based on Heuristics, Design Patterns and Anti-patterns. - Alexandre L. Correa; Cláudia Maria Lima Werner; Gerson Zaverucha (ICSR, 2000)

Learning Logic Programs with Neural Networks. - Rodrigo Basilio; Gerson Zaverucha; Valmir Carneiro Barbosa (ILP, 2001)

Revision of First-Order Bayesian Classifiers. - Kate Revoredo; Gerson Zaverucha (ILP, 2002)

Towards a Theory Revision Approach for the Vertical Fragmentation of Object Oriented Databases. - Flavia Cruz; Fernanda Araújo Baião; Marta Mattoso; Gerson Zaverucha (SBIA, 2002)

Fuzzy Markov Predictor with First and Second-Order Dependences. - Marcelo Andrade Teixeira; Gerson Zaverucha (SBRN, 2002)

A Framework for the Design of Distributed Databases. - Fernanda Araújo Baião; Marta Mattoso; Gerson Zaverucha (WDAS, 2002)

Fuzzy Bayes and Fuzzy Markov Predictors. - Marcelo Andrade Teixeira; Gerson Zaverucha (J. Intell. Fuzzy Syst., 2002)

Fuzzy Markov predictor in multi-step electric load forecasting. - Marcelo Andrade Teixeira; Gerson Zaverucha (IJCNN, 2003)

Applying Theory Revision to the Design of Distributed Databases. - Fernanda Araújo Baião; Marta Mattoso; Jude W. Shavlik; Gerson Zaverucha (ILP, 2003)

A Partitioning Method for Fuzzy Probabilistic Predictors. - Marcelo Andrade Teixeira; Gerson Zaverucha (ICONIP, 2004)

Fuzzy hidden Markov predictor in electric load forecasting. - Marcelo Andrade Teixeira; Gerson Zaverucha (IJCNN, 2004)

Improving the Performance of the RISE Algorithm. - Aloísio Carlos de Pina; Gerson Zaverucha (PKDD, 2004)

Search-Based Class Discretization for Hidden Markov Model for Regression. - Kate Revoredo; Gerson Zaverucha (SBIA, 2004)

A Distribution Design Methodology for Object DBMS. - Fernanda Araújo Baião; Marta Mattoso; Gerson Zaverucha (Distributed Parallel Databases, 2004)

Fuzzy multi-hidden Markov predictor in electric load forecasting. - Marcelo Andrade Teixeira; Gerson Zaverucha (IJCNN, 2005)

Probabilistic First-Order Theory Revision from Examples. - Aline Paes; Kate Revoredo; Gerson Zaverucha; Vítor Santos Costa (ILP, 2005)

Using Regression Error Characteristic Curves for Model Selection in Ensembles of Neural Networks. - Aloísio Carlos de Pina; Gerson Zaverucha (ESANN, 2006)

Genetic Based Machine Learning: Merging Pittsburgh and Michigan, an Implicit Feature Selection Mechanism and a New Crossover Operator. - Cristiano Grijó Pitangui; Gerson Zaverucha (HIS, 2006)

PFORTE: Revising Probabilistic FOL Theories. - Aline Paes; Kate Revoredo; Gerson Zaverucha; Vítor Santos Costa (IBERAMIA-SBIA, 2006)

Applying REC Analysis to Ensembles of Sigma-Point Kalman Filters. - Aloísio Carlos de Pina; Gerson Zaverucha (ICANN (2), 2006)

ILP Through Propositionalization and Stochastic k-Term DNF Learning. - Aline Paes; Filip Zelezný; Gerson Zaverucha; C. David Page Jr.; Ashwin Srinivasan 001 (ILP, 2006)

Improved natural crossover operators in GBIVIL. - Cristiano Grijó Pitangui; Gerson Zaverucha (IEEE Congress on Evolutionary Computation, 2007)

Revising First-Order Logic Theories from Examples Through Stochastic Local Search. - Aline Paes; Gerson Zaverucha; Vítor Santos Costa (ILP, 2007)

Improving model construction of profile HMMs for remote homology detection through structural alignment. - Juliana S. Bernardes; Alberto M. R. Dávila; Vítor Santos Costa; Gerson Zaverucha (BMC Bioinform., 2007)

A study of structural properties on profiles HMMs - Juliana S. Bernardes; Alberto M. R. Dávila; Vítor Santos Costa; Gerson Zaverucha (CoRR, 2007)

Genetic local search for rule learning. - Cristiano Grijó Pitangui; Gerson Zaverucha (GECCO, 2008)

Combining attributes to improve the performance of Naive Bayes for Regression. - Aloísio Carlos de Pina; Gerson Zaverucha (IJCNN, 2008)

ClusterMiner: High Performance for Data, Text and Web Mining. - Marta Mattoso; Nelson F. F. Ebecken; Gerson Zaverucha; Alexandre G. Evsukoff; Fernanda Baião; Myriam Costa; Guilherme Terra (Braz. J. Inf. Syst., 2008)

Chess Revision: Acquiring the Rules of Chess Variants through FOL Theory Revision from Examples. - Stephen H. Muggleton; Aline Paes; Vítor Santos Costa; Gerson Zaverucha (ILP, 2009)

HTILDE: scaling up relational decision trees for very large databases. - Carina Lopes; Gerson Zaverucha (SAC, 2009)

Using the bottom clause and mode declarations in FOL theory revision from examples. - Ana Luísa Duboc; Aline Paes; Gerson Zaverucha (Mach. Learn., 2009)

Applying REC analysis to ensembles of particle filters. - Aloísio Carlos de Pina; Gerson Zaverucha (Neural Comput. Appl., 2009)

Inductive Logic Programming through Estimation of Distribution Algorithm. - Cristiano Grijó Pitangui; Gerson Zaverucha (IEEE Congress on Evolutionary Computation, 2011)

Learning Theories Using Estimation Distribution Algorithms and (Reduced) Bottom Clauses. - Cristiano Grijó Pitangui; Gerson Zaverucha (ILP, 2011)

A discriminative method for family-based protein remote homology detection that combines inductive logic programming and propositional models. - Juliana S. Bernardes; Alessandra Carbone; Gerson Zaverucha (BMC Bioinform., 2011)

Multi-instance learning using recurrent neural networks. - Artur S. d'Avila Garcez; Gerson Zaverucha (IJCNN, 2012)

Relational Knowledge Extraction from Attribute-Value Learners. - Manoel V. M. França; Artur S. d'Avila Garcez; Gerson Zaverucha (ICCSW, 2013)

Fast relational learning using bottom clause propositionalization with artificial neural networks. - Manoel V. M. França; Gerson Zaverucha; Artur S. d'Avila Garcez (Mach. Learn., 2014)

Neural Relational Learning Through Semi-Propositionalization of Bottom Clauses. - Manoel Vitor Macedo França; Gerson Zaverucha; Artur S. d'Avila Garcez (AAAI Spring Symposia, 2015)

Relational Knowledge Extraction from Neural Networks. - Manoel Vitor Macedo França; Artur S. d'Avila Garcez; Gerson Zaverucha (CoCo@NIPS, 2015)

Evaluation and improvements of clustering algorithms for detecting remote homologous protein families. - Juliana S. Bernardes; Fabio R. J. Vieira; Lygia Costa; Gerson Zaverucha (BMC Bioinform., 2015)

Guest editors' introduction: special issue on Inductive Logic Programming and on Multi-Relational Learning. - Gerson Zaverucha; Vítor Santos Costa (Mach. Learn., 2015)

A multi-objective optimization approach accurately resolves protein domain architectures. - Juliana S. Bernardes; Fabio R. J. Vieira; Gerson Zaverucha; Alessandra Carbone (Bioinform., 2016)

Improvement in Protein Domain Identification Is Reached by Breaking Consensus, with the Agreement of Many Profiles and Domain Co-occurrence. - Juliana S. Bernardes; Gerson Zaverucha; Catherine Vaquero; Alessandra Carbone (PLoS Comput. Biol., 2016)

Neural-Symbolic Learning and Reasoning: A Survey and Interpretation. - Tarek R. Besold; Artur S. d'Avila Garcez; Sebastian Bader 001; Howard Bowman; Pedro M. Domingos; Pascal Hitzler; Kai-Uwe Kühnberger; Luís C. Lamb; Daniel Lowd; Priscila Machado Vieira Lima; Leo de Penning; Gadi Pinkas; et al. (CoRR, 2017)

On the formal characterization of the FORTE_MBC theory revision operators. - Ana Luísa Duboc; Aline Paes; Gerson Zaverucha (J. Log. Comput., 2017)

On the use of stochastic local search techniques to revise first-order logic theories from examples. - Aline Paes; Gerson Zaverucha; Vítor Santos Costa (Mach. Learn., 2017)

Lightweight Neural Programming: The GRPU. - Felipe Carregosa; Aline Paes; Gerson Zaverucha (ICANN (3), 2018)

Using OpenWordnet-PT for Question Answering on Legal Domain. - Pedro Delfino; Bruno Cuconato; Guilherme Paulino-Passos; Gerson Zaverucha; Alexandre Rademaker (GWC, 2018)

Revising the structure of Bayesian network classifiers in the presence of missing data. - Roosevelt Sardinha; Aline Paes; Gerson Zaverucha (Inf. Sci., 2018)

Weight Your Words: The Effect of Different Weighting Schemes on Wordification Performance. - Tatiana Sciammarella; Gerson Zaverucha (ILP, 2019)

Online probabilistic theory revision from examples with ProPPR. - Victor Guimarães 001; Aline Paes; Gerson Zaverucha (Mach. Learn., 2019)

Transfer learning by mapping and revising boosted relational dependency networks. - Rodrigo Azevedo Santos; Aline Paes; Gerson Zaverucha (Mach. Learn., 2020)

Software Vulnerabilities, Products and Exploits: A Statistical Relational Learning Approach. - Cainã Figueiredo; João Gabriel Lopes; Rodrigo Azevedo Santos; Gerson Zaverucha; Daniel Sadoc Menasché; Leandro Pfleger de Aguiar (CSR, 2021)

Transfer Learning for Boosted Relational Dependency Networks Through Genetic Algorithm. - Leticia Freire de Figueiredo; Aline Paes; Gerson Zaverucha (ILP, 2021)

Mapping Across Relational Domains for Transfer Learning with Word Embeddings-Based Similarity. - Thais Luca; Aline Paes; Gerson Zaverucha (ILP, 2021)

Neural-Symbolic Learning and Reasoning: A Survey and Interpretation. - Tarek R. Besold; Artur S. d'Avila Garcez; Sebastian Bader 001; Howard Bowman; Pedro M. Domingos; Pascal Hitzler; Kai-Uwe Kühnberger; Luís C. Lamb; Priscila Machado Vieira Lima; Leo de Penning; Gadi Pinkas; Hoifung Poon; et al. (Neuro-Symbolic Artificial Intelligence, 2021)

Combining Word Embeddings-Based Similarity Measures for Transfer Learning Across Relational Domains. - Thais Luca; Aline Paes; Gerson Zaverucha (ILP, 2022)

Select First, Transfer Later: Choosing Proper Datasets for Statistical Relational Transfer Learning. - Thais Luca; Aline Paes; Gerson Zaverucha (ILP, 2023)

A Statistical Relational Learning Approach Towards Products, Software Vulnerabilities and Exploits. - Cainã Figueiredo; João Gabriel Lopes de Oliveira; Rodrigo Azevedo Santos; Daniel Vieira; Lucas Miranda 001; Gerson Zaverucha; Leandro Pfleger de Aguiar; Daniel Sadoc Menasché (IEEE Trans. Netw. Serv. Manag., 2023)

Hypergraph Neural Networks with Logic Clauses. - João Pedro Gandarela de Souza; Gerson Zaverucha; Artur S. d'Avila Garcez (IJCNN, 2024)

Word embeddings-based transfer learning for boosted relational dependency networks. - Thais Luca; Aline Paes; Gerson Zaverucha (Mach. Learn., 2024)