Pages that link to "Item:Q527171"
From MaRDI portal
The following pages link to On bisimulations for description logics (Q527171):
Displaying 8 items.
- On bisimulations for description logics (Q527171) (← 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)
- BISIMULATIONS FOR KNOWING HOW LOGICS (Q5078817) (← links)
- Logic-Based Roughification (Q5245185) (← links)
- Bisimilarity for paraconsistent description logics (Q5283396) (← links)
