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
Implementation of dynamic logic programs
2005
jja:cilc05
-
In proceedings
Federico Banti, José Júlio Alferes, Antonio Brogi
M. Proietti
Proceedings of CILC'05 - Italian Conference on Computational Logic
-
Quaderno del Dipartimento di Matematica
-
-
-
-
-
-
-
Export formats
Federico Banti and José Júlio Alferes and Antonio Brogi, Implementation of dynamic logic programs, in: M. Proietti (eds), Proceedings of CILC'05 - Italian Conference on Computational Logic, Quaderno del Dipartimento di Matematica, 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>Implementation of dynamic logic programs</b>, in: M. Proietti (eds), <u>Proceedings of CILC'05 - Italian Conference on Computational Logic</u>, Quaderno del Dipartimento di Matematica, 2005.
@inproceedings {jja:cilc05, author = {Federico Banti and Jos{\'e} J{\'u}lio Alferes and Antonio Brogi}, editor = {M. Proietti}, title = {Implementation of dynamic logic programs}, booktitle = {Proceedings of CILC'05 - Italian Conference on Computational Logic}, publisher = {Quaderno del Dipartimento di Matematica}, year = {2005}, }
Publication's urls
/publications/view.php?code=96294c690d43b0b606169227eb67278a
/publications/view.php?code=jja:cilc05
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