@inproceedings{Straccia06b, Author = {Straccia, Umberto}, Booktitle = {Proceedings of the 11th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems, (IPMU-06)}, Title = {Annotated Answer Set Programming}, pages = {1212-1219}, Year = {2006}}