Publications

2011

• F. Martins Ferreira, C. M. Freire, M. R. Benevides, L. M. Schechter, and A. T. Martins. Hybrid Logics and NP Graph Properties. In Logic, Language, Information and Computation — 18th International Workshop, WoLLIC 2011, Philadelphia, PA, USA. Proceedings (L. D. Beklemishev and R. de Queiroz, Eds.), vol. 6642 of Lecture Notes in Computer Science, pp. 123–134. Springer Berlin / Heidelberg, 2011.             
  BibTeX

  @incollection{FM11a,
       affiliation = {Departamento de Computa\c{c}{\~a}o, Universidade Federal do Cear{\'a}, CP 12.166, Fortaleza, CE 60455-760, Brasil},
       author = {Francicleber {Martins Ferreira} and Cibele Matos Freire and Mario R. F. Benevides and Lu{\'i}s Menasch{\'e} Schechter and Ana Teresa Martins},
       booktitle = {{Logic, Language, Information and Computation --- 18th International Workshop, WoLLIC 2011, Philadelphia, PA, USA. Proceedings}},
       editor = {Lev D. Beklemishev and Ruy de Queiroz},
       pages = {123--134},
       publisher = {Springer Berlin / Heidelberg},
       series = {{Lecture Notes in Computer Science}},
       title = {{Hybrid Logics and NP Graph Properties}},
       volume = {6642},
       year = {2011},
  }
  

• F. Martins Ferreira and A. T. Martins. Expressiveness and Definability in Circumscription. Manuscrito, vol. 34(1), pp. 195–227, 2011.             
  BibTeX

  @article{FM11b,
       author = {Francicleber {Martins Ferreira} and Ana Teresa Martins},
       journal = {Manuscrito},
       number = {1},
       pages = {195--227},
       title = {{Expressiveness and Definability in Circumscription}},
       volume = {34},
       year = {2011},
  }
  

• F. Martins Ferreira and A. T. Martins. Expressible preferential logics. Journal of Logic and Computation (Online), 2011.             
  BibTeX

  @article{FM11c,
       author = {Francicleber {Martins Ferreira} and Ana Teresa Martins},
       journal = {Journal of Logic and Computation (Online)},
       title = {{Expressible preferential logics}},
       year = {2011},
  }
  

• F. Martins Ferreira and A. T. Martins. Recursive Definitions and Fixed-Points on Well-Founded Structures. Theoretical Computer Science, vol. 412(37), pp. 4893–4904, 2011.             
  BibTeX

  @article{FM11d,
       author = {Francicleber {Martins Ferreira} and Ana Teresa Martins},
       journal = {Theoretical Computer Science},
       number = {37},
       pages = {4893--4904},
       title = {{Recursive Definitions and Fixed-Points on Well-Founded Structures}},
       volume = {412},
       year = {2011},
  }
  

2007

• F. Martins Ferreira. Modelos Minimais e Hierarquia de Expressividade. Master thesis, Universidade Federal do Ceará, 2007.             
  BibTeX

  @misc{Ferreira07,
       author = {Francicleber {Martins Ferreira}},
       howpublished = {Master thesis, Universidade Federal do Cear{\'a}},
       title = {{Modelos Minimais e Hierarquia de Expressividade}},
       year = {2007},
  }
  

• F. Martins Ferreira and A. T. Martins. On Minimal Models. Logic Journal of the IGPL, vol. 15(5–6), pp. 503–526, 2007.             
  BibTeX

  @article{FM07,
       author = {Francicleber {Martins Ferreira} and Ana Teresa Martins},
       journal = {Logic Journal of the IGPL},
       number = {5--6},
       pages = {503--526},
       title = {{On Minimal Models}},
       volume = {15},
       year = {2007},
  }
  

2006

• F. Martins Ferreira and A. T. Martins. The Predicate-Minimizing Logic MIN. In Advances in Artificial Intelligence - IBERAMIA-SBIA 2006 (J. Sichman, H. Coelho, and S. Rezende, Eds.), vol. 4140 of Lecture Notes in Computer Science, pp. 582–591. Springer Berlin / Heidelberg, 2006.             
  BibTeX

  @incollection{FM06,
       affiliation = {Departamento de Computa\c{c}{\~a}o, Universidade Federal do Cear{\'a}, CP 12.166, Fortaleza, CE 60455-760, Brasil},
       author = {Francicleber {Martins Ferreira} and Ana Teresa Martins},
       booktitle = {{Advances in Artificial Intelligence - IBERAMIA-SBIA 2006}},
       editor = {Jaime Sichman and Helder Coelho and Solange Rezende},
       pages = {582--591},
       publisher = {Springer Berlin / Heidelberg},
       series = {{Lecture Notes in Computer Science}},
       title = {{The Predicate-Minimizing Logic MIN}},
       volume = {4140},
       year = {2006},
  }