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="/people/members/view.php?code=6c74cfdbe88c7f9522c44ebcef69c8e7" class="author">José Júlio Alferes</a>, <a href="/people/members/view.php?code=52aefa9f3c82806b7308696c9695b36a" class="author">Federico Banti</a>, Antonio Brogi and <a href="/people/members/view.php?code=800422e134adba52f1598f74c166ce4a" 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
/publications/view.php?code=c49f6169758ec95c4965f91df8d42846
/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

Fundacao_FCT