research
∙
03/13/2023
Minimizing Fuzzy Interpretations in Fuzzy Description Logics by Using Crisp Bisimulations
The problem of minimizing finite fuzzy interpretations in fuzzy descript...
share
research
∙
09/06/2021
Characterizing Crisp Simulations and Crisp Directed Simulations between Fuzzy Labeled Transition Systems by Using Fuzzy Modal Logics
We formulate and prove logical characterizations of crisp simulations an...
research
∙
07/18/2021
Computing the Fuzzy Partition Corresponding to the Greatest Fuzzy Auto-Bisimulation of a Fuzzy Graph-Based Structure
Fuzzy graph-based structures such as fuzzy automata, fuzzy labeled trans...
research
∙
01/29/2021
Logical Characterizations of Fuzzy Bisimulations in Fuzzy Modal Logics over Residuated Lattices
There are two kinds of bisimulation, namely crisp and fuzzy, between fuz...
research
∙
12/03/2020
Computing Crisp Simulations and Crisp Directed Simulations for Fuzzy Graph-Based Structures
Like bisimulations, simulations and directed simulations are used for an...
research
∙
10/27/2020
Computing Crisp Bisimulations for Fuzzy Structures
Fuzzy structures such as fuzzy automata, fuzzy transition systems, weigh...
research
∙
08/06/2020
Bisimulation and bisimilarity for fuzzy description logics under the Gödel semantics
Description logics (DLs) are a suitable formalism for representing knowl...
research
∙
04/04/2009