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
A tabulation procedure for first-order residuated logic programs
July 2006
dmoa06:ipmu
-
In proceedings
Carlos Viegas Damásio, Jesús Medina, Manuel Ojeda-Aciego
Proceedings of the 11th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems, (IPMU-06)
-
Editions E.D.K.
Paris, France
-
476-483
2-84254-112-x
-
-
-
Export formats
Carlos Viegas Damásio and Jesús Medina and Manuel Ojeda-Aciego, A tabulation procedure for first-order residuated logic programs, , Proceedings of the 11th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems, (IPMU-06), Editions E.D.K., Paris, France, ISBN 2-84254-112-x, Pag. 476-483, July 2006.
<a href="http://centria.di.fct.unl.pt/people/members/view.php?code=feecf7159d8e22c70a3bf33436444903_amp_cscd=f88d8f40978e5468fa171eedf100454e" class="author">Carlos Viegas Damásio</a>, Jesús Medina and Manuel Ojeda-Aciego, <b>A tabulation procedure for first-order residuated logic programs</b>, <u>Proceedings of the 11th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems, (IPMU-06)</u>, <a href="http://www.edk.fr/" title="Link to external entity..." target="_blank" class="publisher">Editions E.D.K.</a>, Paris, France, ISBN 2-84254-112-x, Pag. 476-483, July 2006.
@inproceedings {dmoa06:ipmu, author = {Carlos Viegas Dam{\'a}sio and Jes{\'u}s Medina and Manuel Ojeda-Aciego}, title = {A tabulation procedure for first-order residuated logic programs}, booktitle = {Proceedings of the 11th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems, (IPMU-06)}, publisher = {Editions E.D.K.}, address = {Paris, France}, pages = {476-483}, isbn = {2-84254-112-x}, month = {July}, year = {2006}, }
Publication's urls
http://centria.di.fct.unl.pt/publications/view.php?code=68c421df0edff2b71ac246f68a531100
http://centria.di.fct.unl.pt/publications/view.php?code=dmoa06:ipmu
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

POS_Conhecimento