REWERSE-RP-2005-12

Carlos Viegas Damásio, Jesús Medina, Manuel Ojeda-Aciego:
A Tabulation Proof Procedure for Residuated Logic Programming.


In: Proceedings of 16th European Conference on Artificial Intelligence (2004) (ECAI 2004), Valencia, Spain (22nd - 27th September 2004), 808-812
© IOS Press 2004

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

BibTeX:

@inproceedings{REWERSE-RP-2005-12,
	author = {Carlos Viegas Damásio and Jes\'{u}s Medina and Manuel Ojeda-Aciego},
	title = {A Tabulation Proof Procedure for Residuated Logic Programming},
	booktitle = {Proceedings of 16th European Conference on Artificial Intelligence (2004), Valencia, Spain (22nd--27th September 2004)},
	year = {2005},
	pages = {808--812},
	url = {http://rewerse.net/publications/rewerse-publications.html#REWERSE-RP-2005-12}
}