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
Operational Semantics for DyLPs
2005
jja:epia05
-
In proceedings
Federico Banti, José Júlio Alferes, Antonio Brogi
A. Cardoso, Carlos Bento, G. Dias
Progress in Artificial Intelligence, Procs. 12th Portuguese Int. Conf. on Artificial Intelligence (EPIA'05)
Lecture Notes in Artificial Intelligence
Springer
-
3808
43-54
-
-
-
-
Export formats
Federico Banti and José Júlio Alferes and Antonio Brogi, Operational Semantics for DyLPs, in: A. Cardoso and Carlos Bento and G. Dias (eds), Progress in Artificial Intelligence, Procs. 12th Portuguese Int. Conf. on Artificial Intelligence (EPIA'05), Lecture Notes in Artificial Intelligence, Springer, Vol. 3808, Pag. 43-54, 2005.
<a href="/people/members/view.php?code=52aefa9f3c82806b7308696c9695b36a" class="author">Federico Banti</a>, <a href="/people/members/view.php?code=6c74cfdbe88c7f9522c44ebcef69c8e7" class="author">José Júlio Alferes</a> and Antonio Brogi, <b>Operational Semantics for DyLPs</b>, in: A. Cardoso, <a href="/people/members/view.php?code=0d8aac639c899e05fe2de28c04fe49d6" class="editor">Carlos Bento</a> and G. Dias (eds), <u>Progress in Artificial Intelligence, Procs. 12th Portuguese Int. Conf. on Artificial Intelligence (EPIA'05)</u>, Lecture Notes in Artificial Intelligence, <a href="http://www.springer.com" title="Link to external entity..." target="_blank" class="publisher">Springer</a>, Vol. 3808, Pag. 43-54, 2005.
@inproceedings {jja:epia05, author = {Federico Banti and Jos{\'e} J{\'u}lio Alferes and Antonio Brogi}, editor = {A. Cardoso and Carlos Bento and G. Dias}, title = {Operational Semantics for DyLPs}, booktitle = {Progress in Artificial Intelligence, Procs. 12th Portuguese Int. Conf. on Artificial Intelligence (EPIA'05)}, series = {Lecture Notes in Artificial Intelligence}, publisher = {Springer}, volume = {3808}, pages = {43-54}, year = {2005}, }
Publication's urls
/publications/view.php?code=fa36048b0b948411089c80498e3e1d70
/publications/view.php?code=jja:epia05
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