Publikationen

Francicleber Martins Ferreira

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.             
  • F. Martins Ferreira and A. T. Martins. Expressiveness and Definability in Circumscription. Manuscrito, vol. 34(1), pp. 195–227, 2011.             
  • F. Martins Ferreira and A. T. Martins. Expressible preferential logics. Journal of Logic and Computation (Online), 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.             

2007

  • F. Martins Ferreira. Modelos Minimais e Hierarquia de Expressividade. Master thesis, Universidade Federal do Ceará, 2007.             
  • F. Martins Ferreira and A. T. Martins. On Minimal Models. Logic Journal of the IGPL, vol. 15(5–6), pp. 503–526, 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.