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.
Annotated answer set programming
Straccia U
2005
Abstract
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.File in questo prodotto:
| File | Dimensione | Formato | |
|---|---|---|---|
|
prod_160226-doc_125977.pdf
accesso aperto
Descrizione: Annotated Answer Set Programming
Dimensione
195.18 kB
Formato
Adobe PDF
|
195.18 kB | Adobe PDF | Visualizza/Apri |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
