2005
Other
Open Access
Annotated answer set programming
Straccia U
Many-valued logic programming F.4.1 Mathematical Logic. Logic and constraint programming I.2.3 Deduction and Theorem Proving. Logic programming
We present Annotated Answer Set Programming, that extends the ex pressive power of disjunctive logic programming with annotation terms, taken from the generalized annotated logic programming framework.
Back to previous page
BibTeX entry
@misc{oai:it.cnr:prodotti:160226,
title = {Annotated answer set programming},
author = {Straccia U},
year = {2005}
}CNR authorsLaboratories
0000-0001-5998-6757