Back to first pageBack to first page Centre for Artificial Intelligence of UNL
Browse our site
You are here:

Publication details

Go back
Publication details
Main information
Revision Based Total Semantics for Normal Logic Programs
December 2013
MarioAbrantesPhDthesis
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.
Ph. D. dissertation
Mário Abrantes
Luís Moniz Pereira
FCT/UNL
The PhD was awarded in Mathematics (Logic and Foundations) at the Dept. of Mathematics of FCT/UNL.
http://cl.ly/0J0Y2S2W3j1Q
Export formats
Mário Abrantes, Revision Based Total Semantics for Normal Logic Programs, Luís Moniz Pereira (superv.), FCT/UNL, The PhD was awarded in Mathematics (Logic and Foundations) at the Dept. of Mathematics of FCT/UNL. (http://cl.ly/0J0Y2S2W3j1Q), December 2013.
<b>Mário Abrantes</b>, <u>Revision Based Total Semantics for Normal Logic Programs</u>, <a href="/people/members/view.php?code=6175f826202ff877fba2ad77784cb9cb" class="supervisor">Luís Moniz Pereira</a> (superv.), FCT/UNL, <i>The PhD was awarded in Mathematics (Logic and Foundations) at the Dept. of Mathematics of FCT/UNL.</i> (<a href="http://cl.ly/0J0Y2S2W3j1Q" target="_blank">url</a>), December 2013.
@phdthesis {MarioAbrantesPhDthesis, author = {M{\'a}rio Abrantes}, title = {Revision Based Total Semantics for Normal Logic Programs}, school = {FCT/UNL}, note = {Lu\'{\i}s Moniz Pereira (superv.); The PhD was awarded in Mathematics (Logic and Foundations) at the Dept. of Mathematics of FCT/UNL.}, url = {http://cl.ly/0J0Y2S2W3j1Q}, abstract = {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.}, keywords = {total paraconsistent models, declarative debugging, inconsistency propagation detection, defectivity, excessiveness, irregularity}, month = {December}, year = {2013}, }
Publication's urls
/publications/view.php?code=cb802b9c95c9aa8341b4512cb88f634d
/publications/view.php?code=MarioAbrantesPhDthesis
Go back
Centre for Artificial Intelligence of UNL
Departamento de Informática, FCT/UNL
Quinta da Torre 2829-516 CAPARICA - Portugal
Tel. (+351) 21 294 8536 FAX (+351) 21 294 8541

Fundacao_FCT