Browse our site
About
People
Research Areas
Projects
Publications
Books
Book chapters
Journal articles
In proceedings
M. Sc. Dissertations
Ph. D. Dissertations
Technical reports
Seminars
News
You are here:
Home
Publications
View
Publication details
Go back
Publication details
Main information
Title:
Termination Results for Sorted Multi-Adjoint Logic Programs
Publication date:
July 2004
Citation:
DMA04:ipmu
Abstract:
-
In proceedings
Authors:
Carlos Viegas Damásio
, Jesús Medina, Manuel Ojeda-Aciego
Book title:
Information Processing and Management of Uncertainty in Knowledge-Base Information Systems (IMPU'04)
Series:
-
Publisher:
-
Address:
Perugia, Italy
Volume:
-
Pages:
1879-1886
ISBN:
-
ISSN:
-
Note:
-
Url address:
-
Export formats
Plain text:
Carlos Viegas Damásio and Jesús Medina and Manuel Ojeda-Aciego, Termination Results for Sorted Multi-Adjoint Logic Programs, , Information Processing and Management of Uncertainty in Knowledge-Base Information Systems (IMPU'04), Perugia, Italy, Pag. 1879-1886, July 2004.
HTML:
<a href="/people/members/view.php?code=feecf7159d8e22c70a3bf33436444903" class="author">Carlos Viegas Damásio</a>, Jesús Medina and Manuel Ojeda-Aciego, <b>Termination Results for Sorted Multi-Adjoint Logic Programs</b>, <u>Information Processing and Management of Uncertainty in Knowledge-Base Information Systems (IMPU'04)</u>, Perugia, Italy, Pag. 1879-1886, July 2004.
BibTeX:
@inproceedings {DMA04:ipmu, author = {Carlos Viegas Dam{\'a}sio and Jes{\'u}s Medina and Manuel Ojeda-Aciego}, title = {Termination Results for Sorted Multi-Adjoint Logic Programs}, booktitle = {Information Processing and Management of Uncertainty in Knowledge-Base Information Systems (IMPU'04)}, address = {Perugia, Italy}, pages = {1879-1886}, month = {July}, year = {2004}, }
Publication's urls
Full url:
/publications/view.php?code=02a1deab07300fefd8af80c43263fbf2
Friendly url:
/publications/view.php?code=DMA04:ipmu
Go back
Departamento de Informática, FCT/UNL
Quinta da Torre 2829-516 CAPARICA - Portugal
Tel. (+351) 21 294 8536 FAX (+351) 21 294 8541