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žené v:

Podrobná bibliografia
Vydané v:	Knowledge-Based Systems Ročník 286; s. 111405
Hlavní autori:	Ken Kaneiwa, Daiki Takahashi
Médium:	Journal Article
Jazyk:	Japanese
Vydavateľské údaje:	Elsevier BV 01.02.2024
Predmet:	Computer Science - Logic in Computer Science FOS: Computer and information sciences Logic in Computer Science (cs.LO)
ISSN:	0950-7051
On-line prístup:	Získať plný text
Tagy:	Pridať tag Žiadne tagy, Buďte prvý, kto otaguje tento záznam!

Popis
ISSN:	0950-7051
DOI:	10.1016/j.knosys.2024.111405