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
Semantics for Dynamic Logic Programming: A Principle-Based Approach
2004
DBLP:conf/lpnmr/AlferesBBL04
-
In proceedings
José Júlio Alferes, Federico Banti, Antonio Brogi, João Alexandre Leite
Vladimir Lifschitz, Ilkka Niemelä
Logic Programming and Nonmonotonic Reasoning, 7th International Conference, LPNMR 2004, Fort Lauderdale, FL, USA, January 6-8, 2004, Proceedings
Lecture Notes in Computer Science
Springer
-
2923
8-20
3-540-20721-X
-
-
http://springerlink.metapress.com/openurl.asp?genre=article{&}issn=0302-9743{&}volume=2923{&}spage=8
Export formats
José Júlio Alferes and Federico Banti and Antonio Brogi and João Alexandre Leite, Semantics for Dynamic Logic Programming: A Principle-Based Approach, in: Vladimir Lifschitz and Ilkka Niemelä (eds), Logic Programming and Nonmonotonic Reasoning, 7th International Conference, LPNMR 2004, Fort Lauderdale, FL, USA, January 6-8, 2004, Proceedings, Lecture Notes in Computer Science, Springer, Vol. 2923, ISBN 3-540-20721-X, Pag. 8-20, (http://springerlink.metapress.com/openurl.asp?genre=article{_amp_}issn=0302-9743{_amp_}volume=2923{_amp_}spage=8), 2004.
<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>Semantics for Dynamic Logic Programming: A Principle-Based Approach</b>, in: Vladimir Lifschitz and Ilkka Niemelä (eds), <u>Logic Programming and Nonmonotonic Reasoning, 7th International Conference, LPNMR 2004, Fort Lauderdale, FL, USA, January 6-8, 2004, Proceedings</u>, Lecture Notes in Computer Science, <a href="http://www.springer.com" title="Link to external entity..." target="_blank" class="publisher">Springer</a>, Vol. 2923, ISBN 3-540-20721-X, Pag. 8-20, (<a href="http://springerlink.metapress.com/openurl.asp?genre=article{_amp_}issn=0302-9743{_amp_}volume=2923{_amp_}spage=8" target="_blank">url</a>), 2004.
@inproceedings {DBLP:conf/lpnmr/AlferesBBL04, author = {Jos{\'e} J{\'u}lio Alferes and Federico Banti and Antonio Brogi and Jo{\~a}o Alexandre Leite}, editor = {Vladimir Lifschitz and Ilkka Niemel{\"a}}, title = {Semantics for Dynamic Logic Programming: A Principle-Based Approach}, booktitle = {Logic Programming and Nonmonotonic Reasoning, 7th International Conference, LPNMR 2004, Fort Lauderdale, FL, USA, January 6-8, 2004, Proceedings}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, volume = {2923}, pages = {8-20}, isbn = {3-540-20721-X}, url = {http://springerlink.metapress.com/openurl.asp?genre=article{_amp_}issn=0302-9743{_amp_}volume=2923{_amp_}spage=8}, year = {2004}, }
Publication's urls
/publications/view.php?code=f126ddda2b736f15f8e8c055a18a6fcd
/publications/view.php?code=DBLP:conf/lpnmr/AlferesBBL04
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