- Tytuł:
- A Tractable Rule Language in the Modal and Description Logic that Combines CPDL with Regular Grammar Logic
- Autorzy:
- Nguyen, L. A.
- Data publikacji:
- 2016
- Słowa kluczowe:
-
description logics
modality
axioms
data analysis
epistemic logic - Pokaż więcej
- Dostawca treści:
- BazTech