David Pearce, Agustín Valverde. Synonymus Theories in Answer Set Programming and Equilibrium Logic. In Ramon López de Mántaras, Lorenza Saitta, editors, Proceedings of the 16th Eureopean Conference on Artificial Intelligence, ECAI 2004, including Prestigious Applicants of Intelligent Systems, PAIS 2004, Valencia, Spain, August 22-27, 2004. pages 388-392, IOS Press, 2004.
@inproceedings{PearceV04,
title = {Synonymus Theories in Answer Set Programming and Equilibrium Logic},
author = {David Pearce and Agustín Valverde},
year = {2004},
tags = {logic programming, programming, logic},
researchr = {https://researchr.org/publication/PearceV04},
cites = {0},
citedby = {0},
pages = {388-392},
booktitle = {Proceedings of the 16th Eureopean Conference on Artificial Intelligence, ECAI 2004, including Prestigious Applicants of Intelligent Systems, PAIS 2004, Valencia, Spain, August 22-27, 2004},
editor = {Ramon López de Mántaras and Lorenza Saitta},
publisher = {IOS Press},
isbn = {1-58603-452-9},
}