Autoepistemic Description Logics

Francesco M. Donini, Daniele Nardi, Riccardo Rosati.
Technical report 21.99, Dipartimento di Informatica e Sistemistica, Università di Roma "La Sapienza", 1999.

 

Bibtex entry:

@String{DIS = "Dipartimento di Informatica e Sistemistica, Universit{\`a} di Roma ``La Sapienza''"}

@Techrep{DoNR99,
author = {Donini, Francesco M. and Nardi, Daniele and Rosati, Riccardo},
title = {Autoepistemic Description Logics},
institution = DIS,
number = {21.99},
year = {1999} ,
}