2005
Report
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.
Source: ISTI Technical reports, 2005
Back to previous page
BibTeX entry
@techreport{oai:it.cnr:prodotti:160226,
title = {Annotated answer set programming},
author = {Straccia U.},
institution = {ISTI Technical reports, 2005},
year = {2005}
}CNR authorsLaboratories
0000-0001-5998-6757