Annotated Answer Set Programming
Umberto Straccia · 2006
We present Annotated Answer Set Programming, that extends the expressive power of disjunctive logic programming with annotation terms, taken from the general-ized annotated logic programming framework.