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
Sorted Multi-adjoint Logic Programs: Termination Results and Applications
2004
DMA04:jelia
-
In proceedings
Carlos Viegas Damásio, Jesús Medina, Manuel Ojeda-Aciego
João Alexandre Leite
Logics in Artificial Intelligence, 9th European Conference, JELIA 2004
Lecture Notes in Computer Science
Springer
-
3229
121-133
3-540-23242-7
-
-
-
Export formats
Carlos Viegas Damásio and Jesús Medina and Manuel Ojeda-Aciego, Sorted Multi-adjoint Logic Programs: Termination Results and Applications, in: João Alexandre Leite (eds), Logics in Artificial Intelligence, 9th European Conference, JELIA 2004, Lecture Notes in Computer Science, Springer, Vol. 3229, ISBN 3-540-23242-7, Pag. 121-133, 2004.
<a href="http://centria.di.fct.unl.pt/people/members/view.php?code=feecf7159d8e22c70a3bf33436444903_amp_cscd=1f0a7a2e18474e4dd0fb6b8a13f2493f" class="author">Carlos Viegas Damásio</a>, Jesús Medina and Manuel Ojeda-Aciego, <b>Sorted Multi-adjoint Logic Programs: Termination Results and Applications</b>, in: <a href="http://centria.di.fct.unl.pt/people/members/view.php?code=800422e134adba52f1598f74c166ce4a_amp_cscd=1f0a7a2e18474e4dd0fb6b8a13f2493f" class="editor">João Alexandre Leite</a> (eds), <u>Logics in Artificial Intelligence, 9th European Conference, JELIA 2004</u>, Lecture Notes in Computer Science, <a href="http://www.springer.com" title="Link to external entity..." target="_blank" class="publisher">Springer</a>, Vol. 3229, ISBN 3-540-23242-7, Pag. 121-133, 2004.
@inproceedings {DMA04:jelia, author = {Carlos Viegas Dam{\'a}sio and Jes{\'u}s Medina and Manuel Ojeda-Aciego}, editor = {Jo{\~a}o Alexandre Leite}, title = {Sorted Multi-adjoint Logic Programs: Termination Results and Applications}, booktitle = {Logics in Artificial Intelligence, 9th European Conference, JELIA 2004}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, volume = {3229}, pages = {121-133}, isbn = {3-540-23242-7}, year = {2004}, }
Publication's urls
http://centria.di.fct.unl.pt/publications/view.php?code=5cc0bc0fff65e066c875d3cec4041329
http://centria.di.fct.unl.pt/publications/view.php?code=DMA04:jelia
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