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.