The completeness of reasoning algorithms for clause sets in description logic <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" altimg="si4.svg" display="inline" id="d1e76"><mml:mi mathvariant="script">ALC</mml:mi></mml:math>
Uloženo v:
| Vydáno v: | Knowledge-Based Systems Ročník 286; s. 111405 |
|---|---|
| Hlavní autoři: | , |
| Médium: | Journal Article |
| Jazyk: | japonština |
| Vydáno: |
Elsevier BV
01.02.2024
|
| Témata: | |
| ISSN: | 0950-7051 |
| On-line přístup: | Získat plný text |
| Tagy: |
Přidat tag
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!
|
Buďte první, kdo okomentuje tento záznam!