Fundamenta Informaticae > 2020 > Vol. 176, nr 3/4 > 349--384
Source
Abstract
Identifiers
journal ISSN : | 0169-2968 |
journal e-ISSN : | 1875-8681 |
DOI | 10.3233/FI-2020-1977 |
Authors
Keywords
Additional information
Publisher
Fields of science
Bibliography
-
[1] Cantone D, Nicolosi-Asmundo M, Santamaria DF. A set-theoretic approach to ABox reasoning services. In: Costantini S, Franconi E, Van Woensel W, Kontchakovm R, Sadri F, Roman D (eds.), Rules and Reasoning. RuleML+RR 2017, volume 10364 of Lecture Notes in Computer Science. Springer, 2017 pp.87-102. doi:10.1007/978-3-319-61252-2_7.
-
[2] D’Agostino M, Mondadori M. The taming of the cut. Classical refutations with analytic cut. Journal of Logic and Computation, 1994. 4:285-319. doi:10.1093/logcom/4.3.285.
-
[3] Cantone D, Ferro A, Omodeo EG. Computable set theory. Number 6 in International Series of Monographs on Computer Science, Oxford Science Publications. Clarendon Press, Oxford, UK, 1989. ISBN:978-0198538073.