PUMA
Istituto di Scienza e Tecnologie dell'Informazione     
Straccia U. Annotated Answer Set Programming. The document other:, Technical report, 2005.
 
 
Abstract
(English)
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