PR-OWL
From MaRDI portal
Software:33821
No author found.
Related Items (8)
Tableau reasoning for description logics and its extension to probabilities ⋮ The complexity of Bayesian networks specified by propositional and relational languages ⋮ Editorial. Special issue on ``Uncertainty reasoning for the web ⋮ A Survey of Directed Entity-Relation--Based First-Order Probabilistic Languages ⋮ Statistical \(\mathcal{EL}\) is \textsc{ExpTime}-complete ⋮ The finite model theory of Bayesian network specifications: descriptive complexity and zero/one laws ⋮ Certain information granule system as a result of sets approximation by fuzzy context ⋮ Probabilistic DL Reasoning with Pinpointing Formulas: A Prolog-based Approach
This page was built for software: PR-OWL