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
A Tabulation Proof Procedure for Residuated Logic Programming
2004
DMA04:ecai
-
In proceedings
Carlos Viegas Damásio, Jesús Medina, Manuel Ojeda-Aciego
Ramon López de Mántaras, Lorenza Saitta
Proceedings of the 16th European Conference on Artificial Intelligence, ECAI'2004, including Prestigious Applicants of Intelligent Systems, PAIS 2004
-
IOS Press
-
-
808-812
1-58603-452-9
-
-
-
Export formats
Carlos Viegas Damásio and Jesús Medina and Manuel Ojeda-Aciego, A Tabulation Proof Procedure for Residuated Logic Programming, in: Ramon López de Mántaras and Lorenza Saitta (eds), Proceedings of the 16th European Conference on Artificial Intelligence, ECAI'2004, including Prestigious Applicants of Intelligent Systems, PAIS 2004, IOS Press, ISBN 1-58603-452-9, Pag. 808-812, 2004.
<a href="/people/members/view.php?code=feecf7159d8e22c70a3bf33436444903" class="author">Carlos Viegas Damásio</a>, Jesús Medina and Manuel Ojeda-Aciego, <b>A Tabulation Proof Procedure for Residuated Logic Programming</b>, in: Ramon López de Mántaras and Lorenza Saitta (eds), <u>Proceedings of the 16th European Conference on Artificial Intelligence, ECAI'2004, including Prestigious Applicants of Intelligent Systems, PAIS 2004</u>, <a href="http://www.iospress.nl/" title="Link to external entity..." target="_blank" class="publisher">IOS Press</a>, ISBN 1-58603-452-9, Pag. 808-812, 2004.
@inproceedings {DMA04:ecai, author = {Carlos Viegas Dam{\'a}sio and Jes{\'u}s Medina and Manuel Ojeda-Aciego}, editor = {Ramon L{\'o}pez de M{\'a}ntaras and Lorenza Saitta}, title = {A Tabulation Proof Procedure for Residuated Logic Programming}, booktitle = {Proceedings of the 16th European Conference on Artificial Intelligence, ECAI'2004, including Prestigious Applicants of Intelligent Systems, PAIS 2004}, publisher = {IOS Press}, pages = {808-812}, isbn = {1-58603-452-9}, year = {2004}, }
Publication's urls
/publications/view.php?code=d6fa86e52f60c4eb45dc761dc4c3b769
/publications/view.php?code=DMA04:ecai
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