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

Publication details

Publication details
Main information
The Refined Extension Principle for Semantics of Dynamic Logic Programming
2005
DBLP:journals/sLogica/AlferesBBL05
-
Journal
José Júlio Alferes, Federico Banti, Antonio Brogi, João Alexandre Leite
Studia Logica
-
-
79
1
7-32
-
-
-
http://dx.doi.org/10.1007/s11225-005-0492-y
Export formats
José Júlio Alferes and Federico Banti and Antonio Brogi and João Alexandre Leite, The Refined Extension Principle for Semantics of Dynamic Logic Programming, Studia Logica, Vol. 79, No. 1, Pag. 7-32, (http://dx.doi.org/10.1007/s11225-005-0492-y), 2005.
<b><a href="http://centria.di.fct.unl.pt/people/members/view.php?code=6c74cfdbe88c7f9522c44ebcef69c8e7_amp_cscd=acaca5fa69178b8e8b53c2720df7e519" class="author">José Júlio Alferes</a>, <a href="http://centria.di.fct.unl.pt/people/members/view.php?code=52aefa9f3c82806b7308696c9695b36a_amp_cscd=acaca5fa69178b8e8b53c2720df7e519" class="author">Federico Banti</a>, Antonio Brogi and <a href="http://centria.di.fct.unl.pt/people/members/view.php?code=800422e134adba52f1598f74c166ce4a_amp_cscd=acaca5fa69178b8e8b53c2720df7e519" class="author">João Alexandre Leite</a></b>, <u>The Refined Extension Principle for Semantics of Dynamic Logic Programming</u>, Studia Logica, Vol. 79, No. 1, Pag. 7-32, (<a href="http://dx.doi.org/10.1007/s11225-005-0492-y" target="_blank">url</a>), 2005.
@article {DBLP:journals/sLogica/AlferesBBL05, author = {Jos{\'e} J{\'u}lio Alferes and Federico Banti and Antonio Brogi and Jo{\~a}o Alexandre Leite}, title = {The Refined Extension Principle for Semantics of Dynamic Logic Programming}, journal = {Studia Logica}, volume = {79}, number = {1}, pages = {7-32}, url = {http://dx.doi.org/10.1007/s11225-005-0492-y}, year = {2005}, }
Publication's urls
http://centria.di.fct.unl.pt/publications/view.php?code=c49f6169758ec95c4965f91df8d42846
http://centria.di.fct.unl.pt/publications/view.php?code=DBLP:journals/sLogica/AlferesBBL05
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

POS_Conhecimento