Islam Elkabani, Enrico Pontelli, Tran Cao Son. Smodels:::A::: - A System for Computing Answer Sets of Logic Programs with Aggregates. In Chitta Baral, Gianluigi Greco, Nicola Leone, Giorgio Terracina, editors, Logic Programming and Nonmonotonic Reasoning, 8th International Conference, LPNMR 2005, Diamante, Italy, September 5-8, 2005, Proceedings. Volume 3662 of Lecture Notes in Computer Science, pages 427-431, Springer, 2005. [doi]
@inproceedings{ElkabaniPS05,
title = {Smodels:::A::: - A System for Computing Answer Sets of Logic Programs with Aggregates},
author = {Islam Elkabani and Enrico Pontelli and Tran Cao Son},
year = {2005},
doi = {10.1007/11546207_40},
url = {http://dx.doi.org/10.1007/11546207_40},
tags = {logic programming, logic},
researchr = {https://researchr.org/publication/ElkabaniPS05},
cites = {0},
citedby = {0},
pages = {427-431},
booktitle = {Logic Programming and Nonmonotonic Reasoning, 8th International Conference, LPNMR 2005, Diamante, Italy, September 5-8, 2005, Proceedings},
editor = {Chitta Baral and Gianluigi Greco and Nicola Leone and Giorgio Terracina},
volume = {3662},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-28538-5},
}