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 termination theorem for sorted multi-adjoint logic programs
2004
DMA04:estylf
-
In proceedings
Carlos Viegas Damásio, Jesús Medina, Manuel Ojeda-Aciego
José Júlio Alferes, João Alexandre Leite
XII Congreso Español sobre Tecnologías y Lógica Fuzzy
-
-
-
-
-
-
-
-
-
Export formats
Carlos Viegas Damásio and Jesús Medina and Manuel Ojeda-Aciego, A termination theorem for sorted multi-adjoint logic programs, in: José Júlio Alferes and João Alexandre Leite (eds), XII Congreso Español sobre Tecnologías y Lógica Fuzzy, 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 termination theorem for sorted multi-adjoint logic programs</b>, in: <a href="/people/members/view.php?code=6c74cfdbe88c7f9522c44ebcef69c8e7" class="editor">José Júlio Alferes</a> and <a href="/people/members/view.php?code=800422e134adba52f1598f74c166ce4a" class="editor">João Alexandre Leite</a> (eds), <u>XII Congreso Español sobre Tecnologías y Lógica Fuzzy</u>, 2004.
@inproceedings {DMA04:estylf, author = {Carlos Viegas Dam{\'a}sio and Jes{\'u}s Medina and Manuel Ojeda-Aciego}, editor = {Jos{\'e} J{\'u}lio Alferes and Jo{\~a}o Alexandre Leite}, title = {A termination theorem for sorted multi-adjoint logic programs}, booktitle = {XII Congreso Espa{\~n}ol sobre Tecnolog\'{\i}as y L{\'o}gica Fuzzy}, year = {2004}, }
Publication's urls
/publications/view.php?code=c98635603229dc04f5f9753bc1c814ef
/publications/view.php?code=DMA04:estylf
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