Doutora, UFPE, 1997

Pesquisadora 2C, CNPq

Áreas de Interesse:
Formalização e Automatização do Raciocínio
Lógicas Clássicas e Não Clássicas
Teoria da Prova
Teoria da Computação
Programação em Lógica
Inteligência Artificial

Funções Atuais:
Professora Adjunta III 
Coordenadora do Mestrado em Ciência da Computação 
Diretora de Eventos e Comissões Especiais da Sociedade Brasileira de Computação

Cursos:
Graduação em Computação
Mestrado em Ciência da Computação

Endereço Profissional:
Universidade Federal do Ceará 
Centro de Ciências
Departamento de Computação 
Laboratório de Inteligência Artificial
Bloco 910 - Campus do Pici
Caixa Postal 12.166
CEP 60455-760 - Fortaleza-Ce
Tel/Fax: +55  85  2889841 

Orientandos Atuais

Mestrado

Nome: Felipe Vieira Silva        (gaucho@lia.ufc.br)
Dissertação: Planejamento Automático aplicado a Recursos Hídricos (CNPq/WAVES)

Nome: Felipe Ferreira de Morais Netto        (felipe@lia.ufc.br)
Dissertação: Teoremas de Normalização para a Lógica da Inconsistência Epistêmica (CAPES)

Nome: Lilia Ramalho Martins        (lilia@lia.ufc.br)
Dissertação: Dedução Natural para Lógica Linear (CAPES)

Iniciação Científica e Monitoria:

Nome: Francicleber Martins Ferreira          ( fran@lia.ufc.br)
Projeto: Modelagem do Raciocínio Prático (PIBIC/CNPq)

Nome: Raphael Amorim Dantas Leite          ( raphaelamorim@zipmail.com.br)
Projeto: Modelagem do Raciocínio Prático (CNPq/FAR)

Nome: Pedro Ferreira de Melo Júnior          ( pedroufc@bol.com.br)
Projeto: Monitoria de Matemática Discreta

Artigos  em Revista

Martins, A.T.C. & Pequeno, T.
Proof-theoretical considerations about the Logic of Epistemic Inconsistency.
Logique et Analyse, 143-144:245-60, 1993.
 

Capítulo de Livro

MARTINS, A. T. C., OLIVEIRA, A. G., QUEIROZ, R.
Uma Introdução à Teoria da Prova In: I Jornada de Atualização em Inteligência Artificial ed.Porto Alegre: Sociedade Brasileira de Computação, 2001

MARTINS, A.T.C. ,  PEQUENO, T., PEQUENO, M.
A Sequent Calculus for a Paraconsistent Default Logic
In:  proceedings of the 6th Workshop on Logic, Language,
Information and Computation, Itatiaia, Rio. May, 25-8.
pp.139-49. 1999.

MARTINS, A.T.C., PEQUENO, M., PEQUENO, T.
Well-Behaved IDL Theories.  
In: Lecture Notes in Artificial Intelligence, 1159:11-20,
Springer-Verlag, Oct., 1996.
Proceedings of the 13th Brazilian Symposium on Artificial Intelligence.
Curitiba, Brazil, Oct., 1996.

MARTINS, A.T.C., de QUEIROZ, R.J.G.B.
Using Labels in a Paraconsistent and Nonmonotonic Sequent Calculus.
In: Conferência Latinoamericana de Informática, 20, Atizapan de Zaragoza,
Set., 19-23, 1994. Anais. pp. 795-802.

PEQUENO, M., MARTINS, A. T. C.
Provando Teoremas Através de Diálogos,
In: Congresso da SBIA, 9, Rio de Janeiro, 29-30 Set. e 01-02 Out.,
1992. Anais. pp.270-80.

MARTINS, A.T.C.
Um Sistema de revisão de crenças para resolução de Problemas
In : Congresso da SBC, 10, Vitória, Jul. 22-27, 1990. Anais. pp.571-7.

MARTINS, A.T.C. et al.
Um sistema de revisão de crenças para apoio à resolução de problemas.
In Congresso da SBC, 9, Uberlândia, Jul. 16-21,
1989. Anais. pp.411-24.

Resumos em Revistas/Anais

MARTINS, A. T. C., PEQUENO, T. H. C.
Some Characteristics of the Inconsistent Default Logic Reasoning  Style.
Journal of the Interest Group in Pure and Applied Logics,
4(3):517-9, June, 1996.
Also in the proceedings of the 3th Workshop on Logic, Language,
Information and Computation, Salvador, Bahia. May, 8-10.
pp.53-5. 1996. 

CONIGLIO, M. E., MARTINS, A. T. C., SERNADAS, A., SERNADAS, C.
Fibring (Para)consistent Logics In: Secondo World Congress on Paraconsistency, 2000, Juquehy - SP.
Proceedings of the WCP'2000. Campinas: CLE-UNICAMP, 2000. p.58 - 59

MARTINS, A. T. C., PEQUENO, T. H. C.
An Algebraic Semantics for a Nonmonotonic and Paraconsistent Logic.
In: Proceedings of the International Meeting on Language, Logic and Artificial Intelligence (IMLLAI), Fortaleza, Ce, 14-17 julho de 1998. 

MARTINS, A. T. C., PEQUENO, T. H. C.
Paraconsistency and Plausibility in the Logic of Epistemic Inconsistency.
In: Proceedings of the First World Congress on Paraconsistency.
Ghent, Belgium. Jul, 30 - Aug, 02, 1997. 

MARTINS, A. T. C., PEQUENO, T. H. C.
Proof-Theoretical Considerations about the Logic of Epistemic Inconsistency.
In: Proceedings of the Conference on Philosophical Logic.
Ghent, Belgium. Dec, 15-16, 1994. .

Edição de Obras Publicadas

MARTINS, A. T. C. et alli.
Anais do XXI Congresso da Sociedade Brasileira de Computação, 2001, v.1. p.320.

MARTINS, A. T. C., BORGES, D. L.
I Jornada de Atualização em Inteligência Artificial, 2001, v.1. p.320.

Outras Publicações

MARTINS, A.T.C. A Syntactical and Semantical Uniform Treatment for the IDL & LEI Nonmonotonic System
Department of Informatics, Federal University of Pernambuco.
PhD Thesis. Brazil. 1997.

MARTINS A.T.C.
Um sistema de revisão de crenças para resolução de problemas.
Porto Alegre, CPGCC da UFRGS, 1990. 165p. Tese de Mestrado

Eventos em  2002

XVI Simpósio Brasileiro de Inteligência Artificial 
XXII Congresso Anual da Sociedade Brasileira de Computação