Francesco M. Donini, Daniele Nardi, Riccardo Rosati.
In Proceedings of the 1995 Description Logic Workshop (DL'95), pages 13-18, 1995. Technical report 07.95, Dipartimento di Informatica e Sistemistica, Università di Roma "La Sapienza".
@String{DL-95 = "Proceedings of the 1995 Description Logic Workshop (DL'95)"} @Inproceedings{DoNR95d, author = {Donini, Francesco M. and Nardi, Daniele and Rosati, Riccardo}, title = {Epistemic {ALC}-knowledge bases}, booktitle = DL-95, pages = {13--18}, year = {1995}, note = {Technical report 07.95, Dipartimento di Informatica e Sistemistica, Universit\`a di Roma ``La Sapienza''}, }