Graduation details

  • [PhD] - Revision Based Total Semantics for Normal Logic Programs
  • Sep 2009 - Dec 2013
  • 1 Sep 2009
  • 2 Dec 2013
  • Mário Abrantes
  • Luís Moniz Pereira