Arthur Ronald de Vallauris Buchsbaum

  • Endereço para acessar este CV: http://lattes.cnpq.br/5753981526255474
  • Última atualização do currículo em 10/02/2014


Possui Bacharelado em Matemática pela Universidade Federal Fluminense (1983), Mestrado em Informática pela Pontifícia Universidade Católica do Rio de Janeiro (1988) e Doutorado em Informática pela Pontifícia Universidade Católica do Rio de Janeiro (1995). Atualmente é Professor Adjunto da Universidade Federal de Santa Catarina. Tem experiência na área de Matemática, com ênfase em Lógica, atuando principalmente nos seguintes temas: lógica universal, lógicas não monotônicas, lógicas paraconsistentes, lógicas paracompletas, lógicas descritivas e automatização do raciocínio. (Texto informado pelo autor)


Identificação


Nome
Arthur Ronald de Vallauris Buchsbaum
Nome em citações bibliográficas
Buchsbaum, Arthur

Endereço


Endereço Profissional
Universidade Federal de Santa Catarina, Centro Tecnológico, Departamento de Informática e Estatística.
Campus Universitário
Trindade
88040-900 - Florianopolis, SC - Brasil - Caixa-postal: 476
Telefone: (48) 37217556
Fax: (48) 37219566
URL da Homepage: http://www.inf.ufsc.br/~arthur


Formação acadêmica/titulação


1988 - 1995
Doutorado em Informática.
Pontifícia Universidade Católica do Rio de Janeiro, PUC-Rio, Brasil.
Título: Lógicas da Inconsistência e da Incompletude: Semântica e Axiomática, Ano de obtenção: 1995.
Orientador: Tarcisio Haroldo Cacalcante Pequeno.
Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico, CNPq, Brasil.
Palavras-chave: inconsistência; incompletude; lógica paraconsistente; lógica paracompleta; lógica não alética; lógica não monotônica.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria da Computação / Especialidade: Lógicas e Semântica de Programas.
Grande Área: Ciências Humanas / Área: Filosofia / Subárea: Lógica / Especialidade: Lógicas Não Clássicas.
Grande Área: Ciências Exatas e da Terra / Área: Matemática / Subárea: Lógica / Especialidade: Lógicas Deviantes.
1986 - 1988
Mestrado em Informática.
Pontifícia Universidade Católica do Rio de Janeiro, PUC-Rio, Brasil.
Título: Um Método Automático de Prova para a Lógica Paraconsistente,Ano de Obtenção: 1988.
Orientador: Tarcisio Haroldo Cavalcante Pequeno.
Bolsista do(a): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior, CAPES, Brasil.
Palavras-chave: lógica paraconsistente; lógica não monotônica; automatização do raciocínio; provador automático de teoremas; máquina de inferência; sistema de tableaux.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria da Computação / Especialidade: Lógicas e Semântica de Programas.
Grande Área: Ciências Exatas e da Terra / Área: Matemática / Subárea: Lógicas Não Clássicas / Especialidade: Lógicas Não Clássicas.
1977 - 1983
Graduação em Bacharelado em Matemática.
Universidade Federal Fluminense, UFF, Brasil.




Atuação Profissional



Conselho Nacional de Desenvolvimento Científico e Tecnológico, CNPq, Brasil.
Vínculo institucional

2002 - 2006
Vínculo: Produtividade em Pesquisa, Enquadramento Funcional: Produtividade em Pesquisa, Carga horária: 0, Regime: Dedicação exclusiva.
Outras informações
Projeto "Fundamentos, Modelagem e Automatização do Raciocínio"


Universidade Federal de Santa Catarina, UFSC, Brasil.
Vínculo institucional

1996 - Atual
Vínculo: Servidor Público ou Celetista, Enquadramento Funcional: , Carga horária: 40, Regime: Dedicação exclusiva.

Atividades

3/1998 - Atual
Ensino, Ciência da Computação, Nível: Pós-Graduação

Disciplinas ministradas
Lógica Formal para Computação
Teoria da Computação
Linguagens Formais
9/1996 - Atual
Pesquisa e desenvolvimento , Centro Tecnológico, Departamento de Informática e Estatística.

9/1996 - Atual
Ensino, Ciência da Computação, Nível: Graduação

Disciplinas ministradas
Fundamentos Matemáticos da Informática
Programação em Lógica
Teoria da Computação
Análise de Algoritmos

Universidade Federal do Ceará, UFC, Brasil.
Vínculo institucional

1991 - 1996
Vínculo: Servidor Público ou Celetista, Enquadramento Funcional: , Carga horária: 40, Regime: Dedicação exclusiva.

Atividades

12/1991 - 8/1996
Pesquisa e desenvolvimento , Centro de Ciências, Departamento de Computação.

12/1991 - 8/1996
Ensino, Ciência da Computação, Nível: Graduação

Disciplinas ministradas
Introdução à Lógica
Lógica Aplicada
Linguagens de Programação II
Processamento de Dados
Fundamentos de Programação
Computação Aplicada

Pontifícia Universidade Católica do Rio de Janeiro, PUC-Rio, Brasil.
Vínculo institucional

1986 - 1988
Vínculo: Colaborador, Enquadramento Funcional: Outro, Carga horária: 12

Atividades

8/1986 - 8/1988
Ensino, Tecnólogo, Nível: Graduação

Disciplinas ministradas
Introdução à Ciência da Computação

Banco do Brasil - Direção Geral, BB, Brasil.
Vínculo institucional

1980 - 1984
Vínculo: Servidor Público, Enquadramento Funcional: , Carga horária: 0

Atividades

11/1980 - 3/1984
Serviços técnicos especializados .

Serviço realizado
Auxiliar Administrativo.


Linhas de pesquisa


1.
Fundamentos, Modelagem e Automatização do Raciocínio
2.
Fundamentos, Modelagem e Automatização do Raciocínio


Projetos de pesquisa


2009 - 2010
Lógica em Computação
Descrição: O propósito deste projeto é contribuir para o avanço da lógica matemática como ferramenta para resolver problemas em Ciência da Computação. No âmbito do projeto a lógica matemática será estudada sob uma diversidade de aspectos do ponto de vista semântico (conteúdo), do ponto de vista sintático (forma), como linguagem de representação, como ferramenta inferencial tendo sempre em vista sua aplicabilidade em ciência da computação: Este é o motivo condutor do projeto, o uso da lógica como estratégia de desenvolvimento da ciência computação. Algumas contribuições do projeto serão dentro da própria lógica, novos resultados teóricos ampliando os recursos da lógica de modo a expandir as possibilidades de uso na computação; outras serão diretamente em aplicações computacionais, mostrando uma abordagem lógica para alguns problemas em computação..
Situação: Em andamento; Natureza: Pesquisa.
2002 - 2006
Fundamentos, Modelagem e Automatização do Raciocínio
Descrição: A Lógica é a ciência e arte do raciocínio. Este é uma forma de processamento simbólico de informações que visa tornar explícitas formas de conhecimento que antes estavam implícitas. Enquanto ciência, possui uma metodologia própria, que prioriza as manifestações do raciocínio que surgem no âmbito de contextos lingüísticos organizados. Enquanto arte, busca a modelagem de sistemas formais que representem fielmente formas de raciocínio ainda não captadas em toda a sua plenitude. O estudo, conhecimento e cultivo da Lógica revelam ferramentas bem importantes para uma evolução cognitiva de todo ser humano que queira ser realmente livre, não condicionado pelo medo e por crenças nocivas constantemente propaladas por diversos meios de comunicação da maioria das sociedades, tanto do presente como de várias eras passadas. Tal evolução cognitiva conduz à clareza no pensar, o que torna possível a prática de uma constante depuração do que não é verdadeiro para cada um, o que é essencial para um contato cada vez maior com a própria Verdade. A clareza interna é uma porta para a autêntica Filosofia, a qual leva a uma viagem sem fim rumo ao encontro com Tudo. A Lógica relaciona-se intimamente com três grandes áreas de conhecimento: Matemática, Informática e Filosofia. Vários dos fundadores da moderna Ciência da Computação foram lógicos. A Inteligência Artificial Simbólica tem na Lógica um de seus principais pilares. Toda a Matemática utiliza-se, em sua expressão lingüística, de conceitos puramente lógicos; não é possível daí entender Matemática (a qual inclui os Fundamentos da Ciência da Computação) seriamente sem entender em detalhes a Lógica, pelo menos em suas bases elementares. As três linhas deste projeto - Fundamentos, Modelagem e Automatização - não são assuntos estanques e independentes, mas sim possuem um íntimo inter-relacionamento..
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (0) / Especialização: (0) / Mestrado acadêmico: (0) / Mestrado profissional: (0) / Doutorado: (0) .


Áreas de atuação


1.
Grande área: Ciências Exatas e da Terra / Área: Matemática / Subárea: Lógica/Especialidade: Lógicas Não Clássicas.
2.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria da Computação/Especialidade: Automatização do Raciocínio.
3.
Grande área: Ciências Humanas / Área: Filosofia / Subárea: Lógica/Especialidade: Lógica Universal.
4.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria da Computação/Especialidade: Lógicas e Semântica de Programas.


Idiomas


Português
Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.
Inglês
Compreende Razoavelmente, Fala Razoavelmente, Lê Bem, Escreve Bem.
Espanhol
Compreende Bem, Fala Pouco, Lê Bem, Escreve Pouco.
Francês
Compreende Pouco, Fala Pouco, Lê Razoavelmente, Escreve Pouco.


Produções



Produção bibliográfica
Citações

SCOPUS

Artigos completos publicados em periódicos

1.
Aracele Garcia2010Aracele Garcia ; Buchsbaum, Arthur . Sobre as ferramentas em LaTeX que os estudantes de Lógica deveriam conhecer. The PracTeX Journal, v. 1, p. 1, 2010.

2.
Buchsbaum, Arthur2007 Buchsbaum, Arthur; Pequeno, Tarcisio ; Pequeno, Marcelino . A Logical Expression of Reasoning. Synthese (Dordrecht), Holanda, v. 154, n.3, p. 431-466, 2007.

3.
Buchsbaum, Arthur2007Buchsbaum, Arthur; Reinaldo, Francisco . A Tool for Logicians. The PracTeX Journal, v. 3, p. 4, 2007.

4.
Buchsbaum, Arthur2007Buchsbaum, Arthur; Reinaldo, Francisco . Uma Ferramenta para Lógicos. The PracTeX Journal, v. 3, p. 4, 2007.

5.
Buchsbaum, Arthur2005Buchsbaum, Arthur; Lemes Neto, Maurício Correia . Raciocínio por Tablôs pela Forma Direta. RESI : Revista Eletrônica de Sistemas de Informação, Internet, v. II, p. 2 (4), 2005.

6.
Buchsbaum, Arthur2002 Buchsbaum, Arthur. A Logic for Ambiguous Description. Electronic Notes in Theoretical Computer Science, v. 67, p. 1-18, 2002.

7.
Buchsbaum, Arthur1997 Buchsbaum, Arthur; Pequeno, Tarcisio . A General Treatment for the Deduction Theorem in Open Calculi. Logique et Analyse, Bélgica, v. 157, n.II, p. 9-29, 1997.

8.
Buchsbaum, Arthur1993Buchsbaum, Arthur; Pequeno, Tarcisio . Uma Família de Lógicas Paraconsistentes e/ou Paracompletas com Semânticas Recursivas. Coleção Documentos - Série de Lógica e Teoria da Ciência, São Paulo, SP, v. 14, p. 1-59, 1993.

9.
Buchsbaum, Arthur1993Buchsbaum, Arthur; Pequeno, Tarcisio . A reasoning method for a paraconsistent logic. Studia Logica, v. 52, n.2, p. 281-289, 1993.

10.
Buchsbaum, Arthur1990Buchsbaum, Arthur; Pequeno, Tarcisio . O Método dos Tableaux Generalizado e Sua Aplicação ao Raciocínio Automático em Lógicas Não Clássicas. O que nos faz pensar - Cadenos do Departamento de Filosofia da PUC-Rio, Rio de Janeiro, RJ, v. 3, p. 81-96, 1990.

11.
Buchsbaum, Arthur1989Buchsbaum, Arthur; Alencar, Paulo . Um Método Automático de Prova para a Lógica Polissortida Deôntica de Ações. Monografias em Ciência da Computação, v. 15, p. 1-22, 1989.

Capítulos de livros publicados
1.
Buchsbaum, Arthur; Béziau, Jean-Yves . Introduction of Implication and Generalization in Axiomatic Calculi. In: Jean-Yves Béziau; Alexandre Costa Leite; Alberto Facchini. (Org.). Aspects of Universal Logic. Neuchâtel: Centre de Recherches Sémiologiques (CdRS), Université de Neuchâtel, 2004, v. 17, p. 231-254.

2.
Buchsbaum, Arthur; WANGENHEIM, A. V. ; WAZLAWICK, R. S. ; GAUTHIER, F. A. O. ; BITTENCOURT, G. ; SICHMAN, J. S. ; ALVES, J. B. M. ; BARRETO, J. M. ; ROISENBERG, M. ; BORGES, P. S. S. ; BASTOS, R. C. ; VICCARI, R. M. ; NASSAR, S. M. ; LIMA, V. L. S. . Proposta para ensino da matéria de Inteligência Artificial em Cursos de Graduação. In: Sociedade Brasileira de Computação. (Org.). Anais do II Curso de Qualidade de Cursos de Graduação da Área de Computação e Informática. Porto Alegre: Sociedade Brasileira de Computação, 2000, v. , p. -.

Textos em jornais de notícias/revistas
1.
Buchsbaum, Arthur. A Universidade Fragmentada e Incompleta. Boletim da APUFSC, p. 6 - 7, 13 nov. 2006.

Trabalhos completos publicados em anais de congressos
1.
Buchsbaum, Arthur; SEBBEN, A. . Uma Lógica para a Referência Ambígua. In: XXXIII Conferencia Latinoamericana de Informatica, 2007, San Jose - Costa Rica. CLEI 2007, 2007.

2.
Fendt, Leticia ; Buchsbaum, Arthur . Um Método dos Tableaux com um Refinamento para Evitar Repetições Desnecessárias de Fórmulas Universais nos Ramos das Árvores de Prova. In: V Encontro Nacional de Inteligência Artificial, 2005, São Leopoldo, RS. XXV Congresso da Sociedade Brasileira de Computação. São Leopoldo, RS: Unisinos, 2005. v. 1. p. 801-810.

3.
Lemes Neto, Maurício Correia ; Buchsbaum, Arthur . Um Método de Tableaux por Prova Direta para a Lógica Proposicional Clássica. In: XI Escola Regional de Informática, 2003, Londrina, PR. XI Escola Regional de Informática. Londrina, PR: Sociedade Brasileira de Computação, Universidade Estadual de Londrina, 2003. v. 1. p. 14-22.

4.
Buchsbaum, Arthur. A Logic for Ambiguous Description. In: 9th Workshop on Logic, Language, Information and Computation, 2002, Rio de Janeiro. 9th Workshop on Logic, Language, Information and Computation, 2002. v. 1. p. 149-166.

5.
Buchsbaum, Arthur; Fendt, Leticia . Um Método dosTableaux para Evitar Repetições de Fórmulas nos Ramos das Árvores de Prova. In: I Congresso de Informática de Rondônia, 2002, Ji-Paraná - Rondônia. Anais do I CONINFO-RO, 2002. v. 1. p. 1-10.

6.
Buchsbaum, Arthur; Fendt, Leticia ; ANDRADE, A. F. ; BARREIROS, N. . Protótipo Inicial da Interface Gráfica de um Provador de Teoremas. In: I Seminário de Informática da UNIC, 2002, Cuiabá, Mato Grosso. Anais do I SEMINFO, 2002. v. 1.

7.
Pequeno, Tarcisio ; Buchsbaum, Arthur ; Pequeno, Marcelino . A Positive Formalization for the Notion of Pragmatic Truth. In: International Conference on Artificial Intelligence, 2001, Las Vegas, Nevada. Prooceedings of the International Conference on Artificial Intelligence, 2001. v. II. p. 902-908.

8.
Buchsbaum, Arthur; Fendt, Leticia . O Método dos Tableaux com Unificação. In: III Encontro Nacional de Inteligência Artificial, 2001, Fortaleza, Ceará. III Encontro Nacional de Inteligência Artificial, 2001.

9.
Buchsbaum, Arthur; Pequeno, Tarcisio . A Introdução da Implicação em Cálculos Axiomáticos Abertos. In: IV Encontro de Filosofia Analítica, 1998, Florianópolis, SC. Anais do IV Encontro de Filosofia Analítica, 1997. v. 1. p. 61-75.

10.
Buchsbaum, Arthur; Pequeno, Tarcisio . The Logic of Epistemic Inconsistency. In: 10th Brazilian Conference on Mathematical Logic, 1995, Itatiaia. Proceedings of 10th Brazilian Conference on Mathematical Logic. Campinas, SP: Centro de Lógica, Epistemologia e História da Ciência - UNICAMP, 1995. v. 14. p. 177-197.

11.
Buchsbaum, Arthur; Pequeno, Tarcisio . Automated Deduction with Non Classical Negations. In: 3rd Workshop on Theorem Proving with Analytic Tableaux and Related Methods, 1994, Abingdom, Reino Unido. Proceedings of 3rd Workshop on Theorem Proving with Analytic Tableaux and Related Methods. Abingdon, Reino Unido: Imperial College of Science, Technology and Medicine, 1994. p. 51-64.

12.
Correa, Marcelo ; Buchsbaum, Arthur ; Pequeno, Tarcisio . Sensible Inconsistent Reasoning: A Tableau System For LEI. In: AAAI Fall Symposium on Automated Deduction in Non-Standard Logics, 1993. Technical Notes of AAAI Fall Symposium on Automated Deduction in Non-Standard Logics, 1993.

13.
Correa, Marcelo ; Buchsbaum, Arthur ; Pequeno, Tarcisio . Raciocínio Automático com Conhecimento Incompleto e Inconsistente I: Um Sistema de Tableaux para LEI. In: IX Simpósio Brasileiro de Inteligência Artificial, 1992, Rio de Janeiro. Anais do IX Simpósio Brasileiro de Inteligência Artificial. Rio de Janeiro/RJ - Brasil: Sociedade Brasileira de Computação - Comissão Especial de Inteligência Artificial - UFRJ, 1992. p. 281-296.

14.
Buchsbaum, Arthur; Pequeno, Tarcisio . Raciocínio Automático em Lógicas Paraconsistentes e/ou Paracompletas. In: 6o. Simpósio Brasileiro de Inteligência Artificial, 1989, Rio de Janeiro. 6o. Simpósio Brasileiro de Inteligência Artificial. Rio de Janeiro/RJ - Brasil: Departamento de Informática da PUC/RJ, 1989. p. 1-15.

15.
Buchsbaum, Arthur; Pequeno, Tarcisio . Um Provador Paraconsistente. In: V Simpósio Brasileiro de Inteligência Artificial, 1988, Natal. Anais do V Simpósio Brasileiro de Inteligência Artificial, 1988. p. 531-540.

Resumos publicados em anais de congressos
1.
Buchsbaum, Arthur; Pequeno, Tarcisio ; Pequeno, Marcelino . Four Players Semantics for a Family of Paraconsistent and Paracomplete Logics. In: XIII Brazilian Logic Conference, 2003, Campinas, SP. XIII Encontro Brasileiro de Lógica - Resumos. Campinas, SP: Centro de Lógica, Epistemologia e História da Ciência, Universidade Estadual de Campinas, 2003. v. 1. p. 53-54.

2.
Buchsbaum, Arthur; Pequeno, Tarcisio ; Pequeno, Marcelino . Reasoning with Plausible Scenarios. In: III World Congress on Paraconsistency, 2003, Toulouse, França. III World Congress on Paraconsistency. Toulouse: IRIT (Institut de Recherche en Informatique de Toulouse), 2003. v. 1. p. 21-21.

3.
Pequeno, Tarcisio ; Buchsbaum, Arthur . Reasoning within Scientific Theories: A Logic. In: Second Principia International Symposium, 2001, Florianópolis, SC. Second Principia International Symposium - Abstracts. Florianópolis, SC: Núcleo de Epistemologia e Lógica, 2001. v. 1. p. 7-8.

4.
Buchsbaum, Arthur; Pequeno, Tarcisio . A Game Characterization of Paraconsistent Negation . In: Second World Congress on Paraconsistency, 2000, Juqueí, SP. Second World Congress on Paraconsistency - Abstracts, 2000. v. 1. p. 1-1.

5.
Buchsbaum, Arthur; Pequeno, Tarcisio . On Plausible Reasoning and Its Import in Reasoning about Science. In: 11th International Congress of Logic, Methodology and Philosophy of Science, 1999, Cracóvia, Polônia. Volume of Abstracts, 1999. v. 1. p. 222-222.

6.
Buchsbaum, Arthur. The Logic of Ambiguous Reference. In: 11th International Congress of Logic, Methodology and Philosophy of Science, 1999, Cracóvia, Polônia. Volume of Abstracts, 1999. v. 1. p. 98-98.

7.
Buchsbaum, Arthur; Pequeno, Tarcisio . Uma Classe de Lógicas Polissortidas e Seu Correspondente Teorema de Completude. In: XII Encontro Brasileiro de Lógica, 1999, Parque Nacional de Itatiaia. XII Encontro Brasileiro de Lógica - Resumos, 1999. p. 59-59.

8.
Buchsbaum, Arthur; Pequeno, Tarcisio . A New Group of Logics featuring Non Classical Negations. In: Stanislaw Jaskowski Memorial Symposium, 1998, Torun, Polônia. Stanislaw Jaskowski Memorial Symposium, 1998. v. 1. p. 53-54.

9.
Buchsbaum, Arthur; Pequeno, Tarcisio . Ten Paraconsistent and/or Paracomplete Logics with Recursive Semantics. In: 9th International Congress on Philosophy, Logic and Theory of Sciences - Sector of Logic and Computer Science, 1991. Proceedings of 9th International Congress on Philosophy, Logic and Theory of Sciences - Sector of Logic and Computer Science. Suécia. v. 1. p. 155-155.

10.
Buchsbaum, Arthur; Pequeno, Tarcisio . The Epistemic Inconsistency and Its Logic. In: 9th International Congress on Philosophy, Logic and Theory of Sciences - Sector of Philosophic Logic, 1991. Proceedings of 9th International Congress on Philosophy, Logic and Theory of Sciences - Sector of Philosophic Logic. Suécia, 1991. v. 1. p. 108-108.

Apresentações de Trabalho
1.
Buchsbaum, Arthur; Pequeno, Tarcisio . Um Provador Paraconsistente. 1988. (Apresentação de Trabalho/Conferência ou palestra).

Outras produções bibliográficas
1.
Buchsbaum, Arthur. O Que Quase Todos Somos e o Que Podemos Ser 2006 (artigo em coletânea de artigos sobre temas filosóficos diversos).

2.
Krishna ; Wilmer, Haydée Touriño ; Buchsbaum, Arthur . Srimad Bhagavad Gita. Petrópolis: Editora Vozes, 2002 (Composição Gráfica e Assistência de Publicação).


Produção técnica
Programas de computador sem registro
1.
Buchsbaum, Arthur; Reinaldo, Francisco . The turnstile package. 2007.

2.
Buchsbaum, Arthur; Reinaldo, Francisco . O pacote turnstile. 2007.

3.
de Brito, Parcilene Fernandes ; Buchsbaum, Arthur . Um Sistema de Tableaux para a Lógica Clássica estruturado em XML. 2003.

4.
Buchsbaum, Arthur; Fendt, Leticia . Sistemas de Tableaux para a Lógica Clássica. 2000.

5.
Buchsbaum, Arthur. Uma máquina de inferência para a lógica paraconsistente C1* de da Costa. 1988.

Redes sociais, websites e blogs
1.
Buchsbaum, Arthur. Hermetismo. 2012; Tema: Reflexões impessoais a respeito da tradição hermética e outras afins.. (Blog).

2.
Buchsbaum, Arthur. Perspectivas. 2012; Tema: Aqui são apresentados pontos de vista a respeito de problemas relacionados à vida atual da humanidade e deste planeta e possíveis soluções.. (Blog).

3.
Buchsbaum, Arthur. Águas de Prata. 2012; Tema: Expressão de sentimentos que foram e alguns ainda são significativos para mim em minha vida. Eles são como águas que trespassaram e às vezes ainda trespassam meu ser, revelam anseios presentes ou passados de algo que busco ou busquei dentro de mim.. (Blog).


Demais tipos de produção técnica
1.
Buchsbaum, Arthur. Lógica Geral. 2012. (Desenvolvimento de material didático ou instrucional - Apostila).

Demais trabalhos
1.
Buchsbaum, Arthur. Lógica das Descrições Ambíguas - Parte 2. 2001 (Palestra) .

2.
Buchsbaum, Arthur. Membro da Comissão de Seleção e Acompanhamento do Fundo de Incentivo à Pesquisa da UFSC - FUNPESQUISA - 2000. 2000 (Administração) .

3.
Buchsbaum, Arthur. Membro do Comitê Científico do I Congresso de Lógica Aplicada à Tecnologia - LAPTEC 2000. 2000 (Organização de Eventos Científicos) .

4.
Buchsbaum, Arthur. Membro do Colegiado do Núcleo de Epistemologia e Lógica - NEL. 2000 (Administração) .

5.
Buchsbaum, Arthur. Referee do II World Congress on Paraconsistency. 2000 (Referee de Evento Científico) .

6.
Buchsbaum, Arthur. Lógica das Descrições Ambíguas - Parte 1. 2000 (Palestra) .

7.
Buchsbaum, Arthur. Lógicas Paraconsistentes e/ou Paracompletas. 1998 (Palestra) .

8.
Buchsbaum, Arthur. Some Generalizations of Deduction Theorem. 1998 (Palestra) .

9.
Buchsbaum, Arthur. A Logic for Ambiguous Descriptions. 1998 (Palestra) .

10.
Buchsbaum, Arthur. Seleção e descarte no acervo da Biblioteca Central da UFSC. 1997 (Seleção e descarte no acervo da Biblioteca Central da UFSC) .

11.
Buchsbaum, Arthur. Referee do VI Simpósio Brasileiro em Inteligência Artificial. 1989 (Referee de Evento Científico) .



Bancas



Participação em bancas de trabalhos de conclusão
Mestrado
1.
Pequeno, Marcelino; Buchsbaum, Arthur; Béziau, Jean-Yves; Martins, Ana Teresa. Participação em banca de Wladimir Araújo Tavares. Sistemas Formais Avançados e a Estratificação Relevante: Uma Defesa da Predicatividade das Definições. 2008. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal do Ceará.

2.
Pequeno, Tarcisio; Buchsbaum, Arthur; Béziau, Jean-Yves; Pequeno, Marcelino. Participação em banca de Samy Soares Passos de Sá. Uma Aplicação para a LPR. 2008. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal do Ceará.

3.
Westphall, Carla Merkle; Buchsbaum, Arthur; Dantas, Mário Antonio Ribeiro; Montez, Carlos Barros. Participação em banca de Marcelo Digiacomo Chryssovergis. Uma Interface para Refinamento de Pesquisas de Políticas de Segurança em Ambientes de Grid Services. 2005. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Santa Catarina.

4.
Westphall, Carlos Becker; Buchsbaum, Arthur; Westphall, Carla Merkle; Dantas, Mário Antonio Ribeiro. Participação em banca de César Augusto Bettoni. Segurança de Agentes em Grids para Gerência de Redes de Computadores. 2004. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Santa Catarina.

5.
Westphall, Carla Merkle; Buchsbaum, Arthur; Ramos, Alexandre Moraes; Fraga, Joni da Silva. Participação em banca de Jean Pierre Ezequiel. Estrutura de uma Arquitetura para Digital Rights Management: Um Plug-in para Controle do Uso de Conteúdos Digitais. 2003. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Santa Catarina.

6.
Buchsbaum, Arthur; Westphall, Carlos Becker; Westphall, Carla Merkle; Alvarez, L. M. C.. Participação em banca de Wagner Tatsuya Watanabe. Desenvolvimento de um Modelo de Segurança no Gerenciamento de Contabilidade Baseado na Arquitetura TINA. 2002. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Santa Catarina.

7.
Buchsbaum, Arthur; Westphall, Carlos Becker; Westphall, Carla Merkle. Participação em banca de Kátyra Kowalski Armanini. Framework RBAC para aplicações Web. 2002. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Santa Catarina.

8.
Pequeno, Tarcisio; Buchsbaum, Arthur; Martins, Ana Teresa; Pequeno, Marcelino. Participação em banca de Francisco Erivelton Fernandes Aragão. Raciocício e Decisão Usando LEI. 2000. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal do Ceará.

9.
Pequeno, Tarcisio; Buchsbaum, Arthur; Pequeno, Marcelino. Participação em banca de Jerffeson Teixeira de Souza. Teoria da Revisão de Primeira Ordem para Modelagem do Estudante. 2000. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal do Ceará.

10.
Bittencourt, Guilherme; Buchsbaum, Arthur; Cardoso, Janete; da Costa, Rosvelter J. Coelho. Participação em banca de Isabel Tonin. Um Método de Inferência Lógica baseado na Transformação Dual. 1997. Dissertação (Mestrado em Engenharia Elétrica) - Universidade Federal de Santa Catarina.

Qualificações de Doutorado
1.
Bittencourt, Guilherme; Buchsbaum, Arthur; Barreto, Jorge Muniz; da Costa, Rosvelter J. Coelho; Mazzola, Vitorio Bruno. Participação em banca de Isabel Tonin. Uma Estratégia de Inferência para o Método Dual. 1999. Exame de qualificação (Doutorando em Engenharia Elétrica) - Universidade Federal de Santa Catarina.




Eventos



Participação em eventos, congressos, exposições e feiras
1.
III Encontro Nacional Evoliano.O que quase todos somos e o que podemos ser. 2012. (Encontro).

2.
16th Brazilian Logic Conference. O Papel da Lógica nos Cursos de Informática: Uma Abordagem Introdutória. 2011. (Congresso).

3.
16th Brazilian Logic Conference. Condições de Equivalência entre os Princípios da Indução Fraca, da Indução Completa e da Boa Ordem. 2011. (Congresso).

4.
Logic School in 16th Brazilian Logic Conference. 2011. (Outra).

5.
2nd World Congress on Square of Opposition. Four-Playered Semantics for a Family of Paraconsistent and/or Paracomplete Logics. 2010. (Congresso).

6.
3rd World Congress and School on Universal Logic. On Instantiation. 2010. (Congresso).

7.
Science, Truth and Consistency. The Substitution Law of Implication and an Application of It for Proving Interpolation Law. 2009. (Congresso).

8.
XXIV Encontro Brasileiro de Lógica.O Método da Prova Direta por Tablôs. 2006. (Encontro).

9.
III World Congress on Paraconsistency. Reasoning with Plausible Scenarios. 2003. (Congresso).

10.
International Workshop on Universal Logic.Open/Closed Logics and a General Theorem of Deduction. 2003. (Oficina).

11.
XIII Brazilian Logic Conference. Four Players Semantics for a Family of Paraconsistent and Paracomplete Logics. 2003. (Congresso).

12.
9th Workshop on Logic, Language, Information and Computation. A Logic for Ambiguous Description. 2002. (Congresso).

13.
Second Principia International Symposium.Reasoning within Scientific Theories: A Logic. 2001. (Simpósio).

14.
II World Congress on Paraconsistency. A Game Characterization of Paraconsistent Negation. 2000. (Congresso).

15.
XII Encontro Brasileiro de Lógica.Uma Classe de Lógicas Polissortidas e Seu Correspondente Teorema de Completude. 1999. (Encontro).

16.
IV Encontro de Filosofia Analítica.Variação e Dependência. 1997. (Encontro).

17.
Workshop on Logic, Language, Information and Computation.New Approaches to Non Standard Negations. 1994. (Oficina).

18.
VIII Simpósio Latino Americano de Lógica Matemática.Algumas Soluções de Prova Automática para Lógicas Não Clássicas - I. 1989. (Simpósio).

19.
VIII Simpósio Latino Americano de Lógica Matemática.Algumas Soluções de Prova Automática para Lógicas Não Clássicas - II. 1989. (Simpósio).

20.
VI Simpósio Brasileiro de Inteligência Artificial.Raciocínio Automático em Lógicas Paraconsistentes e/ou Paracompletas. 1989. (Simpósio).

21.
IV Reunião de Trabalho do Projeto ESTRA - Coletânea de Resultados de Pesquisas.Um Provador Paraconsistente. 1988. (Outra).

22.
IX Encontro Brasileiro de Lógica.Um Provador Automático de Teoremas para a Lógica Paraconsistente de da Costa. 1988. (Encontro).



Orientações



Orientações e supervisões concluídas
Dissertação de mestrado
1.
Aracele Garcia de Oliveira Fassbinder. Uma Apresentação dos Principais Sistemas Relacionados à Lógica Clássica. 2010. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Santa Catarina, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Orientador: Arthur Ronald de Vallauris Buchsbaum.

2.
Alvaro Altair Ferreira da Silva. Condições de Equivalência entre os Princípios da Indução Fraca, da Indução Completa e da Boa Ordem. 2010. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Santa Catarina, . Orientador: Arthur Ronald de Vallauris Buchsbaum.

3.
Andressa Sebben. Uma Lógica para a Referência Ambígua. 2007. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Santa Catarina, . Orientador: Arthur Ronald de Vallauris Buchsbaum.

4.
Fernando Cezar Vieira Malange. Uma Proposta de Aprendizado da Lógica utilizando um Ambiente Virtual de Aprendizagem Colaborativa. 2005. 108 f. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Santa Catarina, . Orientador: Arthur Ronald de Vallauris Buchsbaum.

5.
Maurício Correia Lemes Neto. Um Método dos Tablôs por Prova Direta para a Lógica Clássica. 2004. 80 f. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Santa Catarina, . Orientador: Arthur Ronald de Vallauris Buchsbaum.

6.
Parcilene Fernandes de Brito. Dedução Automática por Tableaux estruturada em XML. 2003. 108 f. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Santa Catarina, . Orientador: Arthur Ronald de Vallauris Buchsbaum.

7.
Leticia Carvalho Pivetta Fendt. Refinamentos para o Método dos Tableaux. 2000. 167 f. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Santa Catarina, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Orientador: Arthur Ronald de Vallauris Buchsbaum.



Educação e Popularização de C & T



Desenvolvimento de material didático ou instrucional
1.
Buchsbaum, Arthur. Lógica Geral. 2012. (Desenvolvimento de material didático ou instrucional - Apostila).


Redes sociais, websites e blogs
1.
Buchsbaum, Arthur. Hermetismo. 2012; Tema: Reflexões impessoais a respeito da tradição hermética e outras afins.. (Blog).

2.
Buchsbaum, Arthur. Perspectivas. 2012; Tema: Aqui são apresentados pontos de vista a respeito de problemas relacionados à vida atual da humanidade e deste planeta e possíveis soluções.. (Blog).

3.
Buchsbaum, Arthur. Águas de Prata. 2012; Tema: Expressão de sentimentos que foram e alguns ainda são significativos para mim em minha vida. Eles são como águas que trespassaram e às vezes ainda trespassam meu ser, revelam anseios presentes ou passados de algo que busco ou busquei dentro de mim.. (Blog).




Página gerada pelo Sistema Currículo Lattes em 15/12/2018 às 15:01:54