Search for Author All Reviews
	Cota, Giuseppe     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 TRILLp; 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