Dissertations details

  • Revision Based Total Semantics for Normal Logic Programs
  • Dec 2013
  • The purpose of this thesis is the development of a formal semantical approach for extended normal logic programs, where contradictions are tackled by means of a reduction ad ab- surdum with respect to default negation mechanism, in the fashion of artificial intelligence belief revision, that leads to a set of implicit revisions.
  • Faculdade de Ciências e Tecnologia, UNL
  • Mário Abrantes
  • Luís Moniz Pereira
  • http://cl.ly/0J0Y2S2W3j1Q
  • The PhD was awarded in Mathematics (Logic and Foundations) at the Dept. of Mathematics of FCT/UNL.