REWERSE-RP-2005-10

Carlos Viegas Damásio, Jesús Medina, Manuel Ojeda-Aciego:
Termination Results for Sorted Multi-Adjoint Logic Programs.


In: Proceedings of In Information Processing and Management of Uncertainty in Knowledge-Based Systems (IPMU 2004), Perugia, Italy (4th - 9th July 2004), 1879-1886

URL:
http://rewerse.net/publications/rewerse-publications.html#REWERSE-RP-2005-10

BibTeX:

@inproceedings{REWERSE-RP-2005-10,
	author = {Carlos Viegas Damásio and Jes\'{u}s Medina and Manuel Ojeda-Aciego},
	title = {Termination Results for Sorted Multi-Adjoint Logic Programs},
	booktitle = {Proceedings of In Information Processing and Management of Uncertainty in Knowledge-Based Systems, Perugia, Italy (4th--9th July 2004)},
	year = {2005},
	pages = {1879--1886},
	url = {http://rewerse.net/publications/rewerse-publications.html#REWERSE-RP-2005-10}
}