Search
for Author
All Reviews
Lamma, Evelina
Options:
All Media Types
Journals
Proceedings
Div Books
Whole Books
Other
Date Reviewed
Title
Author
Publisher
Published Date
Descending
Ascending
Date Reviewed
1
-
1
of
1
reviews
Tableau reasoning for description logics and its extension to probabilities
Zese R., Bellodi E., Riguzzi F., Cota G., Lamma E. Annals of Mathematics and Artificial Intelligence 82(1-3): 101-130, 2018. Type: Article
Zese et al. present Prolog implementations of some reasoning algorithms for description logics (DL). They describe two principal algorithms, TRILL and TRILL
p
; each implements the tableau algorithm. TRILL i...
...
Jun 28 2018
Reproduction in whole or in part without permission is prohibited. Copyright 1999-2024 ThinkLoud
®
Terms of Use
|
Privacy Policy