Gerson Zaverucha
Thais Luca
Aline Paes
Gerson Zaverucha
Word embeddings-based transfer learning for boosted relational dependency networks.
1269-1302
2024
113
Mach. Learn.
3
https://doi.org/10.1007/s10994-023-06404-y
db/journals/ml/ml113.html#LucaPZ24
Cainã Figueiredo
João Gabriel Lopes de Oliveira
Rodrigo Azevedo Santos
Daniel Vieira
Lucas Miranda
Gerson Zaverucha
Leandro Pfleger de Aguiar
Daniel Sadoc Menasché
A Statistical Relational Learning Approach Towards Products, Software Vulnerabilities and Exploits.
3782-3802
2023
September
20
IEEE Trans. Netw. Serv. Manag.
3
https://doi.org/10.1109/TNSM.2023.3234554
db/journals/tnsm/tnsm20.html#FigueiredoOSVMZAM23
Thais Luca
Aline Paes
Gerson Zaverucha
Select First, Transfer Later: Choosing Proper Datasets for Statistical Relational Transfer Learning.
62-76
2023
ILP
https://doi.org/10.1007/978-3-031-49299-0_5
conf/ilp/2023
db/conf/ilp/ilp2023.html#LucaPZ23
Cainã Figueiredo
João Gabriel Lopes
Rodrigo Azevedo Santos
Gerson Zaverucha
Daniel Sadoc Menasché
Leandro Pfleger de Aguiar
Software Vulnerabilities, Products and Exploits: A Statistical Relational Learning Approach.
41-46
2021
CSR
https://doi.org/10.1109/CSR51186.2021.9527984
conf/csr2/2021
db/conf/csr2/csr2021.html#FigueiredoLSZMA21
Leticia Freire de Figueiredo
Aline Paes
Gerson Zaverucha
Transfer Learning for Boosted Relational Dependency Networks Through Genetic Algorithm.
125-139
2021
ILP
https://doi.org/10.1007/978-3-030-97454-1_9
conf/ilp/2021
db/conf/ilp/ilp2021.html#FigueiredoPZ21
Thais Luca
Aline Paes
Gerson Zaverucha
Mapping Across Relational Domains for Transfer Learning with Word Embeddings-Based Similarity.
167-182
2021
ILP
https://doi.org/10.1007/978-3-030-97454-1_12
conf/ilp/2021
db/conf/ilp/ilp2021.html#LucaPZ21
Tarek R. Besold
Artur S. d'Avila Garcez
Sebastian Bader 0001
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
Gerson Zaverucha
Neural-Symbolic Learning and Reasoning: A Survey and Interpretation.
1-51
2021
Neuro-Symbolic Artificial Intelligence
https://doi.org/10.3233/FAIA210348
series/faia/342
db/series/faia/faia342.html#BesoldGBBDHKLLPPPZ21
Rodrigo Azevedo Santos
Aline Paes
Gerson Zaverucha
Transfer learning by mapping and revising boosted relational dependency networks.
1435-1463
2020
109
Mach. Learn.
7
https://doi.org/10.1007/s10994-020-05871-x
db/journals/ml/ml109.html#SantosPZ20
Victor Guimarães 0001
Aline Paes
Gerson Zaverucha
Online probabilistic theory revision from examples with ProPPR.
1165-1189
2019
108
Mach. Learn.
7
https://doi.org/10.1007/s10994-019-05798-y
db/journals/ml/ml108.html#GuimaraesPZ19
Tatiana Sciammarella
Gerson Zaverucha
Weight Your Words: The Effect of Different Weighting Schemes on Wordification Performance.
114-128
2019
ILP
https://doi.org/10.1007/978-3-030-49210-6_10
conf/ilp/2019
db/conf/ilp/ilp2019.html#SciammarellaZ19
Roosevelt Sardinha
Aline Paes
Gerson Zaverucha
Revising the structure of Bayesian network classifiers in the presence of missing data.
108-124
2018
439-440
Inf. Sci.
https://doi.org/10.1016/j.ins.2018.02.011
db/journals/isci/isci439.html#SardinhaPZ18
Felipe Carregosa
Aline Paes
Gerson Zaverucha
Lightweight Neural Programming: The GRPU.
218-227
2018
ICANN (3)
https://doi.org/10.1007/978-3-030-01424-7_22
conf/icann/2018-3
db/conf/icann/icann2018-3.html#CarregosaPZ18
Pedro Delfino
Bruno Cuconato
Guilherme Paulino-Passos
Gerson Zaverucha
Alexandre Rademaker
Using OpenWordnet-PT for Question Answering on Legal Domain.
105-112
2018
GWC
https://aclanthology.org/2018.gwc-1.13/
conf/wordnet/2018
db/conf/wordnet/wordnet2018.html#DelfinoCPZR18
Ana Luísa Duboc
Aline Paes
Gerson Zaverucha
On the formal characterization of the FORTE_MBC theory revision operators.
2551-2580
2017
27
J. Log. Comput.
8
https://doi.org/10.1093/logcom/exx015
db/journals/logcom/logcom27.html#DubocPZ17
Aline Paes
Gerson Zaverucha
Vítor Santos Costa
On the use of stochastic local search techniques to revise first-order logic theories from examples.
197-241
2017
106
Mach. Learn.
2
https://doi.org/10.1007/s10994-016-5595-3
db/journals/ml/ml106.html#PaesZC17
Tarek R. Besold
Artur S. d'Avila Garcez
Sebastian Bader 0001
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
Hoifung Poon
Gerson Zaverucha
Neural-Symbolic Learning and Reasoning: A Survey and Interpretation.
2017
abs/1711.03902
CoRR
http://arxiv.org/abs/1711.03902
db/journals/corr/corr1711.html#abs-1711-03902
Juliana S. Bernardes
Fabio R. J. Vieira
Gerson Zaverucha
Alessandra Carbone
A multi-objective optimization approach accurately resolves protein domain architectures.
345-353
2016
32
Bioinform.
3
https://doi.org/10.1093/bioinformatics/btv582
https://www.wikidata.org/entity/Q36524119
db/journals/bioinformatics/bioinformatics32.html#BernardesVZC16
Juliana S. Bernardes
Gerson Zaverucha
Catherine Vaquero
Alessandra Carbone
Improvement in Protein Domain Identification Is Reached by Breaking Consensus, with the Agreement of Many Profiles and Domain Co-occurrence.
2016
12
PLoS Comput. Biol.
7
https://doi.org/10.1371/journal.pcbi.1005038
https://www.wikidata.org/entity/Q36089866
db/journals/ploscb/ploscb12.html#BernardesZVC16
Juliana S. Bernardes
Fabio R. J. Vieira
Lygia Costa
Gerson Zaverucha
Evaluation and improvements of clustering algorithms for detecting remote homologous protein families.
34:1-34:14
2015
16
BMC Bioinform.
https://doi.org/10.1186/s12859-014-0445-4
https://www.wikidata.org/entity/Q35118996
db/journals/bmcbi/bmcbi16.html#BernardesVCZ15
Gerson Zaverucha
Vítor Santos Costa
Guest editors' introduction: special issue on Inductive Logic Programming and on Multi-Relational Learning.
1-3
2015
100
Mach. Learn.
1
https://doi.org/10.1007/s10994-015-5514-z
db/journals/ml/ml100.html#ZaveruchaC15
Manoel Vitor Macedo França
Gerson Zaverucha
Artur S. d'Avila Garcez
Neural Relational Learning Through Semi-Propositionalization of Bottom Clauses.
2015
AAAI Spring Symposia
http://www.aaai.org/ocs/index.php/SSS/SSS15/paper/view/10300
conf/aaaiss/2015
db/conf/aaaiss/aaaiss2015.html#FrancaZG15
Manoel Vitor Macedo França
Artur S. d'Avila Garcez
Gerson Zaverucha
Relational Knowledge Extraction from Neural Networks.
2015
CoCo@NIPS
https://ceur-ws.org/Vol-1583/CoCoNIPS_2015_paper_18.pdf
conf/nips/2015coco
db/conf/nips/coco2015.html#FrancaGZ15
Manoel V. M. França
Gerson Zaverucha
Artur S. d'Avila Garcez
Fast relational learning using bottom clause propositionalization with artificial neural networks.
81-104
2014
94
Mach. Learn.
1
https://doi.org/10.1007/s10994-013-5392-1
db/journals/ml/ml94.html#FrancaZG14
Gerson Zaverucha
Vítor Santos Costa
Aline Marins Paes
Late Breaking Papers of the 23rd International Conference on Inductive Logic Programming, Rio de Janeiro, Brazil, August 28th - to - 30th, 2013.
CEUR-WS.org
CEUR Workshop Proceedings
1187
2014
https://ceur-ws.org/Vol-1187
https://nbn-resolving.org/urn:nbn:de:0074-1187-5
ILP (Late Breaking Papers)
db/conf/ilp/ilp2013lbp.html
Gerson Zaverucha
Vítor Santos Costa
Aline Paes
Inductive Logic Programming - 23rd International Conference, ILP 2013, Rio de Janeiro, Brazil, August 28-30, 2013, Revised Selected Papers
2014
Springer
Lecture Notes in Computer Science
8812
https://doi.org/10.1007/978-3-662-44923-3
978-3-662-44922-6
ILP
db/conf/ilp/ilp2013.html
Manoel V. M. França
Artur S. d'Avila Garcez
Gerson Zaverucha
Relational Knowledge Extraction from Attribute-Value Learners.
35-42
2013
ICCSW
https://doi.org/10.4230/OASIcs.ICCSW.2013.35
conf/iccsw/2013
db/conf/iccsw/iccsw2013.html#FrancaGZ13
Artur S. d'Avila Garcez
Gerson Zaverucha
Multi-instance learning using recurrent neural networks.
1-6
2012
IJCNN
https://doi.org/10.1109/IJCNN.2012.6252784
conf/ijcnn/2012
db/conf/ijcnn/ijcnn2012.html#GarcezZ12
Juliana S. Bernardes
Alessandra Carbone
Gerson Zaverucha
A discriminative method for family-based protein remote homology detection that combines inductive logic programming and propositional models.
83
2011
12
BMC Bioinform.
https://doi.org/10.1186/1471-2105-12-83
https://www.wikidata.org/entity/Q33853283
db/journals/bmcbi/bmcbi12.html#BernardesCZ11
Cristiano Grijó Pitangui
Gerson Zaverucha
Inductive Logic Programming through Estimation of Distribution Algorithm.
54-61
2011
IEEE Congress on Evolutionary Computation
https://doi.org/10.1109/CEC.2011.5949597
conf/cec/2011
db/conf/cec/cec2011.html#PitanguiZ11
Cristiano Grijó Pitangui
Gerson Zaverucha
Learning Theories Using Estimation Distribution Algorithms and (Reduced) Bottom Clauses.
286-301
2011
ILP
https://doi.org/10.1007/978-3-642-31951-8_25
conf/ilp/2011
db/conf/ilp/ilp2011.html#PitanguiZ12
Ana Luísa Duboc
Aline Paes
Gerson Zaverucha
Using the bottom clause and mode declarations in FOL theory revision from examples.
73-107
2009
76
Mach. Learn.
1
https://doi.org/10.1007/s10994-009-5116-8
db/journals/ml/ml76.html#DubocPZ09
Aloísio Carlos de Pina
Gerson Zaverucha
Applying REC analysis to ensembles of particle filters.
25-35
2009
18
Neural Comput. Appl.
1
https://doi.org/10.1007/s00521-008-0199-x
db/journals/nca/nca18.html#PinaZ09
Stephen H. Muggleton
Aline Paes
Vítor Santos Costa
Gerson Zaverucha
Chess Revision: Acquiring the Rules of Chess Variants through FOL Theory Revision from Examples.
123-130
2009
ILP
https://doi.org/10.1007/978-3-642-13840-9_12
conf/ilp/2009
db/conf/ilp/ilp2009.html#MuggletonPCZ09
Carina Lopes
Gerson Zaverucha
HTILDE: scaling up relational decision trees for very large databases.
1475-1479
2009
SAC
https://doi.org/10.1145/1529282.1529610
conf/sac/2009
db/conf/sac/sac2009.html#LopesZ09
Marta Mattoso
Nelson F. F. Ebecken
Gerson Zaverucha
Alexandre G. Evsukoff
Fernanda Baião
Myriam Costa
Guilherme Terra
ClusterMiner: High Performance for Data, Text and Web Mining.
2008
1
Braz. J. Inf. Syst.
1
https://doi.org/10.5753/isys.2008.115
db/journals/isys/isys1.html#MattosoEZEBCT08
Cristiano Grijó Pitangui
Gerson Zaverucha
Genetic local search for rule learning.
1427-1428
2008
GECCO
https://doi.org/10.1145/1389095.1389372
conf/gecco/2008
db/conf/gecco/gecco2008.html#PitanguiZ08
Aloísio Carlos de Pina
Gerson Zaverucha
Combining attributes to improve the performance of Naive Bayes for Regression.
3210-3215
2008
IJCNN
https://doi.org/10.1109/IJCNN.2008.4634253
conf/ijcnn/2008
db/conf/ijcnn/ijcnn2008.html#PinaZ08
Ana Luísa Duboc
Aline Paes
Gerson Zaverucha
Using the Bottom Clause and Mode Declarations on FOL Theory Revision from Examples.
91-106
2008
ILP
https://doi.org/10.1007/978-3-540-85928-4_11
conf/ilp/2008
db/conf/ilp/ilp2008.html#DubocPZ08
Gerson Zaverucha
Augusto Cesar Pinto Loureiro da Costa
Advances in Artificial Intelligence - SBIA 2008, 19th Brazilian Symposium on Artificial Intelligence, Savador, Brazil, October 26-30, 2008. Proceedings
5249
2008
978-3-540-88189-6
SBIA
Lecture Notes in Computer Science
Springer
https://doi.org/10.1007/978-3-540-88190-2
db/conf/sbia/sbia2008.html
Juliana S. Bernardes
Alberto M. R. Dávila
Vítor Santos Costa
Gerson Zaverucha
Improving model construction of profile HMMs for remote homology detection through structural alignment.
2007
8
BMC Bioinform.
https://doi.org/10.1186/1471-2105-8-435
https://www.wikidata.org/entity/Q30838552
db/journals/bmcbi/bmcbi8.html#BernardesDCZ07
Cristiano Grijó Pitangui
Gerson Zaverucha
Improved natural crossover operators in GBIVIL.
2157-2164
2007
IEEE Congress on Evolutionary Computation
https://doi.org/10.1109/CEC.2007.4424739
conf/cec/2007
db/conf/cec/cec2007.html#PitanguiZ07
Aloísio Carlos de Pina
Gerson Zaverucha
Applying REC Analysis to Ensembles of Particle Filters.
2352-2357
2007
IJCNN
https://doi.org/10.1109/IJCNN.2007.4371326
conf/ijcnn/2007
db/conf/ijcnn/ijcnn2007.html#PinaZ07
Aline Paes
Gerson Zaverucha
Vítor Santos Costa
Revising First-Order Logic Theories from Examples Through Stochastic Local Search.
200-210
2007
ILP
https://doi.org/10.1007/978-3-540-78469-2_21
conf/ilp/2007
db/conf/ilp/ilp2007.html#PaesZC07
Juliana S. Bernardes
Alberto M. R. Dávila
Vítor Santos Costa
Gerson Zaverucha
A study of structural properties on profiles HMMs
http://arxiv.org/abs/0704.2010
2007
CoRR
abs/0704.2010
db/journals/corr/corr0704.html#abs-0704-2010
Aloísio Carlos de Pina
Gerson Zaverucha
Using Regression Error Characteristic Curves for Model Selection in Ensembles of Neural Networks.
425-430
2006
conf/esann/2006
ESANN
https://www.esann.org/sites/default/files/proceedings/legacy/es2006-91.pdf
db/conf/esann/esann2006.html#PinaZ06
Cristiano Grijó Pitangui
Gerson Zaverucha
Genetic Based Machine Learning: Merging Pittsburgh and Michigan, an Implicit Feature Selection Mechanism and a New Crossover Operator.
58
2006
conf/his/2006
HIS
https://doi.ieeecomputersociety.org/10.1109/HIS.2006.28
db/conf/his/his2006.html#PitanguiZ06
Aline Paes
Kate Revoredo
Gerson Zaverucha
Vítor Santos Costa
PFORTE: Revising Probabilistic FOL Theories.
441-450
2006
conf/iberamia/2006
IBERAMIA-SBIA
https://doi.org/10.1007/11874850_48
db/conf/iberamia/iberamia2006.html#PaesRZC06
Aloísio Carlos de Pina
Gerson Zaverucha
Applying REC Analysis to Ensembles of Sigma-Point Kalman Filters.
151-160
2006
conf/icann/2006-2
ICANN (2)
https://doi.org/10.1007/11840930_16
db/conf/icann/icann2006-2.html#PinaZ06
Aline Paes
Filip Zelezný
Gerson Zaverucha
C. David Page Jr.
Ashwin Srinivasan 0001
ILP Through Propositionalization and Stochastic k-Term DNF Learning.
379-393
2006
conf/ilp/2006
ILP
https://doi.org/10.1007/978-3-540-73847-3_35
db/conf/ilp/ilp2006.html#PaesZZPS06
Aline Paes
Kate Revoredo
Gerson Zaverucha
Vítor Santos Costa
Probabilistic First-Order Theory Revision from Examples.
295-311
2005
conf/ilp/2005
ILP
https://doi.org/10.1007/11536314_18
db/conf/ilp/ilp2005.html#PaesRZC05
Fernanda Araújo Baião
Marta Mattoso
Gerson Zaverucha
A Distribution Design Methodology for Object DBMS.
45-90
2004
16
Distributed Parallel Databases
1
https://doi.org/10.1023/B:DAPD.0000026268.04288.b9
db/journals/dpd/dpd16.html#BaiaoMZ04
Marcelo Andrade Teixeira
Gerson Zaverucha
A Partitioning Method for Fuzzy Probabilistic Predictors.
929-934
https://doi.org/10.1007/978-3-540-30499-9_143
2004
conf/iconip/2004
ICONIP
db/conf/iconip/iconip2004.html#TeixeiraZ04
Aloísio Carlos de Pina
Gerson Zaverucha
Improving the Performance of the RISE Algorithm.
518-520
https://doi.org/10.1007/978-3-540-30116-5_52
2004
conf/pkdd/2004
PKDD
db/conf/pkdd/pkdd2004.html#PinaZ04
Kate Revoredo
Gerson Zaverucha
Search-Based Class Discretization for Hidden Markov Model for Regression.
317-325
https://doi.org/10.1007/978-3-540-28645-5_32
2004
conf/sbia/2004
SBIA
db/conf/sbia/sbia2004.html#RevoredoZ04
Fernanda Araújo Baião
Marta Mattoso
Jude W. Shavlik
Gerson Zaverucha
Applying Theory Revision to the Design of Distributed Databases.
57-74
https://doi.org/10.1007/978-3-540-39917-9_6
2003
conf/ilp/2003
ILP
db/conf/ilp/ilp2003.html#BaiaoMSZ03
Marcelo Andrade Teixeira
Gerson Zaverucha
Fuzzy Bayes and Fuzzy Markov Predictors.
155-165
2002
13
J. Intell. Fuzzy Syst.
2-4
http://content.iospress.com/articles/journal-of-intelligent-and-fuzzy-systems/ifs00197
db/journals/jifs/jifs13.html#TeixeiraZ02
Kate Revoredo
Gerson Zaverucha
Revision of First-Order Bayesian Classifiers.
223-237
2002
conf/ilp/2002
ILP
https://doi.org/10.1007/3-540-36468-4_15
db/conf/ilp/ilp2002.html#RevoredoZ02
Flavia Cruz
Fernanda Araújo Baião
Marta Mattoso
Gerson Zaverucha
Towards a Theory Revision Approach for the Vertical Fragmentation of Object Oriented Databases.
216-226
2002
conf/sbia/2002
SBIA
https://doi.org/10.1007/3-540-36127-8_21
db/conf/sbia/sbia2002.html#CruzBMZ02
Marcelo Andrade Teixeira
Gerson Zaverucha
Fuzzy Markov Predictor with First and Second-Order Dependences.
80-85
2002
conf/sbrn/2002
SBRN
https://doi.org/10.1109/SBRN.2002.1181439
https://doi.ieeecomputersociety.org/10.1109/SBRN.2002.1181439
db/conf/sbrn/sbrn2002.html#TeixeiraZ02
Fernanda Araújo Baião
Marta Mattoso
Gerson Zaverucha
A Framework for the Design of Distributed Databases.
29-36
2002
conf/wdas/2002
WDAS
db/conf/wdas/wdas2002.html#BaiaoMZ02
Rodrigo Basilio
Gerson Zaverucha
Valmir Carneiro Barbosa
Learning Logic Programs with Neural Networks.
15-26
2001
conf/ilp/2001
ILP
https://doi.org/10.1007/3-540-44797-0_2
db/conf/ilp/ilp2001.html#BasilioZB01
Alexandre L. Correa
Cláudia Maria Lima Werner
Gerson Zaverucha
Object Oriented Design Expertise Reuse: An Approach Based on Heuristics, Design Patterns and Anti-patterns.
336-352
2000
conf/icsr/2000
ICSR
db/conf/icsr/icsr2000.html#CorreaWZ00
https://doi.org/10.1007/978-3-540-44995-9_20
Artur S. d'Avila Garcez
Gerson Zaverucha
The Connectionist Inductive Learning and Logic Programming System.
59-77
1999
11
Appl. Intell.
1
db/journals/apin/apin11.html#GarcezZ99
https://doi.org/10.1023/A:1008328630915
Marcelo Andrade Teixeira
Gerson Zaverucha
Victor Navoarro Araujo Lemos da Silva
Guilherme Ferreira Ribeiro
Recurrent neural gas in electric load forecasting.
3468-3473
1999
IJCNN
https://doi.org/10.1109/IJCNN.1999.836223
conf/ijcnn/1999
db/conf/ijcnn/ijcnn1999.html#TeixeiraZSR99
Alvaro Kilkerry Neto
Gerson Zaverucha
Luís Alfredo Vidal de Carvalho
An implementation of a theorem prover in symmetric neural networks.
4139-4144
1999
IJCNN
https://doi.org/10.1109/IJCNN.1999.830827
conf/ijcnn/1999
db/conf/ijcnn/ijcnn1999.html#NetoZC99
https://doi.org/10.1109/COOPIS.1998.706197
https://doi.ieeecomputersociety.org/10.1109/COOPIS.1998.706197
Fernanda Araújo Baião
Marta Mattoso
Gerson Zaverucha
Towards an Inductive Design of Distributed Object Oriented Databases.
188-197
COOPIS1998/83800188.pdf
1998
conf/coopis/98
CoopIS
db/conf/coopis/coopis98.html#BaiaoMZ98
Nelson A. Hallack
Gerson Zaverucha
Valmir Carneiro Barbosa
Towards a Hybrid Model of First-Order Theory Refinement.
92-106
1998
conf/hybrid/1998hns
Hybrid Neural Systems
db/conf/hybrid/hns1998.html#HallackZB98
https://doi.org/10.1007/10719871_7
Romulo M. de Menezes
Gerson Zaverucha
Valmir Carneiro Barbosa
A Penalty-Function Approach to Rule Extraction from Knowledge-Based Neural Networks.
1497-1500
1998
conf/iconip/1998
ICONIP
db/conf/iconip/iconip1998.html#MenezesZB98
Rodrigo Basilio
Gerson Zaverucha
Artur S. d'Avila Garcez
Inducing Relational Concepts with Neural Networks via the LINUS System.
1507-1510
1998
conf/iconip/1998
ICONIP
db/conf/iconip/iconip1998.html#BasilioZG98
Leonardo Fogel
Gerson Zaverucha
Normal Programs and Multiple Predicate Learning.
175-184
1998
conf/ilp/1998
ILP
db/conf/ilp/ilp98.html#FogelZ98
https://doi.org/10.1007/BFb0027321
Fábio Protti
Gerson Zaverucha
On the Relations between Acceptable Programs and Stratifiable Classes.
141-150
1998
conf/sbia/1998
SBIA
db/conf/sbia/sbia98.html#ProttiZ98
https://doi.org/10.1007/10692710_15
Artur S. d'Avila Garcez
Gerson Zaverucha
Victor Navoarro Araujo Lemos da Silva
Applying the connectionist inductive learning and logic programming system to power system diagnosis.
121-126
1997
ICNN
https://doi.org/10.1109/ICNN.1997.611649
conf/icnn/1997
db/conf/icnn/icnn1997.html#GarcezZS97
Victor Navoarro Araujo Lemos da Silva
Guilherme N. F. de Souza
Gerson Zaverucha
An integration of neural networks and nonmonotonic reasoning for power system diagnosis.
1409-1413
1995
ICNN
https://doi.org/10.1109/ICNN.1995.487365
conf/icnn/1995
db/conf/icnn/icnn1995.html#SilvaSZ95
Gerson Zaverucha
Sheila R. M. Veloso
A Goal Directed Reasoning for Semi-Normal Default Theories.
112-120
1995
conf/sbia/1995
SBIA
db/conf/sbia/sbia95.html#ZaveruchaV95
https://doi.org/10.1007/BFb0034804
Gerson Zaverucha
A Prioritized Contextual Default Logic: Curing Anomalous Extensions with a Simple Abnormality Default Theory.
260-271
1994
conf/ki/1994
KI
db/conf/ki/ki94.html#Zaverucha94
https://doi.org/10.1007/3-540-58467-6_23
Gerson Zaverucha
Relevant logic as a basis for paraconsistent epistemic logics.
1992
2
J. Appl. Non Class. Logics
2
db/journals/jancl/jancl2.html#Zaverucha92
https://doi.org/10.1080/11663081.1992.10510783
225-241
Gerson Zaverucha
Logical Foundations of a Modal Defeasible Relevant Logic of Belief.
615-619
1992
conf/ecai/1992
ECAI
db/conf/ecai/ecai92.html#Zaverucha92
Gerson Zaverucha
A nonmonotonic multi-agent logic of belief: a Modal Defeasible Relevant approach.
1990
Imperial College London, UK
https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.718086
https://hdl.handle.net/10044/1/46629
British Library, EThOS
Leandro Pfleger de Aguiar
Sebastian Bader 0001
Fernanda BaiãoFernanda Araújo Baião
Valmir C. BarbosaValmir Carneiro Barbosa
Rodrigo Basilio
Juliana S. Bernardes
Tarek R. Besold
Howard Bowman
Alessandra Carbone
Felipe Carregosa
Luís Alfredo V. de CarvalhoLuís Alfredo Vidal de Carvalho
Alexandre L. Correa
Augusto Cesar Pinto Loureiro da Costa
Lygia Costa
Myriam Costa
Vítor Santos Costa
Flavia Cruz
Bruno Cuconato
Alberto M. R. Dávila
Pedro Delfino
Pedro M. Domingos
Ana Luísa Duboc
Nelson F. F. Ebecken
Alexandre G. Evsukoff
Cainã Figueiredo
Leticia Freire de Figueiredo
Leonardo Fogel
Manoel V. M. FrançaManoel Vitor Macedo França
Artur S. d'Avila Garcez
Victor Guimarães 0001
Nelson A. Hallack
Pascal Hitzler
Kai-Uwe Kühnberger
Luís C. Lamb
Priscila M. V. LimaPriscila Machado Vieira Lima
Carina Lopes
Daniel Lowd
Thais Luca
Marta Mattoso
Daniel Sadoc Menasché
Romulo M. de Menezes
Lucas Miranda
Stephen H. Muggleton
Alvaro Kilkerry Neto
João Gabriel Lopes de OliveiraJoão Gabriel Lopes
Aline PaesAline Marins Paes
David PageC. David Page Jr.
Guilherme Paulino-Passos
Leo de Penning
Aloísio Carlos de Pina
Gadi Pinkas
Cristiano Grijó Pitangui
Hoifung Poon
Fábio Protti
Alexandre Rademaker
Kate Revoredo
Guilherme Ferreira Ribeiro
Rodrigo Azevedo Santos
Roosevelt Sardinha
Tatiana Sciammarella
Jude W. Shavlik
Victor Navoarro Araujo Lemos da Silva
Guilherme N. F. de Souza
Ashwin Srinivasan 0001
Marcelo Andrade Teixeira
Guilherme Terra
Catherine Vaquero
Sheila R. M. Veloso
Daniel Vieira
Fabio R. J. Vieira
Cláudia M. L. WernerCláudia Maria Lima Werner
Filip Zelezný