Search for Topics All Reviews
	Browse All Reviews > Software (D) > Programming Languages (D.3) > Language Classifications (D.3.2) > Nondeterministic Languages (D.3.2...)     Options: All Media Types Journals Proceedings Div Books Whole Books Other Date Reviewed Title Author Publisher Published Date Descending Ascending     1-1 of 1 Reviews about "Nondeterministic Languages (D.3.2...)": Date Reviewed   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