Pages that link to "Item:Q527171"
From MaRDI portal
The following pages link to On bisimulations for description logics (Q527171):
Displaying 13 items.
- On bisimulations for description logics (Q527171) (← links)
- \(\mathcal {BCDL}\): Basic constructive description logic (Q972431) (← links)
- On the verification of architectural reconfigurations (Q1749140) (← links)
- Bisimulation and bisimilarity for fuzzy description logics under the Gödel semantics (Q2219174) (← links)
- ExpTime tableaux with global caching for hybrid PDL (Q2303231) (← links)
- A Domain Partitioning Method for Bisimulation-Based Concept Learning in Description Logics (Q3192965) (← links)
- (Q4536607) (← links)
- BISIMULATIONS FOR KNOWING HOW LOGICS (Q5078817) (← links)
- Logic-Based Roughification (Q5245185) (← links)
- Bisimilarity for paraconsistent description logics (Q5283396) (← links)
- Characterizing the expressive power for concept descriptions and terminological axioms boxes in the description logic \(\mathcal {ELU}\) (Q5498011) (← links)
- OUP accepted manuscript (Q5894701) (← links)
- Fuzzy Bisimulations in Fuzzy Description Logics Under the Gödel Semantics (Q6104484) (← links)