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.
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