Fundamenta Informaticae > 2020 > Vol. 176, nr 3/4 > 235--269
Źródło
Abstrakt
Identyfikatory
ISSN czasopisma : | 0169-2968 |
e-ISSN czasopisma : | 1875-8681 |
DOI | 10.3233/FI-2020-1973 |
Autorzy
Słowa kluczowe
Informacje dodatkowe
Wydawca
Obszary wiedzy
Bibliografia
-
[1] Straccia U. Default Inheritance Reasoning in Hybrid KL-ONE-Style Logics. In: Bajcsy R (ed.), Proc. of the 13th Int. Joint Conf. on Artificial Intelligence (IJCAI 1993). Chambéry, France, 1993 pp. 676-681.
-
[2] Baader F, Hollunder B. Priorities on Defaults with Prerequisites, and Their Application in Treating Specificity in Terminological Default Logic. Journal of Automated Reasoning (JAR), 1995. 15(1):41-68. doi:10.1007/BF00881830.
-
[3] Donini FM, Nardi D, Rosati R. Description logics of minimal knowledge and negation as failure. ACM Transactions on Computational Logic (ToCL), 2002. 3(2):177-225. URL https://doi.org/10.1145/505372.505373.