Publications
 
 
  1. Garcez, A. S., Zaverucha, G. 1999. The Connectionist Inductive Learning and Logic Programming System. Applied Intelligence Journal, Vol. 11, Number 1, pp. 59-77.
  2. N. Hallack, G. Zaverucha and V. Barbosa 2000. Towards a Hybrid Model of First-Order Theory Refinement. Presented in Neural Information Processing Systems (NIPS)/ Workshop on Hybrid Neural Symbolic Integration , 4-5 December 1998, Breckenridge, Colorado, USA. Extended revised version published in Hybrid Neural Systems, S. Wermter and R. Sun (eds.), Lecture Notes in Artificial Intelligence vol. 1778, pp. 92-106, Springer Verlag.
  3. Alexandre L. Correa, Claudia M. L. Werner, Gerson Zaverucha 2000. Object Oriented Design Expertise Reuse: an Approach Based on Heuristics, Design Patterns and Anti-Patterns. To appear in Proc. International Conference on Software Reuse, Viena, Austria, Lecture Notes in Computer Science, Springer Verlag.
  4. F. Baiao, M. Mattoso and G. Zaverucha. 2000. A New Horizontal Fragmentation Approach for ODMS Open Issues and Performance Evaluation. Proc. of the 19th IEEE International Performance, Computing and Communications Conference (IPCCC-2000), February 20-22, Phoenix, Arizona, pp. 108-114.
  5. F. Baião, M. Mattoso, G. Zaverucha 2000. A Methodology for the Design of Distributed OODBMS. Proc. "ECOOP 2000 Workshop for PhD Students in

    6. Object-Oriented Systems" (PhDOOS'2000), Sophia Antipolis, France, June 2000.
  6. E. Tito, G. Zaverucha, M. Vellasco, M. A. Pacheco 1999. Applying Bayesian Neural Networks to Electric Load Forecasting. In Proc. Sixth IEEE International Conference on Neural Information Processing (ICONIP'99), 16-20 November, Perth, Australia, Volume 1, pp. 407-411.
  7. M.A. Teixeira, G. Zaverucha, Silva, V. N. and Ribeiro, G.F. 1999. Recurrent Neural Gas. International Joint Conference on Neural Networks 1999, Washington D.C. (July 1999), Volume 5, pp. 3468-3473.
  8. Kilkerry Neto, A., Zaverucha, G, Carvalho, L.A. 1999. An Implementation of a Theorem Prover in Symmetric Neural Networks. International Joint Conference on Neural Networks 1999, Washington D.C. (July 1999), Volume 6, pp. 4139-4144.
  9. M.A. Teixeira, G. Zaverucha, Silva, V. N. and Ribeiro, G.F. 1999. "Evaluation and Comparison of Different Architectures Using Elman Networks Applied to Electric Load Forecasting", in the Proc. of the IEEE International Conference on Intelligent Systems Applications to Power Systems (ISAP'99), 4-8 April, pp. 3-7.
  10. F. Protti and G. Zaverucha. 1998, "On the Relations Between Acceptable Programs and Stratifiable Classes", Proc. of the 14th Brazilian Symposium on Artificial Intelligence (SBIA-98), Porto Alegre, Brazil, November 1998, LNAI 1515, Springer Verlag, pp. 141-150.
  11. R Menezes, G. Zaverucha and V. Barbosa. 1998, " A Penalty-Function Approach to Rule extraction from Knowledge-Based Neural Networks", in Proc. Fifth International Conference on Neural Information Processing (ICONIP'98), Vol. 3 pp. 1497-1500, 21-23 October 1998, Kitakyushu, Japan.
  12. R. Basilio, G. Zaverucha and A. Garcez. 1998. " Inducing Relational Concepts with Neural Networks Via the LINUS System", Proc. Fifth International Conference on Neural Information Processing (ICONIP'98), Vol. 3 pp. 1507-1510, 21-23 October 1998, Kitakyushu, Japan.
  13. F. Baiao, M. Mattoso and G. Zaverucha. 1998. " A Knowledge-Based Perspective of the Distributed Design of Object Oriented databases", Ed. Nelson F. Ebecken, Data Mining, pp. 383-399, WIT Press, England, 1998.
  14. F. Baiao, M. Mattoso and G. Zaverucha .1998. " Towards an Inductive Design of Distributed Object Oriented Database", Proc. of the Third IFCIS Conference on Cooperative Information Systems (COOPIS'98), IEEE Computer Society, New York, USA, August 20-22 1998", pp.188-197.
  15. L.Fogel and G. Zaverucha, 1998. " Normal programs and Multiple Predicate Learning", Proc. of the 8th International Conference on Inductive Logic Programming (ILP'98), Madison, July 22-24 1998, LNAI 1446, Springer Verlag, pp. 175-184.
  16. F. Baiao, M. Mattoso and G. Zaverucha, 1998. "Issues in Knowledge Discovery in Databases, Proc. World Multiconference on Systemics, Cybernetics and Informatics / Fourth International Conference on On Information Systems, Analysis and Synthesis, Vol. 2 pp. 164-169. (SCI'98), Orlando, Florida, USA, July 1998.
  17. F. Protti and G. Zaverucha, 1997. "Recognizing Classes of Logic Programs", Journal of the IGPL, Vol 5, Number 6, November 1997, pp. 913-915.
  18. Artur S. d'Avila Garcez, Gerson Zaverucha and Victor N. A.L. da Silva, 1997. "Applying the Connectionist Inductive Learning and Logic Programming System to Power System Diagnosis," Proceedings of the IEEE / INNS International Conference on Neural Networks (ICNN-97), 9-12 June 1997, Houston, Texas, USA, Vol.1, pp.121-126.
  19. Artur S. d'Avila Garcez, Gerson Zaverucha and Luis Alfredo Carvalho, 1997. "Logic Programming and Inductive Learning in Artificial Neural Networks," Knowledge Representation in Neural Networks, Logos Verlag, 1997, pp. 33-46.
  20. Artur S. d'Avila Garcez, Gerson Zaverucha, and Luis Alfredo Carvalho, 1996."Logical Inference and Inductive Learning in Artificial Neural Networks," XII European Conference of Artificial Intelligence, ECAI'96, Workshop on Neural Networks and Structured Knowledge, August 12-16 1996, Budapest, Hungary,pp. 41-49.
  21. Gerson Zaverucha, "On Cumulative Default Logic With Filters,1996." Proceedings of the 6th International Workshop on Nonmonotonic Reasoning, Timberline, Oregon, USA, 10-12 June 1996, pp. 132-140.
  22. Gerson Zaverucha, and Sheila R. M. Veloso, 1995. "A Goal-Directed Reasoning For Semi-normal Default Theories," Proceedings of the Brazilian Symposium on Artificial Intelligence (SBIA-95), Campinas, Brazil,1995, LNAI 991, Springer Verlag, pp. 112-120.
  23. Gerson Zaverucha and Joao Carlos P. da Silva, 1995. "An Extension of Poole's Logical Framework For Default Reasoning To Multiple Agent," Logic, Sets and Information, Ed. W. Carnielli and L. Pereira, CLE-UNICAMP, 1995, Vol 14  pp. 247-274.
  24. Victor N. A.L. da Silva, Guilherme N. F. Souza and Gerson Zaverucha, 1995. "An Integration of Neural Networks and Nonmonotonic Reasoning for Power Systems Diagnosis," Proceedings of the IEEE International Conference on Neural Networks (ICNN-95), 27 Nov - 1 Dec 1995, Perth, Australia, Vol. 3, pp. 1409-1413.
  25. Marco L. Ferramola, Gerson Zaverucha and Sheila R.M. Veloso, 1995. "A Computational Approach to Relevant Logics," Journal of IGPL Vol 3, Number 1 March 1995, pp. 138-139.
  26. Victor N. A.L. da Silva, Luis Alfredo Carvalho and Gerson Zaverucha, 1994."Artificial Neural Networks for Power System Diagnosis," Proceedings of the IEEE World Congress On Computational Intelligence /International Conference on Neural Networks (ICNN-94),27 - 29 Junho, Orlando, Florida, USA, Vol. VI, 3738 - 3743.
  27. Gerson Zaverucha 1994. "A Prioritized Contextual Default Logic: Curing Anomalous Extensions with a Simple Abnormality Default Theory," Proceedings of the 18th German Conference on Artificial Intelligence (KI-94), LNAI 861, Springer Verlag, pp. 260 - 271, Saarbrucken, Germany, 1994.
  28. Gerson Zaverucha,1992. "Relevant Logic As A Basis For Paraconsistent Epistemic Logics," Journal of Applied Non-Classical Logics 2 (No.2), 1992, pp. 225-241.
  29. Gerson Zaverucha, 1992. "Logical Foundations of A Modal Defeasible Relevant Logic of Belief," Proceedings of the X European Conference of Artificial Intelligence, ECAI92, Vienna, Austria, 1992, edited by Bernd Neumann, pp. 615 - 619, John Wiley & Sons.
  30. Gerson Zaverucha, 1991. "A Goal Directed Theorem Prover For A Modal Defeasible Relevant Logic," Proceedings of the 9th International Congress of Logic, Methodology and Philosophy of Science (LMPS 91), August 1991, Uppsala, Sweden, pp.98.