학술논문
Combining Proofs for Description Logic and Concrete Domain Reasoning
Document Type
Conference Paper
Author
Source
In: Rules and Reasoning - 7th International Joint Conference, RuleML+RR 2023, Proceedings . (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2023, 14244 LNCS:54-69)
Subject
Language
English
ISSN
16113349
03029743
03029743