Curriculum Vitæ

1 Dados pessoais

Nome: Guilherme Bittencourt

Cargo: Professor Adjunto do Departamento de Automação e Sistemas (DAS) da Universidade Federal de Santa Catarina (UFSC).

Data de nascimento: 21 de julho de 1956

Natural de Porto Alegre - RS - Brasil

2 Endereço

Departamento de Automação e Sistemas (DAS)

Centro Tecnológico (CTC)

Universidade Federal de Santa Catarina (UFSC)

88040-900 - Florianópolis - SC - Brasil

Telefone: (48) 3721 7665

Fax: (48) 3721 9934

E-mail: gb@das.ufsc.br

Internet: http://www.das.ufsc.br/gb

3 Áreas de interesse

Ciências Exatas e da Terra (1.00.00.00-3)
- Ciência da Computação (1.03.00.00-7)
  - Teoria da Computação (1.03.01.00-3): Inteligência Artificial
  - Matemática da Computação (1.03.02.00-0): Lógica e Representação de Conhecimento
  - Sistemas de Computação (1.03.04.00-2): Sistemas Especialistas e Sistemas Multiagentes
Engenharias (3.00.00.00-9)
- Engenharia Elétrica (3.04.00.00-7)
  - Eletrônica Industrial, Sistemas e Controles Eletrônicos (3.04.05.00-9): Robótica e Inteligência Computacional

4 Formação acadêmica

ENGENHEIRO ELETRICISTA - Opção Eletrônica, Escola de Engenharia - Universidade Federal do Rio Grande do Sul - UFRGS, Porto Alegre - RS, dezembro de 1979.
BACHAREL EM FÍSICA, Instituto de Física - Universidade Federal do Rio Grande do Sul - UFRGS, Porto Alegre - RS, dezembro de 1981.
MESTRE EM COMPUTAÇÃO APLICADA, Instituto Nacional de Pesquisas Espaciais - INPE/MCT, São José dos Campos - SP, Título da Dissertação: Solução analítica de equações diferenciais ordinárias de primeira e segunda ordem por computador, orientador Dr. Luiz Alberto Vieira Dias, outubro de 1984.
DIPLOME D'ETUDES APPROFONDIES (DEA) EN INFORMATIQUE, Laboratoire d'Informatique Fondamentale et d'Intelligence Artificielle - Institut National Polytechnique de Grenoble - LIFIA/INPG, Grenoble - França, Título do Trabalho: Intégration d'Outils Graphiques dans un Logiciel de Calcul Formel, orientador Dr. Jacques Calmet, julho de 1986.
DOKTOR DER NATURWISSENSCHAFTEN (Dr. Rer. Nat.), Fakultät für Informatik - Universität Karlsruhe, Karlsruhe - Alemanha, Título da Tese: An Architecture for Hybrid Knowledge Representation, orientador Dr. Jacques Calmet, janeiro de 1990.

5 Atividades profissionais

março a setembro de 1976: PROGRAMADOR ESTAGIÁRIO, Diretiva - Consultoria de Administração Ltda, Porto Alegre - RS, estágio em programação comercial (COBOL).
fevereiro de 1980 a fevereiro 1982: ENGENHEIRO DE SOFTWARE, Instituto de Física - Universidade Federal do Rio Grande do Sul - UFRGS, Porto Alegre - RS, Assessor da Coordenadoria de Computação.
02 de agosto de 1982 a agosto de 1989: ASSISTENTE DE PESQUISAS, Instituto Nacional de Pesquisas Espaciais - INPE, São José dos Campos - SP
agosto de 1989 a novembro de 1990: PESQUISADOR AUXILIAR, Instituto Nacional de Pesquisas Espaciais - INPE, São José dos Campos - SP
novembro de 1990 até julho de 1993: PESQUISADOR ADJUNTO, Instituto Nacional de Pesquisas Espaciais - INPE, São José dos Campos - SP
julho 1993 até 03 de julho de 1995: PESQUISADOR TITULAR, Instituto Nacional de Pesquisas Espaciais - INPE, São José dos Campos - SP
05 de setembro de 1995 até 20 junho de 1997: PROFESSOR ADJUNTO, Departamento de Engenharia Elétrica - Laboratório de Controle e Microinformática - Universidade Federal de Santa Catarina - UFSC, Florianópolis - SC
20 junho de 1997 até o presente: PROFESSOR ADJUNTO, Departamento de Automação e Sistemas - Universidade Federal de Santa Catarina - UFSC, Florianópolis - SC

6 Publicações

6.1 Livros

BITTENCOURT, Guilherme An Architecture for Hybrid Knowledge Representation. Ph.D. Thesis, Universität Karlsruhe, 250 p., 31 Januar 1990 (INPE - 5123 - RPE/628, setembro 1990).
BITTENCOURT, Guilherme Inteligência Artificial Ferramentas e Teorias. publicado pela Décima Escola de Computação, Departamento de Ciência da Computação, UNICAMP, Campinas, SP, 240 p., 1996.
BITTENCOURT, Guilherme Inteligência Artificial Ferramentas e Teorias. Editora da UFSC, ISBN 85-328-0138-2, 362 p., Florianópolis, SC, 1998 (1 edição), 2001 (2 edição), 2006 (3 edição).
BITTENCOURT, Guilherme; RAMALHO, Geger (Editors) Advances in Artificial Intelligence 16th Brazilian Symposium on Artificial Intelligence (SBIA'2002). Lecture Notes in Artificial Intelligence, Vol. 2507, Springer Verlag, ISSN 0302-9743, ISBN 3-540-00124-7, November 10-14, 391 p., 2002.
QUEIROZ, Ruy de ; MACINTYRE, Agnus; BITTENCOURT, Guilherme (Editors) Proceedings of the 12 Workshop on Logic, Language, Information and Computation, held in July 19-22, 2005, Florianópolis, Santa Catarina, Brazil, Electronic Notes in Theoretical Computer Science, ISSN 1571-0661, Vol. 143, 222 p., 6 January 2006 (http://www.cin.ufpe.br/~wollic/wollic2005/).

6.2 Capítulos de livros

BITTENCOURT, Guilherme Representação de conhecimento: da metafísica aos programas. pp. 283-333, Capítulo 6 do Livro texto da XVII Jornada de Atualização em Informática (355 p.), Hermano Perrelli de Moura (Editor), XVIII Congresso Nacional da Sociedade Brasileira de Computação, UFMG, Belo Horizonte, MG, agosto de 1998.
BITTENCOURT, Guilherme; MARCHI, Jerusa An Embodied Logical Model for Cognition. Chapter 2 of Artificial Cognition Systems, Angelo Loula, Ricardo Gudwin and João Queiroz (Editors), Idea Group, Inc. (ISBN: Hard cover: 1-59904-111-1, Soft cover: 1-59904-112-X, E-Book: 1-59904-113-8), pp. 27-63, 2006.
MARCHI, Jerusa; BITTENCOURT, Guilherme; PERRUSSEL, Laurent Prime Forms and Belief Revision. Perspectives on Universal Logic, Jean-Yves Béziau and Alexandre Costa-Leite (Editors), Polimetrica International Scientific Publisher (ISBN 978-88-7699-077-9), Monza, Italy, pp. 365-377, 2007.

6.3 Artigos em revista

BITTENCOURT, G. Boxing Theories (Extended Abstract). ``Journal of the Interest Group in Pure and Applied Logics (IGPL)'', ISSN 0945-9103, Imperial College, London and Max-Planck-Institut, Saarbrücken, Vol. 4, No. 3, pp. 479-481, 1996.
BITTENCOURT, G. Concurrent Inference through Dual Transformation. ``Logic Journal of the Interest Group in Pure and Applied Logics (IGPL)'', ISSN 0945-9103, Oxford University Press, Vol. 6, No. 6, pp. 795-834, November, 1998.
BITTENCOURT, G. e TONIN, I. An Algorithm for Dual Transformation in First-Order Logic. ``Journal of Automated Reasoning'', ISSN 0168-7433, Kluwer Academic Publishers, Vol. 27, No. 4, pp. 353-389, November, 2001.
FREITAS, F.L.G. de; BITTENCOURT, G. Comunicação entre Agentes em Ambientes Distribuídos Abertos: o Modelo "peer-to-peer". ``Revista Eletrônica de Iniciação Científica'', (http://www.sbc.org.br/reic/), ISSN 1519-8219, Sociedade Brasileira de Computação, Ano II, Vol. II No. II, Junho de 2002.
POZZEBON, E.; FRIGO, L.B.; BITTENCOURT, G. Inteligência Artificial na educação universitária: quais as contribuições? Revista do Centro de Ciências da Economia e Informática da URCAMP, ISSN 1415-2061, Editora EDIURCAMP, Vol. 8, No. 13, pp. 34-41, Bagé, RS, 2004.
POZZEBON, E.; CARDOSO, J.; BITTENCOURT G.; CHIHAB, H. A Group Learning Management Method for Intelligent Tutoring Systems. Informatica, ISSN 0350-5596, Vol. 31, No. 2, pp. 191-199, June 2007.
FRIGO, L. B. ; CARDOSO, J. ; BITTENCOURT, G. . A Method for Modeling Adaptive Interactions in Intelligent Tutoring Systems. International Journal of Continuing Engineering Education and Life-Long Learning, ISSN (printed) 1560-4624, ISSN (electronic) 1741-5055, Inderscience Publishers, (http://www.inderscience.com/browse/index.php?journalID=6), Vol. 17, No. 4-5, pp. 381-391, 2007.
BITTENCOURT, G. Combining syntax and semantics through prime form representation Journal of Logic and Computation, Online ISSN 1465-363X, Print ISSN 0955-792X, Oxford University Press, Vol. 18, No. 1, pp. 13-33, February 2008.

6.4 Trabalhos em séries científicas internacionais

BITTENCOURT, G. Integration of Graphical Tools in a Computer Algebra System. ``Th. Beth and M. Clausen (Editors),Proceedings of the Fourth International Conference on Applicable Algebra, Error-Correcting Codes and Computer Algebra, Lecture Notes in Computer Science No. 307, Springer-Verlag, pp. 13-24, February 1988'', held in Karlsruhe, Germany, September 1986.
BITTENCOURT, G. A Connectionist-Symbolic Model for Cognition. In: ``J. Komorowski and Z.W. Ras (Editors), Proceedings of the 1993 International Symposium on Methodologies for Intelligent Systems (ISMIS'93), Lecture Notes in Artificial Intelligence No. 689 (ISBN 3-540-56804-2), Springer Verlag, pp. 538-547'', held in Trondheim, Norway, June 15-18, 1993.
BITTENCOURT, G. In the Quest of the Missing Link. ``Proceedings of the 15 International Joint Conference on Artificial Intelligence (IJCAI'97), Morgan Kaufmann (ISBN 1-55860-480-4)'', pp. 310-315, Nagoya, Japan, August 23-29, 1997.
BITTENCOURT, G. e TONIN, I. A Multi-Agent Approach to First-Order Logic. ``Proceedings of the 8 Portuguese Conference on Artificial Intelligence (EPIA'97), Lecture Notes in Artificial Intelligence No. 1323 (ISBN 3-540-63586-6), Springer-Verlag'', pp. 167-178, Coimbra, Portugal, October 6-9, 1997.
COSTA, A. C. P. L. e BITTENCOURT, G. Parla: A Cooperation Language for Cognitive Multi-Agent Systems. ``Proceedings of the 8 Portuguese Conference on Artificial Intelligence (EPIA'97), Lecture Notes in Artificial Intelligence No. 1323 (ISBN 3-540-63586-6), Springer-Verlag'', pp. 207-215, Coimbra, Portugal, October 6-9, 1997.
SÁ, C.C.; BITTENCOURT, G.; OMAR, N. An Autonomous Agent Architecture and the Locomotion Problem. ``Proceedings of the XIV Brazilian Symposium on Artificial Intelligence (SBIA'98), Lecture Notes in Artificial Intelligence No. 1515 (ISBN 3-540-65190-X), Springer Verlag'', pp. 11-20, PUCRS Campus, Porto Alegre, Brazil, November 3-6, 1998.
BITTENCOURT, G. e TONIN, I. A Proof Strategy Based on a Dual Representation. ``Proceedings of the Fifth International Conference on Artificial Intelligence and Symbolic Computation Theory, Implementations and Applications (AISC'2000), Lecture Notes in Artificial Intelligence, Springer Verlag'', Vol. 1930 (ISBN 3-540-42071-1), pp. 78-91, Madrid, Espanha, 17 a 19 de julho de 2000.
COSTA, A. C. P. L.; BITTENCOURT, G. Dynamic Social Knowledge: A Comparative Evaluation. ``Proceedings of the International Joint Conference IBERAMIA'2000 (Ibero-American Artificial Intelligence Conference) SBIA'2000 (Brazilian Artificial Intelligence Symposium), Lecture Notes in Artificial Intelligence, Springer Verlag'', Vol. 1952 (ISBN 3-540-41276-X), pp. 176-185, Atibaia, São Paulo, Brazil, November 19-22, 2000.
FREITAS, F.L.G. de; BITTENCOURT, G. Cognitive Multi-Agent Systems for Integrated Information Retrieval and Extraction over the Internet. ``Proceedings of the International Joint Conference IBERAMIA'2000 (Ibero-American Artificial Intelligence Conference) SBIA'2000 (Brazilian Artificial Intelligence Symposium), Lecture Notes in Artificial Intelligence, Springer Verlag'', Vol. 1952 (ISBN 3-540-41276-X), pp. 310-319, Atibaia, São Paulo, Brazil, November 19-22, 2000.
TONIN, I.; BITTENCOURT, G. A Concurrent Algorithm for Logical Subsumption. J.M. Abe and J.I. da Silva Filho (editors), Frontiers in Artificial Intelligence and Applications, Vol. 71, IOS Press (ISBN 1-58603-206-2, ISSN 0922-6389), pp. 263-269, Logic, Artificial Intelligence and Robotics (LAPTEC'2001), Faculdade SENAC de Ciências Exatas e Tecnologia, São Paulo, SP, 12 a 14 de novembro de 2001.
COSTA, A. C. P. L.; BITTENCOURT, G. Dynamic Social Knowledge: The Timing Evidence. ``Proceedings of Brazilian Artificial Intelligence Symposium (SBIA'2002), Lecture Notes in Artificial Intelligence, Springer Verlag'', ISSN 0302-9743, ISBN 3-540-00124-7, pp. 160-169, Vol. 2507, November 10-14, Porto de Galinhas/Recife, Brazil, 2002.
FREITAS, F.L.G. de; BITTENCOURT, G. An Ontology-based Architecture for Cooperative Information Agents. ``Proceedings of the 18 International Joint Conference on Artificial Intelligence (IJCAI'03), Morgan Kaufmann (ISBN 0-127-05661-0)'', pp. 37-42, Acapulco, México, August 9-15, 2003.
BITTENCOURT,G.; PERRUSSEL, L.; MARCHI, J. A Syntactical Approach to Revision. ``Proceedings of the 16 European Conference on Artificial Intelligence (ECAI'04), Ramon López de Mántaras and Lorenza Saitta (editors)'', ISBN 1-586-03452-9, pp. 788-792, Valencia, Spain, August, 22-27, 2004.
PEREIRA DE CASTRO, J.; POSTAL, A.; BITTENCOURT, G. A Genetic Algorithm with Feminine Selection. ``Proceedings of the 16 European Conference on Artificial Intelligence (ECAI'04), Ramon López de Mántaras and Lorenza Saitta (editors)'', ISBN 1-586-03452-9, pp. 244-248, Valencia, Spain, August, 22-27, 2004.
BITTENCOURT,G.; MARCHI, J. Propositional reasoning for an embodied cognitive model. ``Proceedings of the XVII Brazilian Symposium on Artificial Intelligence (SBIA'04), Lecture Notes in Artificial Intelligence, Springer Verlag, Ana L. C. Bazzan and Sofiane Labidi (editors)'', ISSN 0302-9743, ISBN 3-540-23237-0, Vol. 3171, pp. 164-173, São Luís, Maranhão, Brazil, September 29 - October 1, 2004.
MARCHI, J.; BITTENCOURT,G.; PERRUSSEL, L. A Syntactical Approach to Belief Update. ``Proceedings of the Fourth Mexican International Conference on Artificial Intelligence (MICAI'05), Lecture Notes in Computer Science Vol. 3789, Springer-Verlag (ISSN 0302-9743), pp. 142-151, Alexander Gelbukh, Álvaro Albornoz, Hugo Terashima-Marín (editors)'', held in Tecnológico de Monterrey, Monterrey, Nuevo León, Mexico, November, 14-18, 2005.
GONÇALVES, E.M.N.; BITTENCOURT, G. A Planning-Based Knowledge Acquisition Methodology. Kazumi Nakamatsu and Jair Minoro Abe (editors), Advances in Logic Based Intelligent Systems, Frontiers in Artificial Intelligence and Applications, Vol. 132, IOS Press (ISBN 1-58603-568-1, ISSN 0922-6389), pp. 105-112, Selected Papers of the 5 Congress of Logic Applied to Technology (LAPTEC 2005) held in Himeji, Japan, April, 2-4, 2005.
GONÇALVES, E.M.N.; BITTENCOURT, G. Strategies for multi-agent coordination in a grid world using Petri nets. Francesca Toni and Paolo Torroni (editors), Proceedings of the Sixth International Workshop on Computational Logic in Multi-Agent Systems (CLIMA VI), City University London, UK, June 27-29, 2005, Lecture Notes in Computer Science, Springer Verlag, ISSN 0302-9743, ISBN 3-540-33996-5, Vol. 3900, pp. 414-419, 2006.

6.5 Trabalhos de circulação internacional

BITTENCOURT, G. A Unified Formalism for Knowledge Representation. ``M.L. Emrich, Z.W. Ras and M.S. Phifer (Editors), Proceedings of the Third International Symposium on Methodologies for Intelligent Systems Colloquia Program, ORNL/DSRD-11, Oak Ridge National Laboratory, pp. 111-121, 1988'', held in Torino, Italy, October 12-15, 1988 (Rapport de Recherche RR 747-I-IMAG 87 LIFIA, Laboratoire dÍnformatique Fondamentale et dÍntelligence Artificielle (LIFIA), Grenoble, France, Octobre 1988).
BITTENCOURT, G. A System to Aid in the Specification of Knowledge-Based Systems. ``J. Hannu and L. Seppo (Editors), Proceedings of the Second Scandinavian Conference on Artificial Intelligence, pp. 687-700, 1989'', held in Tampere, Finland, June 13-15, 1989.
BITTENCOURT, G. A Hybrid System Architecture and its Unified Semantics. ``Z.W. Ras (Editor), Proceedings of the Fourth International Symposium on Methodologies for Intelligent Systems, North-Holland, pp. 150-157, 1989'', held in Charlotte, NC, October 12-14, 1989 (Interner Bericht Nr. 8-89, Universität Karlsruhe, Fakultät für Informatik, Juni 1989).
BITTENCOURT, G. A Four-Valued Semantics for a N-Valued Terminological Language. ``Proceedings of the Second International Symposium on Artificial Intelligence'', held in Monterrey, Mexico, October 23-27, 1989.
CALMET, J.; TJANDRA, O.; BITTENCOURT, G. A Framework for Representing Algebraic Knowledge Using a Hybrid Knowledge Representation System. ``Proceedings of the Fourth International Symposium on Knowledge Engineering'', held in Barcelona, Spain, May 1990.
BITTENCOURT, G. The Integration of Terminological and Logical Knowledge Representation Languages. ``Proceedings of the Fifth International Symposium on Methodologies for Intelligent Systems, North-Holland, 1990'', held in Knoxville, Tennessee, October 24-27, 1990 (INPE - 5092 - PRE/1597, 1990).
CALMET, J.; TJANDRA, O.; BITTENCOURT, G. MANTRA: A Shell for Hybrid Knowledge Representation. ``S. Lee, B. Wah, N.G. Bourbakis and W.T. Tsai (Editors), Proceedings of the Third International Conference on Tools for Artificial Intelligence (ICTAI'91), IEEE Computer Society Press, 1991'', held in San José, California, November 10-13, 1991 (INPE - 5334 - PRE/1733, dezembro de 1991).
BITTENCOURT, G.; MARENGONI, M. A Customizable Tool for the Generation of Production-Based Systems. ``G. Rzevski, J. Pastor and R.A. Adey (Editors), Eighth International Conference on Applications of Artificial Intelligence in Engineering (AIENG'93), Vol. 1: Design, Methods and Techniques, pp. 337-352, Computational Mechanics Publications, Elsevier Applied Science'', held in Toulouse, France, 29 June - 1 July, 1993.
SANDRI, S.; BITTENCOURT, G.; MARENGONI, M. The Use of Possibilistic Logic PL1 in a Customizable Tool for the Generation of Production-Rule Based Systems. Second European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU'93), Granada, Spain, November 8-10, 1993.
SANDRI, S.; BITTENCOURT, G. Possibilistic Semantic Nets. Fifth International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems, pp. 838-843, Paris, France, July 4-8, 1994.
CARDOSO, J.; BITTENCOURT, G.; CASTILLO, A. Rule-Based Simulation of Petri Nets with Imprecise Markings. Brazil-Japan Joint Symposium on Fuzzy Systems, Campinas-Manaus, Brazil, pp. 233-238, July 19-27, 1994.
BITTENCOURT, G., SOUZA, G.F. de A Rete Match Algorithm for a Multirepresentation Expert System Shell. ``Proceedings of the XI Brazilian Symposium on Artificial Intelligence (SBIA'94)'', pp. 471-482, October, 17-21, in Fortaleza, CE, 1994.
BITTENCOURT, G., CALMET, J., HOMANN, K., LULAY, A.MANTRA: A Multi-Level Hybrid Knowledge Representation System.``Proceedings of the XI Brazilian Symposium on Artificial Intelligence (SBIA'94)'', pp. 493-506, October, 17-21, Fortaleza, CE, 1994.
RAMOS, J.J.G.; SILVA, P.P. da; BITTENCOURT, G. e SEIBEL, C.W. A Transputer Forth-Based Fuzzy Inference Machine for Helicopter Guidance. ``Proceedings of the Sixth International Fuzzy Systems Association World Congress (IFSA'95)'', pp. 541-544, July 22-28, São Paulo, SP, 1995.
SÁ, C.C.; BITTENCOURT, G.; OMAR, N. An Architecture for a Mobile Autonomous Agent. ``Erol Gelenbe and Nestor Schmajuk (Editors), Proceedings of the Workshop on Biologically Inspired Autonomous Systems, Computation, Cognition and Control with Applications to Robotics, Imaging and Large Scale Networks'', Department of Electrical & Computer Engineering, Duke University, Durham, North Caroline, USA, March, 1996.
COSTA, A. C. P. L. e BITTENCOURT, G. Expert-Coop: An Environment for Cognitive Multi-Agent Systems. ``Proceedings of the IFAC/IFIP Conference on Management and Control of Production and Logistics (IFAC/IFIP-MCPL'97), Elsevier Science'', pp. 492-497, Campinas, SP, Brazil, August 31-September 3, 1997.
CARDOSO, J.; BITTENCOURT, G.; CAIMI, L.L. A Rule-Based Tool for Petri Net Management. Computational Engineering in Systems Applications (CESA'98), Nabeul-Hammamet, Tunisia, April 1-4, 1998.
CARDOSO, J.; BITTENCOURT, G.; CAIMI, L.L. A Frame-Based Representation for Fuzzy Petri Net. IEEE World Congress on Computational Intelligence (WCCI'98), Anchorage, Alaska, USA, May 4-9, 1998.
CAIMI, L.L.; CARDOSO, J.; BITTENCOURT, G. A Rule-Based Tool for Fuzzy Petri Net Simulation. ``Proceedings of the Seventh Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems (IPMU'98), Editions EDK (ISBN 2-84254-013-1)'', pp. 1618-1625, Université de La Sorbonne, Paris, França, 06 a 10 de julho de 1998.
FREITAS, F.L.G. de; BITTENCOURT, G.; CALMET, J. MASTER-Web: An Ontology-based Internet Data Mining Multi-Agent System. International Conference on Advances in Infrastructure for Electronic Business, Science, and Education on the Internet (SSGRR-2001), ISBN 8885280617, Scuola Superiore G. Reiss Romoli, L'Aquilla, Itália, 6 a 12 de agosto de 2001.
BITTENCOURT, G. e COSTA, A. C. P. L. A Hybrid Cognitive Model. Workshop on Cognitive Agents and Multi-Agent Interaction at The Third International Conference on Cognitive Science (ICCS'2001), Pequim, China, 27 a 31 de agosto de 2001.
BITTENCOURT, G.; MARCHI, J.; PADILHA, R.S. A Syntactic Approach to Satisfaction. Proceedings of the 4th International Workshop on the Implementation of Logics (Konev, B. and Schimidt, R. eds.), 10th International Conference on Logic for Programming Artificial Intelligence and Reasoning (LPAR'03), University of Liverpool, University of Manchester, pp. 18-32, Almaty, Kazakhstan, Friday September 26th, 2003 (http://www.csc.liv.ac.uk/~konev/wil2003/).
CARDOSO, J.; BITTENCOURT, G.; FRIGO L.B.; POZZEBON, E.; POSTAL, A. MathTutor: A Multi-Agent Intelligent Tutoring Systems. IFIP WG12.6 - First IFIP Conference on Artificial Intelligence Applications and Innovations (AIAI 2004), IFIP World Computer Congress (WCC2004), Kluwer Academic Publishers, ISSN/ISBN: 1402091502, pp. 231-242, Toulouse, France, August, 22-27, 2004.
FRIGO L.B.; CARDOSO, J.; BITTENCOURT, G. Adaptive Interaction in Intelligent Tutoring Systems. Ioannis Hatzilygeroudis (Editor), International Workshop on Combining Intelligent and Adaptive Hypermedia Methods/Techniques in Web-Based Education Systems, HT 2005 - Sixteenth ACM Conference on Hypertext and Hypermedia, Salzburg, Austria, September 4-9, 2005.
SANTOS, C.H.; BITTENCOURT, G.; GUENTHER, R.; PIERI, E. De A fuzzy hybrid singularity avoidance for underwater vehicle-manipulator systems. Proceedings of the 12th IFAC Symposium on Information Control Problem in Manufacturing, Edited by A. Dolgui, G. Morel and C.E. Pereira, Track "Robotics And Factory Of The Future" Session: Artificial Intelligence in Robotics, Chairs: Nof S., Borangiu T., Saint-Etienne, France, 17-19 May 2006, ISBN: 978-0-08-044654-7, ISBN10: 0-08-044654-X, Elsevier Science vol. 1, pp. 209-214, 2006 (http://www.emse.fr/incom06/).
SANTOS, C.H.; BITTENCOURT, G.; GUENTHER, R.; PIERI, E. De A fuzzy hybrid approach to inverse kinematics of underwater vehicle-manipulator systems. 8th International IFAC Symposium on Robot Control, SYROCO 2006, Santa Cristina Convent, University of Bologna, Italy, September 6-8, 2006 (http://www.syroco2006.deis.unibo.it/).
SANTOS, C.H.; BITTENCOURT, G.; GUENTHER, R.; PIERI, E. De Redundancy resolution for underwater vehicle-manipulator systems using a fuzzy expert system. Proceedings of the 2006 IEEE International Conference on Control Applications, Munich, Germany, pp. 2848-2853, October 2006 (http://www.elet.polimi.it/conferences/cca06/).
SANTOS, C.H.; BITTENCOURT, G.; GUENTHER, R.; PIERI, E. De Singularity avoidance in redundat robots using hybrid automaton. Proceedings of the 2006 IEEE International Conference on Control Applications, Munich, Germany, pp. 2854-2859, October 2006 (http://www.elet.polimi.it/conferences/cca06/).
BITTENCOURT, G. An Embodied Model for Higher-Level Cognition. Proceedings of the 29th Annual Cognitive Science Society (CogSci2007), D. S. McNamara and J. G. Trafton (editors), Cognitive Science Society, Austin, TX, ISBN 0-9768318-3-X, pp. 107-112, Nashville, Tennessee, USA, August 1-4, 2007.
PEREZ, A.L.F.; ROISENBERG, M.; BITTENCOURT, G. Embodied Evolution with a new Genetic Programming Variation Algorithm. Fourth International Conference on Autonomic and Autonomous Systems. IEEE Computer Society, ISBN 978-0-7695-3093-2, pp. 118-123, Gosier, Guadeloupe, 16-21 March 2008.
PEREZ, A.L.F.; BITTENCOURT, G.; ROISENBERG, M. A new Approach to Control a Population of Mobile Robots using Genetic Programming. Proceedings of the 23rd Annual ACM Symposium on Applied Computing, ISBN 978-1-59593-753-7, Lorie M. Liebrock (editor), Association of Computing Machinery, pp. 1602-1606, Fortaleza, Ceará, Brazil, 16-20 March 2008.

6.6 Resumos de circulação internacional

BITTENCOURT, G.Logical Inference through Dual Transformation. Workshop on Logic, Language, Information and Computation (WoLLIC'94), pp. 7-9, Recife, PE, Brazil, July 28-30, 1994.
BITTENCOURT, G.A Concurrent Algorithm for Dual Transformation. Workshop on Logic, Language, Information and Computation (WoLLIC'95), Recife, PE, Brasil, July 26-28, 1995.
BITTENCOURT, G. Boxing Theories. Workshop on Logic, Language, Information and Computation (WoLLIC'96), Salvador, BA, Brasil, May 8-10, 1996.
COSTA, A. C. P. L. e BITTENCOURT, G. Dynamic Social Knowledge: A Cognitive Multi-Agent System Cooperation Strategy. ``Proceedings of the Third International Conference on Multi-Agent Systems Conference (ICMAS'98), IEEE Computer Society (ISBN 0-8186-8500-X)'', pp. 415-416, Paris, França , 04 a 07 de julho de 1998.
COSTA, A. C. P. L. e BITTENCOURT, G. From the Concurrent Architecture to the Concurrent Autonomous Agents Architecture. ``IJCAI-99 Third International Workshop on RoboCup, City Conference Center, Stockholm'', Sweden, 31 July - 6 August 1999.
COSTA, E.B.; SANTOS, R.; FRERY, A.; BITTENCOURT, G. Towards an Authoring Methodology in Large-Scale e-Learning Environments on the Web. International Conference on Intelligent Tutoring Systems (ITS 2004), Maceió, AL, 2004.
BITTENCOURT,G.; MARCHI, J. What's in a name? Journées Nationales sur les Modèles de Raisonnement, pp. 301, http://www.cril.univ-artois.fr/~marquis/articlesJNMR-03.html Paris, França, 2003.
SAMPAIO SILVA, T. de M.; FREITAS, F.L.G. de; TESKE, R.C. da S.; BITTENCOURT, G. Semantic Information Generation from Classification and Information Extraction. Proceedings of the 4th International Conference on Web Engineering (ICWE 2004), Nora Koch, Piero Fraternali, Martin Wirsing (editors), Lecture Notes in Computer Science Vol. 3140, Springer-Verlag, ISBN 3-540-22511-0, pp. 573-574, Munich, Germany, July 26-30, 2004.

6.7 Trabalhos em eventos nacionais e regionais

BITTENCOURT, G.; DIAS, L.A.V. Solução analítica de equações diferenciais ordinárias de primeira e segunda ordem utilizando o programa de manipulação algébrica REDUCE 2. III Simpósio Castelan em Matemática Aplicada, Universidade Federal de Santa Catarina, Florianópolis - SC, abril de 1983 (INPE - 2719 - PRE/305, maio de 1983).
BITTENCOURT, G.; DIAS, L.A.V. Solução analítica por computadores de equações diferenciais ordinárias de primeira e segunda ordem utilizando o método de desenvolvimento em séries. 6o Congresso Nacional de Matemática Aplicada e Computacional, São José dos Campos - SP, 23 a 30 de setembro de 1983 (INPE - 2980 - PRE/442, setembro de 1983).
BITTENCOURT, G. Uma proposta de extensão da linguagem LISP. XI Seminário Integrado de Software e Hardware, Universidade Federal de Viçosa, julho de 1984 (INPE - 3056 - PRE/476, abril de 1984).
BITTENCOURT, G.; DIAS, L.A.V. Manipulação de séries no REDUCE 2. 7o Congresso Nacional de Matemática Aplicada e Computacional, Campinas Palace Hotel, Campinas - SP, setembro de 1984 (INPE - 3442 - PRE/698, março de 1985).
BITTENCOURT, G.; DIAS, L.A.V. Utilização do REDUCE 2 para programação simbólica. V Seminário ADUNESP - Guaratinguetá, Faculdade de Engenharia de Guaratinguetá, Guaratinguetá - SP, outubro de 1984 (INPE - 3355 - PRE/633, dezembro de 1984).
FREITAS, F.L.G. de; BITTENCOURT, G. Transformada de Laplace no REDUCE 2. 2o Encontro Regional de Matemática Aplicada e Computacional, São José dos Campos - SP, 16 a 17 de maio de 1985, (INPE - 3649 - PRE/816, setembro de 1985).
SENNE, E.L.F.; BITTENCOURT, G. Um sistema para compilação de funções LISP. 8o Congresso Nacional de Matemática Aplicada e Computacional, Florianópolis, SC, setembro de 1985. (INPE - 3709 - PRE/846, novembro de 1985).
SENNE, E.L.F.; BITTENCOURT, G. Sistema ALISP. 5o Simpósio sobre Desenvolvimento de Software Básico, UFMG, BeloHorizonte, MG, novembro de 1985. (INPE - 3753 - PRE/876,janeiro de 1986).
BITTENCOURT, G. A Hybrid Knowledge Representation Tool. 7o Simpósio Brasileiro de Inteligência Artificial, Campina Grande, PB, 12 a 16 de novembro de 1990.
SILVA, F.A.T.F.; OLIVEIRA, C.A.; BITTENCOURT, G. Uma representação de conhecimentos para processamento e interpretação de imagens. Jornada EPUSP/IEEE em Computação Visual, São Paulo, SP, 4 a 7 de dezembro de 1990.
BITTENCOURT, G. Seleção Natural e Física de Partículas: Uma direção de pesquisa em Inteligência Artificial. 8o Simpósio Brasileiro de Inteligência Artificial, pp. 211-216, Universidade de Brasília, Brasília, 18 a 21 de novembro de 1991 (INPE - 5335 - PRE/1734, dezembro de 1991).
MARENGONI, M.; BITTENCOURT, G. Uma ferramenta funcional para geração de motores de inferência. 8o Simpósio Brasileiro de Inteligência Artificial, pp. 105-110, Universidade de Brasília, Brasília, 18 a 21 de novembro de 1991.
SILVA, F.A.T.F.; BITTENCOURT, G. Uma representação de conhecimento para a interpretação de imagens de fenômenos meteorológicos. 8o Simpósio Brasileiro de Inteligência Artificial, pp. 83-88, Universidade de Brasília, Brasília, 18 a 21 de novembro de 1991.
BITTENCOURT, G. Inferência Lógica por Transformação Canônica. X Simpósio Brasileiro de Inteligência Artificial, pp. 77-91, Porto Alegre, RS, 13-15 de outubro de 1993.
SANDRI, S., BITTENCOURT, G. Possibilistic Frames and Semantic Nets in a Customizable Shell Generator Tool. X Simpósio Brasileiro de Inteligência Artificial, pp. 169-180, Porto Alegre, RS, 13-15 de outubro de 1993.
BITTENCOURT, G. Um Ambiente para Ensino e Desenvolvimento de Sistemas Especialistas. III Workshop sobre Educação em Informática/IV Congresso Iberoamericano de Educación Superior en Computación (EDUC'95), Canela, RS, 29 de julho a 4 de agosto de 1995.
TONIN, I. e BITTENCOURT, G. LOGIK: Um Ambiente para o Ensino de Lógica. V Congresso Iberoamericano de Educación Superior en Computación (EDUC'96), Cidade do México, México, 19 a 21 de setembro de 1996.
TONIN, I. e BITTENCOURT, G. Uma Implementação Orientada a Objeto para a Transformação Dual em Lógica de Primeira Ordem. XXIV Seminário Integrado de Software e Hardware (SEMISH'97), pp. 411-422, Brasília, DF, 2 a 8 agosto de 1997.
COSTA, A. C. P. L. e BITTENCOURT, G. Um Ambiente para Desenvolvimento de Sistemas Multiagentes Cognitivos. Anais do I Encontro Nacional de Inteligência Artificial (ENIA'97), pp. 78-84, Brasília, DF, 5 a 6 de Agosto de 1997.
COSTA, E.B.; BITTENCOURT, G. e FLEMMING, E. Um sistema tutor multi-agentes em geometria. Anais do VIII Simpósio Brasileiro de Informática na Educação (SBIE'97), Workshop Sistemas de Tutoria Inteligente Aplicados a Educação e Treinamento (STIET'97), Vol. II, pp. 257-270, São José dos Campos, SP, 18 a 20 de novembro de 1997.
LOPEZ, A.L. e BITTENCOURT, G. Otimização de um controlador nebuloso utilizando algoritmos genético. Anais do II Encontro Nacional de Inteligência Artificial (ENIA'99), pp. 93-106, Rio de Janeiro, RJ, 20 a 21 de julho de 1999.
CAPANEMA, I.F.; EL KHOURI, J.H.H.; BITTENCOURT, G. e STEMMER, M.R. Ambiente para construção de sistemas especialistas em tempo real para a Itaipu Binacional. Anais do IV Simpósio Brasileiro de Automação Inteligente, Escola Politécnica da USP, São Paulo, SP, pp. 347-351, 8 a 10 de setembro de 1999.
ROTTAVA DA SILVA, L.; HERMESMEYER JR., S.G.; COSTA, A. C. P. L.; BITTENCOURT, G. Implementação de Controladores Nebulosos em uma Equipe de Futebol Robótico. Anais do XIII Congresso Brasileiro de Automática (CBA'2000), Universidade Federal de Santa Catarina, Florianópolis, SC, Brasil, 11 a 14 de setembro de 2000.
TONIN, I. e BITTENCOURT, G. Forma Normal Disjuntiva em Lógica de Primeira Ordem. Anais do I Congresso de Lógica Aplicada à Tecnologia (LAPTEC'2000), Faculdade SENAC de Ciências Exatas e Tecnologia (ISBN 85-85795-29-8), pp. 417-429, São Paulo, SP, 11 a 15 de setembro de 2000.
FARIA, T. de F. e BITTENCOURT, G. Um ambiente interativo multiagentes para o ensino de estrutura da informação. XI Simpósio Brasileiro de Informática na Educação (SBIE'2000), II Workshop de Ambientes de Aprendizagem Baseados em Agentes, Maceió, AL, 8 a 10 de novembro de 2000.
GONÇALVES, E.M.N.; COSTA, A. C. P. L. e BITTENCOURT, G. Otimização de controladores nebulosos e sistemas especialistas reativos com algoritmos genéticos. Anais do XXI Congresso Nacional da Sociedade Brasileira de Computação, Ana Teresa Martins e Díbio Leandro Borges (eds.), Volume 1. ISBN: 85-88442-04-3, III Encontro Nacional de Inteligência Artificial (ENIA'2001), Campus da UNIFOR e Centro de convenções do Ceará, Fortaleza, 30 de julho a 03 de agosto de 2001.
FRIGO, L.B. e BITTENCOURT, G. MathTutor - uma ferramenta de apoio à aprendizagem. Anais do XXI Congresso da Sociedade Brasileira de Computação, Vol. 4, X Workshop sobre Educação em Informática (WEI'02), pp. 89-98, Florianópolis, 15 a 19 de julho de 2002.
COSTA, A. C. P. L.; BITTENCOURT, G.; ROTTAVA DA SILVA, L. Expert-Coop++: Ambiente para Desenvolvimento de Sistemas Multiagente. XXIII Congresso da SBC, IV Encontro Nacional de Inteligência Artificial (ENIA'2003), SBC, Unicamp, Campinas, 2 a 8 de agosto de 2003.
FRIGO L.B.; POZZEBON, E.; BITTENCOURT G. O Papel dos Agentes Inteligentes nos Sistemas Tutores. World Congress on Engineering and Tecgnology Education (WCETE'2004), pp. 667-671, Guarujá / Santos, Brasil, 14 a 17 de março de 2004 (http://www.copec.org.br/wcete2004/).
POZZEBON, E.; PEREZ, A.L.F.; BITTENCOURT G. Um ambiente interativo multiagente para licitação pública. XXXI Seminário Integrado de Software e Hardware (SEMISH'04), SBC2004 - XXIV Congresso da Sociedade Brasileira de Computação, Salvador, BA, 31 de Julho a 6 de agosto de 2004.
FREITAS, F.L.G. de; SAMPAIO SILVA, T. de M.; TESKE, R.C. da S.; BITTENCOURT, G. Uma Arquitetura de Agentes Cooperativos de Informação para a Web Baseada em Ontologias. 2 Workshop em Tecnologia da Informação e da Linguagem Humana (TIL'2004), SBC2004 - XXIV Congresso da Sociedade Brasileira de Computação, Salvador, BA, 5 e 6 de agosto de 2004.
ALMEIDA e SILVA, F. de; BITTENCOURT, G.; ROISENBERG, M.; PEREZ, A.L.F. Aplicação de Redes Neuronais Hierárquicas no Controle da Navegação de Robôs Autônomos. Jornada de Róbotica Inteligente (JRI'04), Encontro de Robótica Inteligente (EnRI'04), SBC2004 - XXIV Congresso da Sociedade Brasileira de Computação, Salvador, BA, 5 a 6 de agosto de 2004.
POZZEBON, E.; FRIGO L.B.; POSTAL, A.; BITTENCOURT, G. Interface de Autoria para o Modelo Pedagógico do MathTutor. XII Workshop de Educação em Computação (WEI'04), SBC2004 - XXIV Congresso da Sociedade Brasileira de Computação, Salvador, BA, 2 a 4 de agosto de 2004.
SÁ, C.C.; BITTENCOURT, G. Uma Proposta para Disciplina de Teoria da Computação. XII Workshop de Educação em Computação (WEI'04), SBC2004 - XXIV Congresso da Sociedade Brasileira de Computação, Salvador, BA, 2 a 4 de agosto de 2004.
GONÇALVES, E.M.N.; BITTENCOURT, G. Organização de Conhecimento de Sistemas Inteligentes Utilizando Redes de Petri. Anais do XV Congresso Brasileiro de Automática (CBA'2004), Centro de Convenções da UFRGS, Gramado, RS, de 21 a 24 de Setembro de 2004.
CARDOSO, J.; BITTENCOURT G.; FRIGO L.B.; POZZEBON, E. Petri Nets for Authoring Mechanisms. XV Simpósio Brasileiro de Informática na Educação (SBIE'2004), ISBN 85-7401-161-4, Vol. 1, pp. 378-387, Manaus, AM, 9 a 12 de novembro de 2004.
PEREZ, A.L.F.; COMERLATTO, G.U; SILVEIRA, J.G. da; GAUDENZI DE FARIA, M.; BITTENCOURT, G.; ROISENBERG, M. Arquitetura de controle do time de futebol de robôs ufsc-team categoria very small. Anais do XXVI Congresso da Sociedade Brasileira de Computação, III Encontro de Robótica Inteligente, pp. 40-45, 14-20 de julho, Campo Grande, MS, 2006.
ALMEIDA E SILVA, F. de; SCHNEIDER STRASSMANN, D.; FADEL DA COSTA, J.G.; GONDIM LÓSSIO, R.; BITTENCOURT, G.; ROISENBERG, M. Estratégia para o controle dos robôs eyebot do ufsc-team: categoria small size do futebol de robôs. Anais do XXVI Congresso da Sociedade Brasileira de Computação, III Encontro de Robótica Inteligente, Pg.: 117-125, 14-20 de julho, Campo Grande, MS, 2006.
PEREZ, A.L.F.; ROISENBERG, M.; BITTENCOURT, G. An Embodied Evolutionary System to Control a Population of Mobile Robots using Genetic Programming. Proceedings of the Ninth Argentine Symposium on Artificial Intelligence (ASAI 2007), Ana Maguitman and Daniela Godoy (editors), ISSN 1850-2784, pp. 67-76, Mar del Plata, Argentina, August 27-28, 2007.
PEREZ, A.L.F.; BITTENCOURT, G.; ROISENBERG, M. Um Sistema Evolutivo Embarcado para Controlar uma População de Robôs Móveis usando Programação Genética. Simpósio Brasileiro de Automação Inteligente, Centro de Cultura e Eventos, Universidade Federal de Santa Catarina, Florianópolis, SC, 08 a 11 de outubro, 2007.

6.8 Resumos em eventos nacionais e regionais

BITTENCOURT, G.; SCHREINER, R.L. Método de grafos aplicado à instrução dirigida. 32a Reunião Anual da SBPC, Rio de Janeiro - RJ, julho de 1980 (Ciência e Cultura, Edição Especial, julho de 1980).
BITTENCOURT, G.; SCHREINER, R.L. Determinação de subestruturas em compostos metálicos. 33a Reunião Anual da SBPC, Salvador - BA, julho de 1981 (Ciência e Cultura, Edição Especial, julho de 1981).
BITTENCOURT, G. Um modelo paralelo para a lógica baseado em propagação de ondas. XV Congresso Nacional de Matemática Aplicada e Computacional (CNMAC), São Carlos, SP, 07 a 10 de setembro de 1992 (INPE - 5430 - PRE/1764, 1992).
COSTA, E.B.; BITTENCOURT, G. e FLEMMING, E. Desenvolvimento de um sistema tutor distribuído no domínio da geometria plana. XX Congresso Nacional de Matemática Aplicada e Computacional (CNMAC), pp. 201-202, Gramado, RS, 8 a 12 de setembro de 1997.
FARIA, T. de F. e BITTENCOURT, G. Um ambiente interativo multiagentes para o ensino de estrutura da informação. XI Simpósio Brasileiro de Informática na Educação (SBIE'2000), pp. 429-431, Maceió, AL, 8 a 10 de novembro de 2000.
SAMPAIO SILVA, T. de M.; FREITAS, F.L.G. de; BITTENCOURT, G. Extração de informação no MASTER-Web baseada em ontologias. XIII Simpósio Brasileiro de Informática na Educação (SBIE'2002), Workshop 4: Ontologias para a construção de metodologias de busca na web por conteúdos educacionais, Universidade do Vale do Rio dos Sinos - Unisinos, São Leopoldo, RS, 12 a 14 de outubro de 2002.
POZZEBON, E.; BARRETO, J.M.; BITTENCOURT, G. Autômato representa o raciocínio do aprendiz na adaptabilidade do ambiente de aprendizagem. Congresso Latino-americano de Interação Humano-Computador (CLIHC 2003), ISBN 85-87926-05-5, p. 279, Vol. 1, Imprinta Gráfica e Editora Ltda, Rio de Janeiro, Brazil, August 17-20, 2003 (http://www.serg.inf.puc-rio.br/clihc2003/).
ALMEIDA e SILVA, F. de; BITTENCOURT, G.; ROISENBERG, M.; PEREZ, A.L.F. Implementação de Comportamentos em Robos EyeBot através de uma Arquitetura Hierárquica de Redes Neurais. Jornada de Róbotica Inteligente (JRI'04), II Competição IEEE Brasileira de Robôs, SBC2004 - XXIV Congresso da Sociedade Brasileira de Computação, Salvador, BA, 5 a 6 de agosto de 2004.

6.9 Outros trabalhos

BITTENCOURT, G.; SENNE, E.L.F.; SANDRI, S.A. SLISP: um ambiente de programação LISP. Relatório técnico, INPE -3099-NTI/204, maio de 1984 (2a. versão: INPE - 3099 - NTI/204, junho de 1985).
BITTENCOURT, G. Solução analítica de equações diferenciais ordinárias de primeira e segunda ordem por computador. Dissertação de Mestrado, INPE/CNPq, outubro de 1984 (INPE - 3507 - TDL/192, maio de 1985).
BITTENCOURT, G.; PEREIRA, J.A.G.; TAVARES, S.A., NANDAMUDI, L.V. Algoritmos para funções transcendentais. INPE - 3734 - PRE/864, dezembro 1985.
SENNE, E.L.F.; BITTENCOURT, G. Sistema ALISP. INPE - 3753 - PRE/876, janeiro de 1986.
BITTENCOURT, G.; NANDAMUDI, L.V.; TAVARES, S.A. Operações em ponto flutuante para micro-computadores MC68000 e IT8086. INPE - 3880 - NTE/257, abril 1986.
BITTENCOURT, G. Intégration d'Outils Graphiques dans un Logiciel de Calcul Formel. Rapport de Diplôme d'Etudes Approfondies (DEA) en Informatique, Laboratoire d'Informatique Fondamentale et d'Intelligence Artificielle - Institut National Polytechnique de Grenoble - LIFIA/INPG, Grenoble - França, julho de 1986.
CALMET, J.; BITTENCOURT, G. Bibliography on Expert Systems and their Methodology. Interner Bericht Nr. 4-88, Universität Karlsruhe, Fakultät für Informatik, März 1988.
BITTENCOURT, G. Représentation des connaissances. Rapport de Recherche RR 735-I-IMAG 85 LIFIA, Laboratoire dÍnformatique Fondamentale et dÍntelligence Artificielle (LIFIA), Grenoble, France, Septembre 1988.
BITTENCOURT, G. The MANTRA Reference Manual. Interner Bericht Nr. 2-90, Universität Karlsruhe, Fakultät für Informatik, Januar 1990.
BITTENCOURT,G.; PERRUSSEL, L.; MARCHI, J. A Syntactical Approach to Revision. Rapport de Recherche Institut de Recherche de Toulouse IRIT 2004-14-R, Extended version of the paper presented at the 16 European Conference on Artificial Intelligence (ECAI'04), setembro de 2004.

7 Orientações

7.1 Trabalho de iniciação científica

Gil Fábio de Souza: Sistemas Especialistas para Controle e Automação. LCMI-EEL-UFSC, 1994.
Marcos Keizo Morikomi: Desenvolvimento de uma Interface Gráfica para Redes Semânticas. Bolsa CNPq (ProTeM), LCMI-EEL-UFSC, 1994.
Giovane Marangoni: Desenvolvimento de uma Interface Gráfica para o Sistema FASE. LCMI-EEL-UFSC, Bolsa CNPq, 1994-1995.
Suzana Ribas de Almeida: Desenvolvimento de uma Ferramenta para Visualização de Bases de Conhecimento para o Sistema FASE. Bolsa da Universidade Federal de Santa Catarina, LCMI-EEL-UFSC, 1994-1995.
Andrei Martins Baeta: Um Laboratório para Ensino de Inteligência Artificial. LCMI-EEL-UFSC, 1995.
Valdemar A. Dallagnol Filho: Atuação no Projeto Integrado de Pesquisa (CNPq) Um ambiente para a especificação formal de bases de conhecimentos e sistemas dinâmicos. LCMI-EEL-UFSC, 1996.
Cesar Davi Avila do Nascimento: Atuação no Projeto Integrado de Pesquisa (CNPq) Um ambiente para a especificação formal de bases de conhecimentos e sistemas dinâmicos. LCMI-EEL-UFSC, 1996.
Douglas Silva: Atuação no Projeto Integrado de Pesquisa (CNPq) Um ambiente para a especificação formal de bases de conhecimentos e sistemas dinâmicos. LCMI-EEL-UFSC, 1996.
Luciano Rottava da Silva: Um simulador tri-dimensional para futebol de robôs. CNPq, 1997-1998.
Rafael Montagner Soares Silva: Um simulador tri-dimensional para futebol de robôs. PIBIC, UFSC-CNPq, 1998.
Cristiano Pinheiro: Uma ferramenta para contrução de interfaces Motif com comunicação via Sockets. PIBIC, UFSC-CNPq, 1998.
Dayson Roberto Waldschmidt: Desenvolvimento de uma interface gráfica para um sistema de otimização de controladores nebulosos por algoritmos genéticos. PIBIC, UFSC-CNPq, 1998.
Sergio Gregório Hermesmeyer Junior: Desenvolvimento de controladores nebulosos para um time de futebol de robôs. PIBIC, UFSC-CNPq, 1999.
Alexandre de Andrade Lorencato: Apoio ao time de futebol de robôs UFSC-Team, 2000-2001.
Rafael Carvalho Uberti: Apoio ao time de futebol de robôs UFSC-Team, PIBIC, UFSC-CNPq, 2000-2001.
Tiago Villaça Vianna Rafael: Apoio ao time de futebol de robôs UFSC-Team, 2000-2001.
Fábio Vidal Rawadauski: Apoio ao time de futebol de robôs UFSC-Team, 2000-2001.
Antonio Jose Guglielmi Filho: Apoio ao projeto Mathnet, sem bolsa, 2000-2001.
Guilherme Weigert: Apoio ao projeto Mathnet, Cota projeto CNPq, 2000-2001.
Leonardo Bitsch: Apoio ao projeto Mathnet, Cota projeto CNPq, 2000-2001.
Régis Sangoi Padilha, Experimentação e desenvolvimento de algoritmos para verificação de fórmulas lógicas, PIBIC, UFSC-CNPq, 2002-2003.
Rafael Cobra da Silva Teske, Extração de Informações da Internet baseada no sistema multiagente MASTER-Web, PIBIC, UFSC-CNPq, 2002-2003.

7.2 Trabalhos de graduação

Frederico Luiz Gonçalves de Freitas: Transformada de Laplace no REDUCE 2. Instituto Tecnológico de Aeronáutica, Curso Superior de Tecnologia de Computação, 1985.
Pedro Paulo da Silva: Implementação de um Controlador Nebuloso em Transputer. Universidade Federal de Santa Catarina, Projeto de fim de curso (DAS5511), Curso de Graduação em Engenharia de Controle e Automação Industrial, dezembro de 1994.
Henrique Simas: Implementação de Controlador Fuzzy como Estabilizador de Potência em Máquina Síncrona. Projeto de fim de curso (DAS5511), Curso de Graduação em Engenharia de Controle e Automação Industrial da UFSC, fevereiro de 1996.
Valdemar A. Dallagnol Filho: Controle nebuloso para robô Khepera. Projeto de fim de curso (DAS5511), Curso de Graduação em Engenharia de Controle e Automação Industrial da UFSC, setembro de 1998.
Jorge Ivan Hmeljevski: Sistema especialista de apoio a operação do sistema interligado 60 Hz Itaipu Furnas Eletrosul, Projeto de fim de curso (DAS5511), Curso de Graduação em Engenharia de Controle e Automação Industrial da UFSC, 03 de setembro de 1999.
Marcos Aurélio Bieda Nadolny: Integração do Guard-1 com o Palm: Desenvolvimento do Conduit e do suporte no PROGuard-1 para programar o Palm e visualizar os relatórios, Projeto de fim de curso (DAS5511), Curso de Graduação em Engenharia de Controle e Automação Industrial da UFSC, setembro de 2001.
Marcel Gava da Silva: Simulation of Friction Parameters With Artificial Intelligence, Projeto de fim de curso (DAS5511), Curso de Graduação em Engenharia de Controle e Automação Industrial da UFSC, 11 de abril de 2003.
Carlos Eduardo Knippschild: Implementação do Simulador OTIMUM, um Sistema Integrado de Informações para Recursos Hídricos, Projeto de fim de curso (DAS5511), Curso de Graduação em Engenharia de Controle e Automação Industrial da UFSC, 10 de abril de 2003.
Giuliano Boava: Algoritmos para satisfazibilidade: implementação e testes, Projeto de fim de curso (DAS5511), Curso de Graduação em Engenharia de Controle e Automação Industrial da UFSC, 24 de fevereiro de 2005.
Leopoldo Silva Xavier: Projeto e Desenvolvimento de um Sistema de Recomendação Distribuído Baseado em Filtragem Colaborativa, Projeto de fim de curso (DAS5511), Curso de Graduação em Engenharia de Controle e Automação Industrial da UFSC, 20 de setembro de 2007.
Procópio Silveira Stein: Integração de Sensores para Navegação do Robô Ambiental Híbrido, Projeto de fim de curso (DAS5511), Curso de Graduação em Engenharia de Controle e Automação Industrial da UFSC, 18 de setembro de 2007.

7.3 Mestrado

Maurício Marengoni: Uma ferramenta para geração de arcabouços de sistemas especialistas. Instituto Nacional de Pesquisas Espaciais, Curso de Mestrado em Computação Aplicada, dezembro de 1992.
Francisco de Assis Tavares da Silva: Representação de Conhecimento para a Interpretação de Imagens Meteorógicas, Instituto Tecnológico de Aeronáutica, Curso de Mestrado em Ciência, junho 1993.
Rubens Cruz Gatto: Um Modelo de Computação Evolutiva para uma Arquitetura Cliente Servidor, Instituto Nacional de Pesquisas Espaciais, Curso de Mestrado em Computação Aplicada, março de 1994, co-orientação com o Prof. Pedro Paulo Balbi de Oliveira, LAC-INPE.
Isabel Tonin, Um Método de Inferência Lógica baseado na Transformação Dual, Universidade Federal de Santa Catarina, Curso de Pós-Graduação em Engenharia Elétrica, Área de concentração: Sistemas de Informação, 6 de junho de 1997.
Augusto Cesar Pinto Loureiro da Costa, Expert-Coop Um ambiente para desenvolvimento de Sistemas Multiagentes Cognitivos, Universidade Federal de Santa Catarina, Curso de Pós-Graduação em Engenharia Elétrica, Área de concentração: Sistemas de Informação, 6 de junho de 1997.
Elisa Flemming, Um Sistema Tutor Distribuído no Domínio da Lógica, Universidade Federal de Santa Catarina, Curso de Pós-Graduação em Engenharia Elétrica, Área de concentração: Sistemas de Informação, 29 de abril de 1998.
Luciano Lores Caimi, Simulação de redes de Petri com marcação imprecisa usando o sistema FASE, Universidade Federal de Santa Catarina, Curso de Pós-Graduação em Engenharia Elétrica, Área de concentração: Sistemas de Informação, 24 de abril de 1998, co-orientação com a Profa. Janette Cardoso, DAS-UFSC.
Amarilys Lima Lopez, Controle nebuloso e algoritmos genéticos: uma aplicação ao robô móvel Khepera, Universidade Federal de Santa Catarina, Curso de Pós-Graduação em Engenharia Elétrica Área de concentração: Sistemas de Informação, 16 de abril de 1999.
Eder Mateus Nunes Gonçalves, Otimização de controladores nebulosos e sistemas especialistas reativos utilizando algoritmos genéticos, Universidade Federal de Santa Catarina, Curso de Pós-Graduação em Engenharia Elétrica, Área de concentração: Sistemas de Informação, 23 de fevereiro 2001.
Terezinha de Fátima Faria, Um ambiente interativo multiagentes para o ensino de estrutura da informação, Universidade Federal de Santa Catarina, Curso de Pós-Graduação em Engenharia Elétrica, Área de concentração: Sistemas de Informação, 24 de abril de 2001.
Carlos Ogawa, Otimização do projeto de máquinas de corrente contínua utilizando algoritmos genéticos, Universidade Federal de Santa Catarina, Curso de Pós-Graduação em Engenharia Elétrica, Área de concentração: Sistemas de Informação, 14 de dezembro de 2001.
Luciana Bolan Frigo, MathTutor: Um ambiente interativo multiagentes para o ensino de estrutura da informação, Universidade Federal de Santa Catarina, Curso de Pós-Graduação em Engenharia Elétrica, Área de concentração: Sistemas de Informação, 26 de março de 2002.
Luciano Rottava da Silva, Análise e Programação de Robôs Móveis Autônomos da Plataforma Eyebot, Universidade Federal de Santa Catarina, Curso de Pós-Graduação em Engenharia Elétrica, Área de concentração: Sistemas de Informação, 24 de março de 2003.
Luis Fernando Pozas, Predição de desgaste de brocas utilizando redes neuronais, Universidade Federal de Santa Catarina, Curso de Pós-Graduação em Engenharia Elétrica, Área de concentração: Sistemas de Informação, 13 de junho de 2003.
Priscila Silva Martins, Aprendizagem de Máquina para Otimização de Parâmetros em Sistemas Baseados em Conhecimento, Universidade Federal de Santa Catarina, Curso de Pós-Graduação em Engenharia Elétrica, Área de concentração: Sistemas de Informação, 27 de junho de 2003.
Clóvis de Almeida Junior, Sistema especialista para diagnóstico de problemas na geração de energia elétrica de uma refinaria de petróleo, Universidade Federal de Santa Catarina, Curso de Pós-Graduação em Engenharia Elétrica, Área de concentração: Sistemas de Informação, 10 de julho de 2003.
Tércio de Morais Sampaio Silva, Extração de informação para busca semântica na web baseada em ontologias, Universidade Federal de Santa Catarina, Curso de Pós-Graduação em Engenharia Elétrica, Área de concentração: Sistemas de Informação, 16 de julho de 2003.
Eduardo Velázquez Castillo, Aplicação de ontologia e sistema especialista para diagnóstico de falhas em transformadores de potência, Universidade Federal de Santa Catarina, Curso de Pós-Graduação em Engenharia Elétrica, Área de concentração: Sistemas de Informação, 21 de novembro de 2003, co-orientação com o Prof. Ricardo José Rabelo, DAS-UFSC.
Adriana Postal, Navegação em um ambiente interativo multiagente para ensino, Universidade Federal de Santa Catarina, Curso de Pós-Graduação em Engenharia Elétrica, Área de concentração: Sistemas de Informaçãoão, 15 de abril de 2004, co-orientação com a Profa. Janette Cardoso, Université Toulouse I, Toulouse, França.
Emilio Eiji Yamane, Modelagem e implementação de uma ferramenta de autoria para a construção de sistemas tutores inteligentes, Universidade Federal de Santa Catarina, Curso de Pós-Graduação em Engenharia Elétrica, Área de concentração: Sistemas de Informação, 16 de agosto de 2006.
Francisco de Assis Carvalho da Silva Neto, Redução de supervisores utilizando marcação por eventos e métodos de otimização, Universidade Federal de Santa Catarina, Curso de Pós-Graduação em Engenharia Elétrica, Área de concentração: Automação e sistemas, co-orientação com o Prof. Max Hering de Queiroz, DAS-UFSC, 01 de setembro de 2008.
João Lourenço Vivan Bernartt, Um sistema para indicação automática de bares e restaurantes, Universidade Federal de Santa Catarina, Curso de Pós-Graduação em Engenharia de Automação e Sistemas, 26 de setembro de 2008.

7.4 Doutorado

Pedro Luis Kantek Garcia Navarro: Computação evolutiva aplicada a problemas inversos com preservação da espacialidade na representação dos indivíduos, Universidade Federal de Santa Catarina, Curso de Pós-Graduação em Engenharia Elétrica, Área de concentração: Sistemas de Informação. Exame de Qualificação realizado em setembro de 1996. Defendida em 10 de abril de 2000, co-orientação com o Prof. Pedro Paulo Balbi de Oliveira, LAC-INPE.
Augusto Cesar Pinto Loureiro da Costa, Conhecimento Social Dinâmico: uma estratégia de cooperação para sistemas multiagentes cognitivos, Universidade Federal de Santa Catarina, Curso de Pós-Graduação em Engenharia Elétrica, Área de concentração: Sistemas de Informação. Exame de Qualificação realizado em julho de 1999. Defendida em 21 de setembro de 2001.
Frederico Luiz Gonçalves de Freitas, Sistemas multiagentes cognitivos para a recuperação e extração integradas de informação da WEB, Universidade Federal de Santa Catarina, Curso de Pós-Graduação em Engenharia Elétrica, Área de concentração: Sistemas de Informação. Exame de Qualificação realizado em 25 de agosto de 2000. Defendida em 06 de setembro de 2002.
Isabel Tonin, Formas normais e inferência em lógica de primeira ordem, Universidade Federal de Santa Catarina, Curso de Pós-Graduação em Engenharia Elétrica, Área de concentração: Sistemas de Informação. Exame de Qualificação realizado em outubro de 1999. Defendida em 25 de fevereiro de 2003.
André João de Souza, Aplicação de Multisensores no Prognóstico da Vida da Ferramenta de Corte em Usinagem, Universidade Federal de Santa Catarina, Curso de Pós-Graduação em Engenharia Mecânica. Exame de Qualificação realizado em 15 de agosto de 2001. Defendida em 29 de setembro de 2004, co-orientação com o Prof. Walter Weingaertner, EMC-UFSC.
Jerusa Marchi, Operadores Sintáticos para Mudança de Crenças Baseados na Representação em Formas Normais Primárias. Universidade Federal de Santa Catarina (UFSC), Curso de Pós-Graduação em Engenharia Elétrica, Área de concentração: Sistemas de Informação. Exame de Qualificação realizado em 16 de julho de 2003. Defendida em 10 de julho de 2006, co-tutela com o Prof. Laurent Perrussel, Université Toulouse I, Toulouse, France.
Eder Mateus Nunes Gonçalves, Uma abordagem para especificação de conhecimento para sistemas multiagentes cognitivos, Universidade Federal de Santa Catarina, Curso de Pós-Graduação em Engenharia Elétrica, Área de concentração: Sistemas de Informação. Exame de Qualificação realizado em 27 de junho de 2003. Defendida em 01 de agosto de 2006.
Luciana Bolan Frigo, Um modelo de Autoria para Sistemas Tutores Adaptativos, Universidade Federal de Santa Catarina, Curso de Pós-Graduação em Engenharia Elétrica, Área de concentração: Automação e Sistemas. Exame de Qualificação realizado em 14 de abril de 2004. Defendida em 08 de janeiro de 2007, co-tutela com a Profa. Janette Cardoso, Université Toulouse I, Toulouse, France.
Eliane Pozzebon, Uma arquitetura multiagente para suporte ao aprendizado em grupo em sistemas tutores inteligentes, Universidade Federal de Santa Catarina, Curso de Pós-Graduação em Engenharia Elétrica, Área de concentração: Sistemas de Informação, Exame de Qualificação realizado em 26 de abril de 2005, co-tutela com a Profa. Janette Cardoso, Université Toulouse I, Toulouse, France. Defendida em 23 de setembro de 2008.
Anderson Luiz Fernandes Perez, Navegação planejada de robôs móveis utilizando técnicas de computação bioinspirada, Universidade Federal de Santa Catarina, Curso de Pós-Graduação em Engenharia Elétrica, Área de concentração: Sistemas de Informação, Exame de Qualificação realizado em 20 de novembro de 2006, co-orientação com Prof. Mauro Roisenberg, INE-UFSC (em andamento).

8 Experiência didática

8.1 Graduação

Curso de Linguagens de Programação (CE-225) Curso para Profissional de Computação, Instituto Tecnológico da Aeronáutica, 2 semestre de 1991.
Noções de Informática Industrial (EEL5316), Curso de Graduação em Engenharia Elétrica da UFSC, 2 semestre de 1995, 2 semestre de 1996.
Sistemas Computacionais para Controle e Automação (DAS5321), 36 horas, Curso de Graduação em Engenharia de Controle e Automação Industrial da UFSC, 2 semestre de 1995, 2 semestre de 1996, 2 semestre de 1997, 2 semestre de 1998, 2 semestre de 1999, 2 semestre de 2000.
Inteligência Artificial Aplicada a Controle e Automação (DAS5341), 72 horas, Curso de Graduação em Engenharia de Controle e Automação Industrial da UFSC, 1 semestres de 1994 a 2000 (OBS.: em 1994 em parceria com a Profa. Janette Cardoso), 1 e 2 semestres de 2001 e 2002, 1 semestre de 2003, 1 semestre de 2005 (OBS.: de 2001 a 2005 em parceria com o Prof. Eduardo Camponogara).
Fundamentos da Estrutura da Informação (INE5212), 72 horas, Curso de Graduação em Engenharia de Controle e Automação Industrial da UFSC, 1 e 2 semestres de 1997 a 2002, 1 semestre de 2003.
Fundamentos da Estrutura da Informação (DAS5102), 72 horas, Curso de Graduação em Engenharia de Controle e Automação Industrial da UFSC, 2 semestre de 2004 1 e 2 semestre de 2005.
Introdução à Informática para Automação (INE 5208), 72 horas, Curso de Graduação em Engenharia de Controle e Automação Industrial da UFSC, 1 semestres de 2004 e 2005.

8.2 Pós-graduação

Métodos numéricos para a solução de equações diferenciais, parte do curso de Matemática Numérica do Curso de Mestrado em Computação Aplicada do INPE sob responsabilidade do Prof. Luiz Alberto Vieira Dias, agosto de 1984.
Inteligência Artificial I (CAP-253-3) Curso de Mestrado em Computação Aplicada do INPE, 2 Período Letivo de 1990, 2 Período Letivo de 1991, 2 Período Letivo de 1992.
Curso de Teoria de Linguagens de Programação (CES-23) Curso de Mestrado e Doutorado em Ciência, Instituto Tecnológico da Aeronáutica, 2 semestre de 1991.
Inteligência Artificial Aplicada a Controle de Processos e Automação Industrial (DAS6607), 45 horas, Curso de Pós-Graduação em Engenharia Elétrica da UFSC, 3o Período Letivo de 1993 (em parceria com a Profa. Janette Cardoso), 3 Período Letivo de 1994, 2 Período Letivo de 1995, 2 Período Letivo de 1996, 2 Período Letivo de 1997, 2 Período Letivo de 1998, 2 Período Letivo de 1999, 2 Período Letivo de 2000, 2 Período Letivo de 2001.
Fundamentos de Matemática Discreta para Controle e Automação (DAS6609), 45 horas, Curso de Pós-Graduação em Engenharia Elétrica da UFSC, 1 Período Letivo de 1994 (em parceria com o Prof. José Eduardo Ribeiro Cury), 1 Período Letivo de 1995, 1 Período Letivo de 1996 (em parceria com a Profa. Janette Cardoso), 1 Período Letivo de 1997, 1 Período Letivo de 1998, 1 Período Letivo de 1999 (em parceria com o Prof. José Eduardo Ribeiro Cury), 1 Período Letivo de 2000 (em parceria com o Prof. José Eduardo Ribeiro Cury), 1 Período Letivo de 2001 (em parceria com o Prof. José Eduardo Ribeiro Cury).
Tópicos Especiais em Informática: Sistemas Especialistas (EEL6652), Curso de Pós-Graduação em Engenharia Elétrica da UFSC, 1 Período Letivo de 1996.
Tópicos Especiais em Informática: Lógicas Não Clássicas (EEL6652), Curso de Pós-Graduação em Engenharia Elétrica da UFSC, 3 Período Letivo de 1996 (em parceria com a Profa. Janette Cardoso), 3 Período Letivo de 1997 (em parceria com a Profa. Janette Cardoso).
Tópicos Especiais em Informática: Inteligência Computacional (EEL6652), 45 horas, Curso de Pós-Graduação em Engenharia Elétrica da UFSC, 3 Período Letivo de 1999, 3 Período Letivo de 2000 (em parceria com os Profs. Marcelo Ricardo Stemmer e Christoph Thomalla).

8.3 Extensão

Curso sobre a linguagem de programação LISP, Instituto Nacional de Pesquisas Espaciais (INPE), julho de 1984.
Apresentação do Curso ``Representação de Conhecimento'', na X Jornada de Atualização em Informática do XI Congresso Nacional da Sociedade Brasileira de Computação, Mendes Plaza Hotel, Santos, SP, agosto de 1991.
Apresentação do Curso ``Representação de Conhecimento'', no 8o Simpósio Brasileiro de Inteligência Artificial, Universidade de Brasília, Brasília, 18 a 21 de novembro de 1991.
Apresentação da Palestra ``Inteligência Artificial no INPE'', 24o Congresso Nacional de Informática, 11a. Feira Internacional de Informática, São Paulo - SP, setembro de 1991.
Apresentação da Palestra ``Representação de Conhecimento e Sistemas Híbridos'', Universidade de São Paulo, Instituto de Ciências Matemáticas de São Carlos, São Carlos - SP, 25 de março de 1992.
Apresentação da Palestra ``Inteligência Artificial e Processamento de Imagens'', IME/USP, São Paulo - SP, outubro de 1992.
Apresentação da Palestra ``Inteligência Artificial e Representação de Conhecimento'', Pontifícia Universidade Católica de São Paulo, São Paulo - SP, outubro de 1992.
Apresentação da Palestra ``Resolvendo Problemas com Inteligência Artificial - Técnicas de Programação'', Seminário de Inteligência Artificial da SUCESU, São Paulo - SP, dezembro de 1992.
Apresentação da Palestra ``Principais Áreas da Inteligência Artificial'', Seminário de Inteligência Artificial e Sistemas Especialistas da SUCESU (SEMSE'93), São Paulo - SP, 20 de abril de 1993.
Curso sobre a linguagem de programação LISP, Universidade Federal de Santa Catarina (UFSC), janeiro de 1994.
Apresentação do Minicurso ``Técnicas de Programação para Inteligência Artificial'' (8 horas de aula), no 2o Simpósio Brasileiro de Automação Inteligente, Centro Federal de Educação Tecnológica do Paraná (CEFET-PR), Curitiba, 13 a 15 de setembro de 1995.
Apresentação da Conferência ``Inteligência Artificial, o Conhecimento e a Tomada de Decisão'', no Congresso Internacional de Informática Aplicada à Engenharia e à Arquitetura (ENGENHARQ-INFO), Blumenau, Santa Catarina, 14 a 19 de novembro de 1995.
Apresentação do Curso ``Inteligência Artificial: Ferramentas e Teorias'' (8 horas e 45 minutos de aula), na X Escola de Computação, Departamento de Ciência da Computação da UNICAMP, Campinas, SP, de 8 a 13 de julho de 1996.
Apresentação do Curso ``Inteligência Artificial: Ferramentas e Teorias'' (8 horas), no Departamento de Computação da Universidade Federal da Paraíba, Campina Grande, novembro de 1996.
Apresentação da Palestra ``Fase: Um Ambiente para Desenvolvimento de Sistemas Especialistas Distribuídos'', no Departamento de Computação da Universidade Federal da Paraíba, Campina Grande, novembro de 1996.
Apresentação da Palestra ``Inferência Lógica por Transformação Dual'', no Departamento de Computação da Universidade Federal da Paraíba, Campina Grande, novembro de 1996.
Apresentação do Curso ``Inteligência Artificial: Ferramentas e Teorias'' (4 horas), na II Semana Acadêmica da Informática, Universidade Federal de Pelotas, RS, 3 a 6 de dezembro de 1996.
Apresentação do Curso ``Inteligência Artificial'' (14 horas), no Seminário Nacional dos Estudantes de Engenharia, Universidade Federal da Bahia, Salvador, BA, 28 a 31 de julho de 1997.
Apresentação do Curso ``Representação de conhecimento: da metafísica aos programas'', na XVII Jornada de Atualização em Informática do XVIII Congresso Nacional da Sociedade Brasileira de Computação, UFMG, Belo Horizonte, MG, agosto de 1998.
Apresentação do Microcurso ``Inteligência Artificial Distribuída'', WORKCOMP'98, I Workshop de Computação do ITA, Instituto Tecnológico de Aeronáutica, São José dos Campos, SP, 6 de outubro de 1998.
Apresentação da Palestra ``Robocup - UFSC Team'', IV Ciclo de Palestras e Cursos da Engenharia Elétrica, Universidade Federal de Santa Catarina, 16 de novembro de 1998.
Curso sobre a linguagem de programação LISP, Universidade Federal de Alagoas (UFAL), Maceió, maio de 1999.
Disciplina de Controle Inteligente no curso de Mestrado em Controle Moderno, na Universidad Mayor de San Simon. O curso é resultado de um acordo de cooperação entre a Universidad Mayor de San Simon (Bolívia), Delft University (Holanda) e UFSC (Brasil), Cochabamba, Bolívia, 05 de julho a 23 de julho de 1999.
Disciplina de Controle Inteligente (CS04) no curso de Especialização em Controle e Automação em convênio UFSC/Itai (Unioeste)/Itaipu Binacional, Foz do Iguaçu, PR, 27 a 30 de setembro e 13 a 15 de outubro de 1999.
Apresentação da Palestra ``Filosofia, Computabilidade e Inteligência Artificial'', II Semana de Computação, Universidade do Estado de Santa Catarina (UDESC), Joinville, SC, 09 de maio de 2000.
Apresentação da Palestra ``Inteligência Artificial e Futebol de Robôs'', Semana de Informática de Cascavel, Universidade do Oeste do Estado de Santa Catarina (UNIOESTE), Cascavel, PR, 17 de setembro de 2001.
Apresentação da Palestra ``Inteligência Artificial aplicada a Controle e Automação'', 1o. Encontro Nacional de Estudantes de Engenharia de Controle e Automação, UFSC, Florianópolis, de 8 a 12 de outubro de 2001.
Apresentação da Palestra ``Inteligência Artificial e Futebol de Robôs'', III Jornada Institucional da Área de Ciências Exatas, Centro Universitário Franciscano (UNIFRA), Santa Maria, RS, 21 a 23 de agosto de 2002.
Apresentação do Curso ``Inteligência Artificial'' (6 horas aula), VIII Ciclo de Cursos e Palestras da Engenharia Elétrica, Departamento de Engenharia Elétrica, Universidade Federal de Santa Catarina, 7 a 11 de outubro de 2002.
Apresentação, durante visita de 3 a 10 de março de 2004 ao Laboratoire des Sciences de l'Information et des Systèmes, Domaine Universitaire de St Jérôme, Marseille, França, por convite do Prof. Dr. Bernard Espinasse, do tutorial ``Ontologies for Semantic Web'' e da palestra ``An Ontology based Architecture for Cooperative Information Agents''.
Apresentação da Palestra ``Knowledge Representation and Ontologies'', 2ème École de Printemps sur l'Informatique Industrielle, Institut National d'Informatique Oued-Smar et Université des Sciences et de la Technologie Houari Boumediene, Alger, Algérie, 5, 6 et 7 Juin 2004.
Apresentação do Curso ``Computação Evolutiva'', XI Ciclo de Cursos e Palestras da Engenharia Elétrica - XI CIPEEL, UFSC, Florianópolis, SC, 29 de agosto a 01 de setembro de 2005.
Apresentação do Curso ``Introdução aos Sistemas Multiagentes'', Brazil Agents School, Instituto de Informática, UFRGS, 20 a 30 de setembro de 2005.
Apresentação do Curso ``Inteligência Articial'', 5 Encontro Nacional dos Estudantes de Engenharia de Controle e Automação (ENECA'05), Florianópolis, SC, 9 a 14 de outubro de 2005.
Apresentação do Curso ``Redes Neurais'', XII Ciclo de Cursos e Palestras da Engenharia Elétrica - XI CIPEEL, UFSC, Florianópolis, SC, 04 a 07 de julho de 2006.
Apresentação da Palestra ``Modelos para a Cognição'', Mesa redonda com os alunos de Pós-graduação em Ciência da Computação, Linha Inteligência Artificial, Universidade Federal de Uberlândia, dezembro de 2007.

9 Participação em bancas

9.1 Graduação

Priscila Penelope de P. e Souza: Controle Fuzzy de Temperatura em Túnel de Aquecimento. Curso de Graduação em Engenharia de Controle e Automação Industrial da UFSC, julho de 1996.
Rodrigo Mussato: Sistema de Monitoração e Registro de Eventos para Sistemas de Potência. Estágio profissional junto à empresa REIVAX, Curso de Graduação em Engenharia Elétrica da UFSC, 10 de dezembro de 1996.
Fábio Pavanati: Desenvolvimento de uma máquina de auto-atendimento bancário. Curso de Graduação em Engenharia de Controle e Automação Industrial da UFSC, 3 de março de 1998.
Hugo Leonardo Gosmann: Vision-based sensor system for mobile robot navigation. Curso de Graduação em Engenharia de Controle e Automação Industrial da UFSC, 10 de maio de 1999.
Gustavo Santos Pinto Santiago: Software de análise de sinais elétricos e seqüenciais de eventos. Curso de Graduação em Engenharia de Controle e Automação Industrial da UFSC, 02 de setembro de 1999.
Luciana Bolan Frigo: Ensino via WEB de sistemas multiagentes e sua aplicação industrial. Universidade Nova de Lisboa (UNL), Faculdade de Ciência e Tecnologia (FCT), Portugal, Curso de Graduação em Engenharia de Controle e Automação Industrial da UFSC, 09 de março de 2000.
André Snoeijer: Verificação sobre as possibilidades de integração de sensores e atuadores no controle de uma máquina ferramenta aberta baseado em componentes padrão-PC. Estágio longo no Instituto WZL, Universidade de Aachen (Alemanha), Curso de Graduação em Engenharia Elétrica da UFSC, 11 de agosto de 2000.
Fernado Deschamps: Otimização automática de parâmetros para um sistema de processamento de imagens para a detecção do desgaste de ferramentas de corte em células autônomas de produção. Instituto WZL, Universidade de Aachen (Alemanha), Curso de Graduação em Engenharia de Controle e Automação Industrial da UFSC, 30 de abril de 2002.
Gustavo Bouzon: Development of a visual specification language for verification of distributed controllers. Universität Martin-Luther, Halle-Wittenberg (Alemanha), Curso de Graduação em Engenharia de Controle e Automação Industrial da UFSC, 02 de maio de 2002.
Markus Buhatem Koch: Development of a Game Conversion System from J2ME to BREW. Elkware GmbH (Alemanha) Curso de Graduação em Engenharia de Controle e Automação Industrial da UFSC, 02 de setembro de 2004.
Jaime Ramos Filho: Desenvolvimento de Aplicações Sobre a Plataforma BREW. Curso de Graduação em Engenharia de Controle e Automação Industrial da UFSC, 09 de setembro de 2004.
Galeno Augusto Jung: Avaliação do uso de descoberta de conhecimento como suporte ao gerenciamento da garantia da qualidade. Curso de Graduação em Engenharia de Controle e Automação Industrial da UFSC, 22 de fevereiro de 2005.
Charles Alberton Herdt: Desenvolvimento de um Sistema de Reconhecimento de Caracteres Para a Coleta de Dados Operacionais Estruturados para os Sistemas de Processamento de Dados. Curso de Graduação em Engenharia de Controle e Automação Industrial da UFSC, 19 de setembro de 2005.
Rafael May Taouil: Tratamento, Análise e Uso de Ferramenta de Mineração de Dados em um Sistema Autônomo de Coleta de Dados. Curso de Graduação em Engenharia de Controle e Automação Industrial da UFSC, 19 de setembro de 2005.
Alexandre Watanabe: Projeto Conceitual de uma Arquitetura de TIC para Integração do Sistema Produtivo em uma Fábrica de Placas Eletrônicas. Curso de Graduação em Engenharia de Controle e Automação Industrial da UFSC, 18 de setembro de 2007.
Gregori Daminelli: Sistema de apoio à gestão de estoque de produtos acabados da Embraco: Especificação de projeto e melhorias. Curso de Graduação em Engenharia de Controle e Automação Industrial da UFSC, 18 de agosto de 2008.
Alexandre Riyuji Oshiro: Desenvolvimento de disposito com recepção infravermelha para sistema de 3 pontos. Curso de Graduação em Engenharia de Controle e Automação Industrial da UFSC, 19 de agosto de 2008.
Fernando Roberto Maiola: Melhoramentos do sistema de automação da planta Ajinomoto Pederneiras. Curso de Graduação em Engenharia de Controle e Automação Industrial da UFSC, 19 de agosto de 2008.
Jefferson Luiz Ramos Melo: Implementação de sistema para controle do ciclo de desenvolvimento de TI em empresa de telecom. Curso de Graduação em Engenharia de Controle e Automação Industrial da UFSC, 19 de agosto de 2008.

9.2 Mestrado

Célia Barbosa Ghedini: Uma arquitetura com plano de controle para sistemas especialistas. Instituto Tecnológico de Aeronáutica, Curso de Mestrado em Ciência, novembro de 1990.
José Dias Lana Neto: Signo-C, uma ferramenta para integração de ambientes de uma fábrica de software. Instituto Tecnológico de Aeronáutica, Curso de Mestrado em Ciência, dezembro de 1990.
Alvaro Daniel Arioni Paladino: Um sistema de produção usando aplicações em tempo real. Universidade Federal de Santa Catarina, Curso de Pós-Graduação em Engenharia Elétrica, Área de concentração: Sistemas de Informação, março de 1991.
Raquel Dias Mendes: Sistema especialista para diagnóstico diferencial de patologias ósseas. Instituto Tecnológico de Aeronáutica, Curso de Mestrado em Ciência, novembro de 1991.
Geber Lisboa Ramalho: TMUS - Um sistema de geração de teoremas musicais baseado na geometria das árvores de tempo. Universidade de Brasília, Departamento de Ciência da Computação, Curso de Mestrado em Ciência da Computação, janeiro de 1992.
Francisco de Assis Cartaxo Pinheiro: Ação e representação nos processos computacionais: Bases para uma metodologia de análise semântica de representação de conhecimento. Universidade de Brasília, Departamento de Ciência da Computação, Curso de Mestrado em Ciência da Computação, janeiro de 1992.
Marcelo Rodrigues de Souza: Um provador automático de teoremas para a Lógica Modal S4. Instituto Tecnológico de Aeronáutica, Curso de Mestrado em Ciência, agosto 1993.
João Argemiro de Carvalho Paiva: Inferência heurística sobre direções de fluxo em redes de drenagem. Instituto Nacional de Pesquisas Espaciais, Curso de Mestrado em Computação Aplicada, março de 1994.
Carla Maria Chagas de Cavalcante: Sistema de navegação para helicópteros não tripulados utilizando controlador nebuloso. Universidade Federal de Santa Catarina, Curso de Pós-Graduação em Engenharia Elétrica, Área de concentração: Sistemas de Controle e Automação Industrial, junho de 1994.
Idmilson Haber Sepeda Filho: Desenvolvimento e implementação de um sistema de reconheccimento de peças baseado em redes neurais. Universidade Federal de Santa Catarina, Curso de Pós-Graduação em Engenharia Elétrica, Área de concentração: Sistemas de Controle e Automação, 1994.
Cecília Dias Flores: Sistema de solução de problemas cooperativos - um estudo de caso. Universidade Federal do Rio Grande do Sul (UFRGS), Curso de Pós-Graduação em Ciência da Computação, 26 de junho de 1995.
Emerson Pereira Raposo: Desenvolvimento de um sistema de reconhecimento de comandos verbais para robôs baseado na técnica de redes neurais artificiais. Universidade Federal de Santa Catarina (UFSC), Curso de Pós-Graduação em Engenharia Elétrica, Área de concentração: Sistemas de Controle e Automação Industrial, 15 de maio de 1997.
Roberta Vilhena Vieira: Sistema neurobiológico para construção de Árvores filogenéticas. Universidade Federal da Paraíba, Curso de Pós-Graduação em Informática (COPIN), 27 maio de 1997.
Hemerson Pistori: Construção automática de teoria em grafos. Universidade Estadual de Campinas, Curso de Pós-Graduação em Ciência da Computação, 19 de junho 1998.
Jeane Silva Ferreira: Concepção de um ambiente multiagentes de ensino inteligente integrando o paradigma de aprendizagem cooperativa. Universidade Federal do Maranhão, Curso de Pós-Graduação em Engenharia da Eletricidade, São Luís, MA, 21 de agosto de 1998.
Luciano Reis Coutinho: A modelagem do aprendiz em ambientes de aprendizagem por computador baseados em atividades de resolução de problemas. Universidade Federal da Paraíba, Curso de Pós-Graduação em Informática, Campina Grande, PB, 07 de maio de 1999.
Ivana Fontanive Capanema: Ambiente para construção de sistemas especialistas em tempo real aara a Itaipu Binacional. Universidade Federal de Santa Catarina (UFSC), Curso de Pós-Graduação em Engenharia Elétrica, Área de concentração: Sistemas de Controle e Automação Industrial, 21 de junho de 1999.
Marco Antonio Silva Picanço: Controlador baseado em lógica nebulosa aplicado a um sistema servo pneumático. Universidade Federal de Santa Catarina (UFSC), Curso de Mestrado em Engenharia Mecânica, 01 de julho 1999.
Sérgio Luiz de Medeiros Rivero: Um framework para simulação econômica baseado em um modelo de agente adaptativo antecipatório com racionalidade limitada. Universidade Federal de Santa Catarina (UFSC), Curso de Pós-Graduação em Engenharia de Produção, 27 de agosto de 1999.
Max Hering de Queiroz: Controle supervisório modular de sistemas de grande porte. Universidade Federal de Santa Catarina (UFSC), Curso de Pós-Graduação em Engenharia Elétrica, Área de concentração: Sistemas de Controle e Automação Industrial, 3 de março de 2000.
Richard Gregory Silva Vieira: Construção de uma interface KQML para o smalltalk. Universidade Federal de Santa Catarina (UFSC), Curso de Pós-Graduação em Ciência da Computação, 31 de agosto de 2000.
Felipe Luís Beck: Escalamento de tarefas Job-Shop realistas utilizando algoritmos genéticos em Mathlab. Universidade Federal de Santa Catarina (UFSC), Curso de Pós-Graduação em Engenharia Elétrica, Área de concentração: Sistemas de Controle e Automação Industrial, novembro de 2000.
Helena Maria Pereira Nunes: Serviço de busca baseado em agentes móveis para o ambiente MATHNET de ensino cooperativo computadorizado. Universidade Federal do Maranhão, Curso de Pós-Graduação em Engenharia da Eletricidade, São Luís, MA, 19 de fevereiro de 2001.
Jerusa Marchi: Navegação de robôs móveis autônomos: estudo e implementação de abordagens. Universidade Federal de Santa Catarina (UFSC), Curso de Pós-Graduação em Engenharia Elétrica, Área de concentração: Sistemas de Controle e Automação Industrial, 23 de fevereiro de 2001.
Daniela Duarte da Silva Bagatini: Um sistema multiagente para o simulador Soccer Server. Universidade Federal do Rio Grande do Sul, Curso de Pós-Graduação Ciência da Computação, Porto Alegre, RS, 27 de abril de 2001.
Alexandre Keller Albalustro Formação de células em sistemas de manufatura: uma abordagem usando Algoritmos Genéticos. Universidade Federal de Santa Catarina (UFSC), Curso de Pós-Graduação em Engenharia Elétrica, Área de concentração: Sistemas de Controle e Automação Industrial, 02 de julho de 2001.
Fernando Maia Assunção: SHART-Web: um sistema tutor de harmonia na Web. Universidade Federal da Paraíba, Curso de Pós-Graduação em Informática, Campina Grande, PB, 22 de agosto de 2001.
Fabio Benevenuti Calibração de um conjunto binocular para uso em estereoscopia e robótica móvel. Universidade Federal de Santa Catarina (UFSC), Curso de Pós-Graduação em Engenharia Elétrica, Área de concentração: Sistemas de Controle e Automação Industrial, 05 de setembro de 2001.
Alessandra de Jesus Diniz Lemos: ABARFI - uma arquitetura baseada em agentes para a recuperação e filtragem de informação. Universidade Federal do Maranhão, Curso de Pós-Graduação em Engenharia da Eletricidade, São Luís, MA, 07 de dezembro de 2001.
Joni Coser: Projeto de Planos de Medição para a Estimação de Estados em Sistemas de Potência via Algoritmos Genéticos. Universidade Federal de Santa Catarina (UFSC), Curso de Pós-Graduação em Engenharia Elétrica, Área de concentração: Sistemas de Potência, 27 de fevereiro de 2002.
Eduardo Jaques Spinosa: Adaptação dinâmica de parâmetros em computação evolucionária: o controle do tamanho da população em um sistema de programação genética. Universidade Federal do Paraná (UFPR), Curso de Mestrado em Informática, 06 de maio de 2002.
Alceu Sartor Filho: Sistema especialista para auxílio à recomposição de subestações de transmissão na fase fluente. Universidade Federal de Santa Catarina (UFSC), Curso de Pós-Graduação em Engenharia Elétrica, Área de concentração: Sistemas de Potência, 30 de julho de 2002.
Cesar Augusto Pereira Silvestre: Controle inteligente da qualidade de água para tanques de água doce. Universidade do Estado de Santa Catarina (UDESC), Centro de Ciências Tecnológicas (CCT), Coordenação de Pós-Graduação (CPG), Curso de Mestrado em Automação Industrial, 14 de fevereiro de 2003.
Alexandre Luiz Galvao Damasceno: Desenvolver agentes de futebol com objetos e lógica. Universidade Federal de Pernambuco, Curso de Pós-Graduação em Ciência da Computação, Recife, PE, 26 de março de 2003.
Sílvia Simões Costa Higashi: Uma Abordagem Multiagente para o Auxílio à Recomposição de Sistemas Elétricos na Fase Coordenada. Universidade Federal de Santa Catarina (UFSC), Curso de Pós-Graduação em Engenharia Elétrica, Área de concentração: Sistemas de Controle e Automação Industrial, 30 de junho de 2003.
Cíntia Schoeninger: Tratamento de informações imperfeitas na análise de risco do processo exploratório. Universidade Federal de Santa Catarina (UFSC), Curso de Pós-Graduação em Ciência da Computação, 18 de julho de 2003.
Fabio Luiz Ide: Lógicas de Raciocínio Aproximado e o Problema SAT. Instituto de Matemática e Estatística, Universidade de São Paulo, 14 de outubro de 2004.
Leandro Balby Marinho: Um Framework Multiagente para a Personalização da Web baseado na Modelagem de Usuários e na Mineração de Uso. Universidade Federal do Maranhão, Curso de Pós-Graduação em Engenharia da Eletricidade, São Luís, MA, 11 de março de 2005.
Lícia Rocha Tourinho Barbosa: Um sistema multiagente para monitoramento atmosférico. Curso de Mestrado Profissional em Redes de Computadores, Universidade Salvador (UNIFACS), 14 de fevereiro de 2005.
Felipe Bittencourt: Uma Abordagem Sistemática para Pesquisa e Seleção de Parceiros em Empresas Virtuais Usando o Método AHP e o Modelo Scor. Universidade Federal de Santa Catarina (UFSC), Curso de Pós-Graduação em Engenharia Elétrica, Área de concentração: Sistemas de Controle e Automação Industrial, 4 de maio de 2005.
Sérgio Roberto de Lima e Silva Filho: Autenticação Contínua pela Dinâmica da Digitação usando Máquinas de Comitê. Universidade Federal de Santa Catarina (UFSC), Curso de Pós-Graduação em Ciência da Computação, 26 de agosto de 2005.
Alberto Xavier Pavim: Contribuições na Otimização de um Sistema de Visão para Detecção, Medição e Classificação Automática do Desgaste de Ferramentas de Corte em Processos de Usinagem. Universidade Federal de Santa Catarina (UFSC), Curso de Pós-Graduação em Engenharia Elétrica, Área de concentração: Sistemas de Controle e Automação Industrial, 01 de setembro de 2005.
Rodrigo Rizzi Starr: Contribuições para a detecção de vazamentos em tubulações de gás natural: uma abordagem baseada em conhecimento. Programa de Pós-Graduação em Engenharia Mecânica, Universidade Federal de Santa Catarina, 17 de julho de 2006.
Razer Anthom Nizer Rojas Montaño: Alicação de fórmulas não-clausais em planejamento com redes de Petri. Universidade Federal do Paraná (UFPR), Programa de Pós-Graduação em Informática, 14 de setembro de 2006.
Fernando Corrêa Lima: Um resolvedor paralelo com BSP sobre uma grade. Instituto de Matemática e Estatística, Universidade de São Paulo, 23 de março de 2007.
Alexandre da Costa e Silva Franco: Geração e controle de tragetória de robôs móveis omni-direcionais. Programa de Pós-Graduação em Mecatrônica, Universidade Federal da Bahia, 13 de abril de 2007.
Daniela Costa Terra:Desenvolvimento de um mecanismo atencional-motivacional-emocional para organismos artificiais: uma abordagem a partir da cognição situada. Curso de Mestrado em Modelagem Matemática e Computacional, Centro Federal de Eduação Tecnológica de Minas Gerais, 19 de dezembro de 2007.
Cláudio José Biazus: Desenvolvimento de uma Arquitetura Híbrida e Distribuída para Sistemas Multiagentes e sua Aplicação no Futebol de Robôs. Universidade Federal de Santa Catarina (UFSC), Curso de Pós-Graduação em Ciência da Computação, 24 de março de 2008.
Gutierrez Soares Caexêta, VisionDraughts - um sistema de aprendizagem de jogos de damas baseado em redes neurais, diferenças temporais, algoritmos eficientes de busca em árvores e informações perfeitas contidas em bases de dados. Programa de Pós-Graduação em Ciência da Computação, Faculdade de Computação, Universidade Federal de Uberlândia, 21 de julho de 2008.

9.3 Proposta de tese de doutorado

Marcelo Ladeira: Representação de Conhecimento e Redes de Decisão. Universidade Federal do Rio Grande do Sul, Curso de Pós-Graduação Ciência da Computação, Porto Alegre, RS, 8 de abril de 1998.
Roberta Vilhena Vieira: Uma teoria para algoritmos genéticos e sua especificação em CSP-Z, Universidade Federal de Pernambuco, Curso de Pós-Graduação em Ciência da Computação, Recife, PE, 25 de maio de 2001.
Luis Carlos de Souza Meneses: Uma descrição formal do paradigma de programação orientado a agentes utilizando semântica de ações, Universidade Federal de Pernambuco, Curso de Pós-Graduação em Ciência da Computação, Recife, PE, 30 de novembro de 2001.
Márcia Cristina Moraes: Agentes improvisacionais e coordenação improvisacional em sistemas multiagentes. Universidade Federal do Rio Grande do Sul, Curso de Pós-Graduação Ciência da Computação, Porto Alegre, RS, 30 de abril de 2003.

9.4 Exame de qualificação de doutorado

Celso Antônio Alves Kaestner: Uma proposta de sistema baseado no conhecimento para aplicações tempo-real. Universidade Federal de Santa Catarina, Curso de Pós-Graduação em Engenharia Elétrica, Área de concentração: Sistemas de Informação, Florianópolis, SC, março de 1991.
Fernando Moreira da Silva: Modelo Inferencial em Previsão do Tempo com Lógica Nebulosa. Universidade Federal da Paraíba, Curso de Pós-Graduação em Engenharia Elétrica, Campina Grande, PB, 18 de novembro de 1996.
Marcelo Ladeira: Representação de Conhecimento e Redes de Decisão. Universidade Federal do Rio Grande do Sul, Curso de Pós-Graduação Ciência da Computação, Porto Alegre, RS, junho de 1997.
José Miguel Eyzell González: Explorando simetria na síntese de supervisores para sistemas a eventos discretos. Universidade Federal de Santa Catarina, Curso de Pós-Graduação em Engenharia Elétrica, Área de concentração: Sistemas de Informação, Florianópolis, SC, 30 de julho de 1998.
César Rafael Claure Torrico: Controle supervisório hierárquico para sistemas a eventos discretos: uma abordagem baseada na agregação de estados. Universidade Federal de Santa Catarina, Curso de Pós-Graduação em Engenharia Elétrica, Área de concentração: Sistemas de Informação, Florianópolis, SC, 19 de junho de 2001.
Cláudio de Oliveira: SEDR - Um Modelo Computacional Baseado em Regras para a Síntese de Supervisores em Sistemas a Eventos Discretos. Universidade Federal de Santa Catarina, Curso de Pós-Graduação em Engenharia Elétrica, Área de concentração: Sistemas de Controle e Automação Industrial, Florianópolis, SC, 27 de março de 2002.
Max Hering de Queiroz: Contribuições Teóricas e Práticas ao Controle Supervisório de Sistemas Compostos. Universidade Federal de Santa Catarina (UFSC), Curso de Pós-Graduação em Engenharia Elétrica, Área de concentração: Sistemas de Controle e Automação Industrial, Florianópolis, 17 de abril de 2002.
André Bittencourt Leal: Controle Supervisório Modular de Sistemas Híbridos. Universidade Federal de Santa Catarina (UFSC), Curso de Pós-Graduação em Engenharia Elétrica, Área de concentração: Sistemas de Controle e Automação Industrial, 13 de dezembro de 2002.
Alexandre Scaico: Métodos formais no projeto de interfaces para sistemas industriais críticos. Universidade Federal da Paraíba, Curso de Pós-Graduação em Engenharia Elétrica, Campina Grande, PB, 18 de novembro de 2004.
Patrícia Nascimento Pena: Explorando Aspectos Estruturais na Síntese de Supervisores para Sistemas Compostos. Universidade Federal de Santa Catarina (UFSC), Curso de Pós-Graduação em Engenharia Elétrica, Área de concentração: Sistemas de Controle e Automação Industrial, Florianópolis, 22 de março de 2005.
Leandro Loss: Uma Abordagem para Sistemas Inteligentes de Suporte à Decisão para Gestão de Organizações Virtuais. Universidade Federal de Santa Catarina (UFSC), Curso de Pós-Graduação em Engenharia Elétrica, Área de concentração: Sistemas de Controle e Automação Industrial, Florianópolis, 20 de abril de 2005.
Luciene de Oliveira Marin: Navegação e Planejamento de Trajetória de Robôs Móveis: Proposta de Modelo Inspirado na Natureza. Universidade Federal de Santa Catarina (UFSC), Curso de Pós-Graduação em Engenharia Elétrica, Área de concentração: Sistemas de Controle e Automação Industrial, Florianópolis, 28 de agosto de 2006.
Melissa Pereira de Castro: Localização de Facilidades: Modelos, Algoritmos e Aplicações em Campos de Petróleo. Universidade Federal de Santa Catarina (UFSC), Curso de Pós-Graduação em Engenharia de Automação e Sistemas, 13 de setembro de 2007.
Rui Jorge Tramontin Junior: Arcabouço de Suporte à Busca de Conhecimento Baseada em Semântica em Redes Colaborativas. Universidade Federal de Santa Catarina (UFSC), Curso de Pós-Graduação em Engenharia Elétrica, Área de concentração: Sistemas de Controle e Automação Industrial, Florianópolis, 21 de setembro de 2007.
David Daniel e Silva: Um Estudo sobre a Variabilidade Acústica de Locutores para o Português Brasileiro e a Influência desse Fator nos Parâmetros de Um ASR e Taxa de Reconhecimento. Universidade Federal de Santa Catarina (UFSC), Curso de Pós-Graduação em Engenharia de Automação e Sistemas, 14 de março de 2008.

9.5 Doutorado

Junior Barrera: Uma abordagem unificada para problemas de visão computacional: a morfologia matemática. Universidade de São Paulo, Curso de Doutorado em Engenharia Elétrica, São Paulo, SP, abril de 1992.
Celso Antônio Alves Kaestner: Uma proposta de sistema baseado no conhecimento para aplicações tempo-real utilizando o enfoque síncrono. Universidade Federal de Santa Catarina, Curso de Pós-Graduação em Engenharia Elétrica, Área de concentração: Sistemas de Informação, Florianópolis, SC, outubro de 1993.
Flávio Moreira de Oliveira: Critérios de equilibração para sistemas tutores inteligentes. Universidade Federal do Rio Grande do Sul, Curso de Pós-Graduação Ciência da Computação, Porto Alegre, RS, janeiro de 1994.
Claudio Cesar de Sá: Uma Arquitetura para Agentes Autônomos Móveis sob a Visão da Inteligência Artificial Distribuída. Instituto Tecnológico de Aeronáutica, Curso de Doutorado em Ciências, São José dos Campos, SP, abril de 1997.
Evandro de Barros Costa: Um Modelo de Ambiente Interativo de Apredizagem Baseado em uma Arquitetura Multiagentes. Universidade Federal da Paraíba, Curso de Pós-Graduação em Engenharia Elétrica, Campina Grande, PB, 19 de dezembro de 1997.
Maria das Graças Bruno Marietto: Definição dinâmica de estratégias instrucionais em sistemas de tutoria inteligentes: uma abordagem multiagentes na WWW. Instituto Tecnológico de Aeronáutica, Curso de Doutorado em Ciências, São José dos Campos, SP, 28 de fevereiro de 2000.
José Miguel Eyzell González: Aspectos de síntese de supervisores para sistemas a eventos discretos e sistemas híbridos. Universidade Federal de Santa Catarina, Curso de Pós-Graduação em Engenharia Elétrica, Área de concentração: Sistemas de Informação, Florianópolis, SC, 7 de abril de 2000.
Marcelo Ladeira: Diagrama de influências múltiplo secionado. Universidade Federal do Rio Grande do Sul, Curso de Pós-Graduação Ciência da Computação, Porto Alegre, RS, 20 de junho de 2000.
Conrado Werner Seibel: Uma metodologia formal para o planejamento e controle de missões de aeronaves não-tripuladas. Universidade Federal de Santa Catarina, Curso de Pós-Graduação em Engenharia Elétrica, Área de concentração: Sistemas de Informação, Florianópolis, SC, 15 de dezembro de 2000.
Carmen Lúcia Ruybal dos Santos: Reavaliações da GasNet e sua eficácia: além da proposição inicial. Instituto Tecnológico de Aeronáutica, Curso de Doutorado em Ciências, São José dos Campos, SP, 25 de abril de 2001.
Luis Carlos de Souza Meneses: Uma descrição formal do paradigma de programação orientado a agentes utilizando semântica de ações. Universidade Federal de Pernambuco, Curso de Pós-Graduação em Ciência da Computação, Recife, PE, 30 de agosto de 2002.
César Rafael Claure Torrico: Controle supervisório hierárquico para sistemas a eventos discretos: uma abordagem baseada na agregação de estados. Universidade Federal de Santa Catarina, Curso de Pós-Graduação em Engenharia Elétrica, Área de concentração: Sistemas de Informação, Florianópolis, SC, 07 de março de 2003.
Antônio Eduardo Carrilho da Cunha: Contribuições ao Controle Hierárquico de Sistemas a Eventos Discretos. Universidade Federal de Santa Catarina, Curso de Pós-Graduação em Engenharia Elétrica, Área de concentração: Sistemas de Informação, Florianópolis, SC, 28 de abril de 2003.
Roberta Vilhena Vieira: Um algoritmo genético baseado em tipos abstratos de dados e sua especificação em Z. Universidade Federal de Pernambuco, Curso de Pós-Graduação em Ciência da Computação, Recife, PE, 28 de março de 2003.
Cláudia Regina Milaré: Extração de conhecimento de redes neurais artificiais utilizando sistemas de aprendizado simbólico e algoritmos genéticos. Instituto de Ciências Matemáticas e de Computação (ICMC) Área de concentração: Ciências de Computação e Matemática Computacional, 24 de junho de 2003.
Hassan Tout: Ingénierie des systèmes d'acquisition coopérative d'information, Université Toulouse I, Spécialité Informatique, 26 septembre 2003.
Fábio Ferreira da Costa Campos: Uma Extensão à Teoria Matemática da Evidência. Universidade Federal de Pernambuco, Curso de Pós-Graduação em Ciência da Computação, Recife, PE, 8 de fevereiro de 2005.
André Bittencourt Leal: Controle Supervisório modular de Sistemas Híbridos. Universidade Federal de Santa Catarina, Curso de Pós-Graduação em Engenharia Elétrica, Área de concentração: Sistemas de Informação, Florianópolis, SC, 26 de setembro de 2005.
Carlos Henrique Farias dos Santos: Movimento Coordenado de Sistemas Veiculo-Manipulador Submarinos Utilizando Técnicas de Inteligência Artificial e Sistemas Híbridos. Universidade Federal de Santa Catarina, Curso de Pós-Graduação em Engenharia Elétrica, Área de concentração: Sistemas de Informação, Florianópolis, SC, 02 de junho de 2006.
Adolfo Gustavo Serra Seca Neto: Um provador de teoremas multi-estratégia. Instituto de Matemática e Estatística, Universidade de São Paulo, Área de concentração: Ciência da Computação, São Paulo, SP, 30 de janeiro de 2007.
Alexandre Scaico: Aplicação de métodos formais no projeto de interfaces para sistemas industriais críticos. Universidade Federal da Paraíba, Curso de Pós-Graduação em Engenharia Elétrica, Campina Grande, PB, 30 de março de 2007.
Patrícia Nascimento Pena: Verificação de conflito na supervisão de sistemas concorrentes usando abstrações. Universidade Federal de Santa Catarina (UFSC), Curso de Pós-Graduação em Engenharia Elétrica, Área de concentração: Sistemas de Informação, Florianópolis, 18 de maio de 2007.
Leandro Loss: Um Arcabouço para o Aprendizado de Redes Colaborativas de Organizações: Uma Abordagem Baseada em Aprendizagem Organizacional e Gestão do Conhecimento. Universidade Federal de Santa Catarina (UFSC), Curso de Pós-Graduação em Engenharia Elétrica, Área de concentração: Sistemas de Informação, Florianópolis, 31 de agosto de 2007.

9.6 Concursos

Participação na Comissão de Exame para provimento do cargo de Professor Adjunto da Divisão de Ciência da Computação do Departamento de Teoria da Computação, no campo de conhecimento Inteligência Artificial, no Instituto Tecnológico de Aeronáutica, São José dos Campos - SP, dezembro de 1992.
Participação na Banca Examinadora de Concurso Público para ingresso na Carreira do Magistério Superior, Cargo de Professor Adjunto do Departamento de Informática, Universidade Federal do Maranhão, São Luís, MA, 04 a 06 de março de 2002.
Participação na Banca Examinadora de Concurso Público para ingresso na Carreira do Magistério Superior, Duas vagas para o cargo de Professor do Instituto de Ciências Matemáticas e de Computação (ICMC-USP), São Carlos, SP, 10 e 11 de dezembro de 2007
Participação na Banca Examinadora de Concurso Público para ingresso na Carreira do Magistério Superior, Cargo de Professor da área de Teoria da Computação/Inteligência Artificial na Fundação Universidade Federal do ABC, 13 a 15 de dezembro de 2007.

10 Coordenação de projetos

Coordenador do Projeto Integrado de Pesquisa Um ambiente para a especificação formal de bases de conhecimentos e sistemas dinâmicos, Financiado pelo CNPq, Processo No. 52.0176/96-0, 1996-1998.
Coordenador do Projeto Integrado de Pesquisa Formalismos e Ferramentas para Automação: dos Sistemas Dinâmicos às Bases de Conhecimentos Distribuídas, Financiado pelo CNPq, Processo No. 52.3169/95-7, 1998-2002.
Coordenador do Projeto PROBRAL de Cooperação entre a Universidade Karlsruhe (Alemanha) e a UFSC, Um Enfoque Semântico para Recuperação de Dados (http://www.das.ufsc.br/gia/pb-p/), Financiado por Capes-DAAD, Processo No. 060/98, 1998-2001.
Coordenador local (UFSC) do Projeto de Pesquisa em Informática na Educação MATH_NET, Uma abordagem via sistemas multiagentes para concepção e realização de ambientes interativos de aprendizagem cooperativa assistidos por computador (http://mathnet.das.ufsc.br/), ProTeM-CC - PTI - PEDU, (Processo Institucional No. 68.0060/99-5, Processo Individual No. 48.0341/99-0), coordenado pelo Prof. Dr. Evandro de Barros Costa Universidade Federal de Alagoas (UFAL), com a participação da Universidade Federal do Maranhão (UFMA) e da Universidade Federal de Santa Catarina (UFSC), 1999-2001.
Responsável local (UFSC) do Projeto Um ambiente para engenharia de aplicações multiagentes (MaAE), Programa Temático e Multi-institucional em Ciência da Computação (ProTeM-CC), coordenado pelo Prof. Dr. María del Rosario Girardi da Universidade Federal do Maranhão (UFMA) com a participação da Universidade Federal de Alagoas (UFAL) e da Universidade Federal de Santa Catarina (UFSC), 2001.
Coordenador do Projeto de Cooperação entre o Institut de Recherche Informatique de Toulouse (IRIT - Université Paul Sabatier - França) e UFSC, Interação entre modelos formais para sistemas de supervisão e informação, Financiado por Capes-Cofecub, Processo No. 400/02, 2002-2005.
Coordenador do Projeto Individual de Pesquisa Formalismos e Ferramentas para Automação, Financiado pelo CNPq, Processo No. 352017/92-9, 2002-2004.
Coordenador do Projeto Individual de Pesquisa Formalismos e Ferramentas para Automação, Financiado pelo CNPq, Processo No. 304052/2004-3, 2005-2008.
Coordenador do Projeto de Cooperação Internacional Composição e Módulos para Engenharia de Ontologias, Processo 490222/2007-2, Financiado pelo Convênio CNPq/INRIA (França), 2008-2009.
Coordenador do Projeto de Pesquisa Plataforma didática para o ensino e o aprendizado de robótica, No. FCTP2312/000, Financiado pela Fundação de Apoio à Pesquisa Científica e Tecnológica do Estado de Santa Catarina (FAPESC, http://www.fapesc.rct-sc.br/), 2007-2008.

11 Organização de eventos

12th Workshop on Logic, Language, Information and Computation, Sociedade Brasileira de Computação, Jurerê Beach Village, Florianópolis, Santa Catarina, Brazil, July 19-22, 2005 (http://www.cin.ufpe.br/~wollic/wollic2005/).

12 Atividades como consultor

Consultor ``ad-hoc'' do Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq).
Consultor ``ad-hoc'' da Fundação Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (Capes).
Consultor ``ad-hoc'' da Fundação de Amparo à Pesquisa do Estado de Alagoas (FAPEAL).
Consultor ``ad-hoc'' da Fundação de Amparo à Pesquisa do Estado do Espírito Santo (FAPES).
Consultor da Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP).
Revisor da revista Pesquisa Oepracional, ISSN 0101-7438.
Revisor da revista Special Issue on Agents' Organizations, Journal of the Brazilian Computer Society, ISSN 0104-6500, No. 1, Vol. 11, July 2005.
Revisor da revista Special Issue on Ontology Issues and Applications, Journal of the Brazilian Computer Society, 2005.

13 Participação em comitês de eventos

Membro da Comissão Organizadora do 2o Simpósio Brasileiro de Inteligência Artificial, INPE, São José dos Campos, SP, novembro de 1985.
Membro da Comissão Organizadora do XI Congresso Nacional da Sociedade Brasileira de Computação, Mendes Plaza Hotel, Santos, SP, agosto de 1991.
Coordenador da Comissão Julgadora do IV Concurso de Teses e Dissertações do XI Congresso Nacional da Sociedade Brasileira de Computação, Mendes Plaza Hotel, Santos, SP, agosto de 1991.
Coordenador do Comitê de Programa do 8o Simpósio Brasileiro de Inteligência Artificial, UNB, Brasília, DF, novembro de 1991.
Membro do Comitê de Programa do 9o Simpósio Brasileiro de Inteligência Artificial, IME, Rio de Janeiro, RJ, setembro de 1992.
``Chairperson'' das seções ``Knowledge Representation'' (A106) e ``Fuzzy Music'' (AIS9) do ``Sixth International Fuzzy Systems Association World Congress (IFSA'95)'', São Paulo, SP, 22 a 28 de julho de 1995.
Membro do Comitê de Programa do 12o Simpósio Brasileiro de Inteligência Artificial, Unicamp, Campinas, SP, outubro de 1995.
Membro do Comitê de Programa do I Encontro Brasileiro de Inteligência Artificial (ENIA'97), UNB, Brasília, DF, 2 a 8 de Agosto de 1997.
Membro do Comitê de Programa do Workshop Sistemas de Tutoria Inteligente Aplicados a Educação e Treinamento (STIET'97), VIII Simpósio Brasileiro de Informática na Educação (SBIE'97), São José dos Campos, SP, 18 a 20 de novembro de 1997.
Membro do Comitê de Programa do 14o Simpósio Brasileiro de Inteligência Artificial, PUCRS, Porto Alegre, novembro de 1998.
Membro do Comitê de Programa do II Encontro Brasileiro de Inteligência Artificial (ENIA'99), Rio de Janeiro, RJ - 20 e 21 de julho de 1999.
Membro do Comitê de Programa do Workshop Ambientes de Aprendizagem Baseados em Agentes, X Simpósio Brasileiro de Informática na Educação (SBIE'99), Curitiba, PR, 23 a 25 de novembro de 1999.
Coordenador das seções técnicas ``Controle e Modelagem Fuzzy'' (14 de setembro de 2000, 08:30-10:30) e ``Sistemas Fuzzy'' (14 de setembro de 2000, 14:00-16:00) do XIII Congresso Brasileiro de Automática (CBA'2000), Florianópolis, Santa Catarina, Brasil, 11 a 14 de setembro de 2000.
Membro do Comitê de Programa do Third Iberoamerican Workshop on Distributed Artificial Intelligence and Multi-Agent Systems, Atibaia, São Paulo, Brasil, 20 a 22 de novembro de 2000.
Membro do Comitê da Jornada de Atualização em Inteligência Artificial, realização da Comissão Especial de Inteligência Artificial (CEIA) da SBC como parte do XXI Congresso da Sociedade Brasileira de Computação, Fortaleza, 30 de julho a 03 de agosto de 2001.
Membro do Comitê de Programa do III Encontro Brasileiro de Inteligência Artificial (ENIA'2001), Campus da UNIFOR e Centro de convenções do Ceará, Fortaleza, 30 de julho a 03 de agosto de 2001.
Membro do Comitê de Programa da First International Joint Conference on Autonomous Agents and MultiAgent Systems (AAMAS 2002), Bologna, Itália, 15 a 19 de julho de 2002.
Membro do Comitê de Programa do Fourth Iberoamerican Workshop on Multi-Agent Systems ``Agent Technology and Software Engineering'' University of Málaga, Espanha, 11-12 November 2002.
Membro do Comitê de Programa do IV Encontro Brasileiro de Inteligência Artificial (ENIA'2003), SBC, Unicamp, Campinas, 2 a 8 de agosto de 2003.
Membro do Comitê de Programa da Third International Joint Conference on Autonomous Agents and MultiAgent Systems (AAMAS 2004), Columbia University, New York City, 19 July - 23 July, 2004.
Membro do Comitê de Programa do XVII Brazilian Symposium on Artificial Intelligence (SBIA'04), São Luís, Maranhão, Brazil, September 29 - October 1, 2004.
Membro do Comitê de Programa do Workshop On Ontologies And Their Applications held in conjunction with XVII Brazilian Symposium on Artificial Intelligence (SBIA'04), Brazilian Symposium on Artificial Neural Networks (SBRN'04) and IEEE Machine Learning and Signal Processing (IEEE MLSP'04), São Luís, Maranhão, Brazil, September 28, 2004.
Membro do Comitê de Programa da 9 Ibero-American Conference on Artificial Intelligence (IBERAMIA'2004), Puebla, Mexico, November 22-26, 2004
Membro do Comitê de Programa do Fifth International Symposium on Advanced Distributed Systems, ISSADS 2005, Guadalajara, Mexico, January 24 - January 28, 2005.
Membro do Comitê de Programa do Seminário Integrado de Software e Hardware (SEMISH'05), 22 a 29 de julho de 2005, no campus da Unisinos, São Leopoldo, RS.
Membro do Comitê de Programa do V Encontro Brasileiro de Inteligência Artificial (ENIA'2005), XXV Congresso da Sociedade Brasileira de Computação, 25 a 29 de julho de 2005, Campus da Unisinos, São Leopoldo, RS.
Membro do Comitê de Programa da Fourth International Joint Conference on Autonomous Agents and MultiAgent Systems (AAMAS 2005), Utrecht University, July 25-29 2005.
Membro do Comitê de Programa do XXIV Concurso de Trabalhos de Iniciação Científica (CTIC'2005), XXV Congresso da Sociedade Brasileira de Computação, 25 a 29 de julho de 2005, Campus da Unisinos, São Leopoldo, RS.
Membro do Comitê de Programa do XVIII Brazilian Symposium on Artificial Intelligence (SBIA'06), Ribeirão Petro, SP, Brazil, October 23-27, 2006.
Membro do Comitê de Programa do VI Encontro Brasileiro de Inteligência Artificial (ENIA'2007), XXV Congresso da Sociedade Brasileira de Computação, 03 a 06 de julho de 2007, Instituto Militar de Engenharia (IME), Rio de Janeiro, RJ.

14 Participação na revisão de artigos

Revisor de artigos do XVII Seminário Integrado de Software e Hardware, Vitória, ES, julho de 1990.
Membro da Comissão Julgadora de Trabalhos da Jornada de Computação Visual IEEE/EPUSP, Escola Politécnica, USP-SP, São Paulo, SP, dezembro de 1990.
Revisor de artigos do Congresso Brasileiro de Automática, IPT/USP, São Paulo, 2 a 6 de setembro de 1996.
Revisor de artigos do XII Congresso Brasileiro de Automação Uberlândia, MG, 14 a 18 de setembro de 1998.
Revisor de artigos do IV Simpósio Brasileiro de Automação Inteligente, Escola Politécnica da USP, São Paulo - SP , 08 a 10 de setembro de 1999.
Revisor de artigos do IV Simpósio Brasileiro De Automação Inteligente, Escola Politécnica da USP, São Paulo - SP , 08 a 10 de setembro de 1999.
Revisor de artigos do XIII Congresso Brasileiro de Automação Florianópolis, 11 a 14 de setembro de 2000.
Revisor de artigos do WORKCOMP'2000, Workshop de Computação do ITA, Instituto Tecnológico de Aeronáutica, São José dos Campos, SP, 17 a 18 de outubro de 2000.

15 Participação em eventos

1o Simpósio Brasileiro sobre Inteligência Artificial, UFRGS, Porto Alegre - RS, novembro de 1984.
Fifth International Conference on Applicable Algebra, Error-Correcting Codes and Computer Algebra, Minorca, Espanha, agosto 1987.
Workshop on Term Subsumption Languages, Jackson Village, NH, October 1989.
I Jornada sobre Cibernética Pedagógica, Escola de Comunicação e Artes, Universidade de São Paulo, 11 de março de 1992.
International Developers Opportunities Conference (I DO), São Paulo, SP, Centro de Convenções da Gazeta Mercantil, 28-30 de novembro de 1994.

16 Outras atividades relevantes

AUXILIAR DE PESQUISA - FINEP, Centro de Processamento de Dados da UFRGS - Divisão Acadêmica, Porto Alegre - RS, de novembro de 1976 a dezembro de 1979.
Participação no curso: Les techniques logicielles pour la sureté de fonctionament, CTA, São José dos Campos, SP, agosto de 1983.
Colaborador da seção de Divulgação Científica do jornal cultural mensal Multiarte de Porto Alegre, RS, abril a julho de 1991.
Participação na mesa redonda ``Inteligência Artificial'', 6a FENASOFT - Feira Internacional do Software, São Paulo - SP, julho de 1992.
Responsável pela correção da prova de Língua Estrangeira (Francês) do Curso de Pós-Graduação em Computação Aplicada do Instituto Nacional de Pesquisas Espaciais (CAP-INPE), 1990-1992.
Participação na Seção Técnica 1 ``Processamento Distribuído e Integração em Inteligência Artificial'' coordenada pelo Prof. Eleri Cardoso, Workshop CIASP, Congresso de Inteligência Artificial na Solução de Problemas, CONDEX SUCESU, Anhembi, São Paulo - SP, 25 a 26 de agosto de 1993.
Participante da Mostra de Arte do VII Simpósio Brasileiro de Computação Gráfica e Processamento de Imagens (SIBGRAPI'95) com o trabalho A Jaula, 24 a 26 de outubro de 1995.
Escolhido como Nome de Turma pelos formandos do Curso de Graduação em Engenharia de Controle e Automação Industrial da UFSC, Turma 1996/1.
Professor homenageado do Curso de Graduação em Engenharia de Controle e Automação Industrial da UFSC, Turma 1996/2.
Paraninfo do Curso de Graduação em Engenharia de Controle e Automação Industrial da UFSC, Turma 1997/1.
Membro da Comissão Coordenadora da eleição para chefe e sub-chefe do Departamento de Automação e Sistemas, realizada no dia 12 de setembro de 1997.
Membro da Comissão Coordenadora da eleição para chefe e sub-chefe do Departamento de Automação e Sistemas, realizada no dia 30 de agosto de 1999.
Membro da Comissão do CTC da UFSC para Seleção de Bolsas de Iniciação Científica representando o DAS, Programa PIBIC/CNPq-BIP/UFSC, 1997-2000.
Coordenador da Comissão do CTC da UFSC para Seleção de Bolsas de Iniciação Científica, Programa PIBIC/CNPq-BIP/UFSC, 2000-2001.
Professor Convidado, Universidade Toulouse 1, maio/junho 2002.
Professor homenageado do Curso de Graduação em Engenharia de Controle e Automação Industrial da UFSC, Turma 2003/2.
Professor homenageado do Curso de Graduação em Engenharia de Controle e Automação Industrial da UFSC, Turma 2005/2.

17 Bolsas e auxílios recebidos

BOLSA DE MESTRADO EM COMPUTAÇÃO APLICADA - INPE/CNPq, Instituto Nacional de Pesquisas Espaciais, São José dos Campos - SP, de março a julho de 1982.
BOLSA DE DOUTORADO EM INFORMÁTICA - CNPq, Institut National Polytechnique de Grenoble, de outubro de 1985 a setembro de 1988 - Universität Karlsruhe, de outubro de 1988 a março de 1990.
AUXÍLIO PARA PARTICIPAÇÃO EM CONGRESSOS - CNPq, Third International Conference on Tools for Artificial Intelligence (ICTAI'91), realizada em San José, California, USA, de 10 a 13 de novembro de 1991.
BOLSA DE PROFESSOR VISITANTE - CNPq, Instituto de Lógica, Filosofia e Teoria da Ciência, Niterói, RJ, janeiro de 1992.
PROJETO INTEGRADO DE PESQUISA - CNPq, Laboratório de Engenharia de Software, março de 1992 a fevereiro de 1994, incluindo a concessão de bolsa individual.
AUXÍLIO PARA PARTICIPAÇÃO EM CONGRESSOS - FAPESP, International Symposium on Methodologies for Intelligent Systems (ISMIS'93), realizado em Trondheim, Noruega, 15 a 18 de junho de 1993 e Eighth International Conference on Applications of Artificial Intelligence in Engineering (AIENG'93), realizada em Toulouse, França, 29 Junho a 1 Julho de 1993.
BOLSA DE PESQUISADOR VISITANTE 2B - CNPq (Processo No. 300424/93-0), Laboratório de Controle e Microinformática (LCMI) do Departamento de Engenharia Elétrica (EEL) da Universidade Federal de Santa Catarina (UFSC), julho de 1993 a junho de 1995.
AUXÍLIO PARA PARTICIPAÇÃO EM CONGRESSO - CNPq, Fifth International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems (IPMU'94), Paris, França, 4 a 8 de julho, 1994.
PASSAGEM AÉREA (CNPq) e TAXAS/ESTADIA (Associação Portuguesa para a Inteligência Artificial - APPIA), ADVANCED SCHOOL ON ARTIFICIAL INTELLIGENCE 94: Artificial Intelligence for Multi-Agent Systems, Methodologies and Applications, Troia (Setubal), Portugal, 26-30 de setembro de 1994.
BOLSA DE PRODUTIVIDADE EM PESQUISA 2C - CNPq (Processo No. 352017/92-9), março de 1996 a fevereiro de 1998.
AUXÍLIO PARA PARTICIPAÇÃO EM CONGRESSO - CNPq (Processo No. 451454/97-9), International Joint Conference on Artificial Intelligence (IJCAI'97), Nagoya, Japan, 23 a 29 de agosto de 1997.
AUXÍLIO PARA PARTICIPAÇÃO EM CONGRESSO - CapesAEX (Processo No. 0448/98-2), Third International Conference on Multi-Agent Systems Conference (ICMAS'98), Paris, França, 04 a 07 de julho de 1998 e Seventh International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems (IPMU'98), Université de La Sorbonne, Paris, França, 06 a 10 de julho de 1998.
BOLSA DE PRODUTIVIDADE EM PESQUISA 2B - CNPq (Processo No. 352017/92-9), março de 1998 a fevereiro de 2000.
BOLSA DE PRODUTIVIDADE EM PESQUISA 2B - CNPq (Processo No. 352017/92-9), março de 2000 a fevereiro de 2002.
BOLSA DE PRODUTIVIDADE EM PESQUISA 2A - CNPq (Processo No. 352017/92-9), março de 2002 a fevereiro de 2004.
AUXÍLIO PARA PARTICIPAÇÃO EM CONGRESSO - CNPq (Processo No. 451128/00-1), Fifth International Conference Artificial Intelligence And Symbolic Computation Theory, Implementations and Applications (AISC'2000), Madrid, Espanha, 17 a 19 de julho de 2000.
BOLSA DE PÓS-DOUTORADO - Capes (Processo No. 0129/03-8), Institut de Recherche Informatique de Toulouse (IRIT), Université Toulouse I, agosto de 2003 a julho de 2004.
AUXÍLIO PARA PARTICIPAÇÃO EM CONGRESSO - CNPq (Processo No. 451878/2004-3), 16 European Conference on Artificial Intelligence (ECAI'04), Valencia, Spain, August, 22-27, 2004.
BOLSA DE PRODUTIVIDADE EM PESQUISA 1D - CNPq (Processo No. 304052/2004-3), março de 2005 a fevereiro de 2008.

18 Prêmios e distinções

Prêmio Literário Troféu Boi-de-Mamão conferido ao livro Inteligência Artificial Ferramentas e Teorias pela Câmara Catarinense do Livro por ocasião da 1a. Bienal do Livro do Cone Sul, 14a. Feira do Livro de Florianópolis, 15 de setembro de 1999.
Prêmio ``Best Paper'' da International Joint Conference IBERAMIA'2000 (Ibero-American Artificial Intelligence Conference) SBIA'2000 (Brazilian Artificial Intelligence Symposium) com o artigo Dynamic Social Knowledge: A Comparative Evaluation escrito em co-autoria com Augusto Cesar Pinto Loureiro da Costa.

19 Sociedades a que pertence

SBC
Sociedade Brasileira de Computação (Sócio No 1412)
SBMAC
Sociedade Brasileira de Matemática Aplicada e Computacional (Sócio No 688)
SBA
Sociedade Brasileira de Automática (Sócio No SBA03-642)
ACM
Association for Computing Machinery (Sócio No 5190848)

20 Conhecimento de idiomas

Inglês
Francês
Alemão