PUMA
Istituto di Scienza e Tecnologie dell'Informazione     
Straccia U. Uncertainty in Description Logic Programs. The document has been submitted to : AAAI-04, Technical report, 2004.
 
 
Abstract
(English)
We present a new family of representation languages, called Description Logic Programs (DLPs) and DLPs with uncertainty. The former combine the expressive power of description logics and disjunctive logic programs, while the latter are DLPs in which the management of uncertainty is based on so-called annotation terms, inspired by the generalized annotated logic programming framework Kifer and Subrahmanian.
Subject Description Logics, Logic programs, Uncertainty
F.4.1: Mathematical Logic and Formal Languages: Mathematical Logic
I.2.3: Artificial Intelligence: Deduction and Theorem Proving


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