Istituto di Scienza e Tecnologie dell'Informazione     
Straccia U. Annotated Answer Set Programming. The document other:, Technical report, 2005.
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.
Subject Many-valued logic programming
F.4.1: Mathematical Logic and Formal Languages: Mathematical Logic:
I.2.3: Artificial Intelligence: Deduction and Theorem Proving: [Logic

Icona documento 1) Download Document PDF

Icona documento Open access Icona documento Restricted Icona documento Private


Per ulteriori informazioni, contattare: Librarian http://puma.isti.cnr.it

Valid HTML 4.0 Transitional