31 citations · 91 across the 17 of their papers we have counts for
18 papers
Depth-Bounded Fuzzy Simulations and Bisimulations between Fuzzy Automata
Linh Anh Nguyen, Ivana Micić, Stefan Stanimirović
Simulations and bisimulations are well-established notions in crisp/fuzzy automata theory and are widely used to compare the behaviors of automata. Their main drawback is that they…
Minimizing Fuzzy Interpretations in Fuzzy Description Logics by Using Crisp Bisimulations
Linh Anh Nguyen
The problem of minimizing finite fuzzy interpretations in fuzzy description logics (FDLs) is worth studying. For example, the structure of a fuzzy/weighted social network can be tr…
Fuzzy Simulations and Bisimulations between Fuzzy Automata
Linh Anh Nguyen
Simulations and bisimulations between two fuzzy automata over a complete residuated lattice were defined by Ćirić et al. (2012) as fuzzy relations between the sets of states of the…
Characterizing Crisp Simulations and Crisp Directed Simulations between Fuzzy Labeled Transition Systems by Using Fuzzy Modal Logics
Linh Anh Nguyen, Ngoc-Thanh Nguyen
We formulate and prove logical characterizations of crisp simulations and crisp directed simulations between fuzzy labeled transition systems with respect to fuzzy modal logics tha…
Computing the Fuzzy Partition Corresponding to the Greatest Fuzzy Auto-Bisimulation of a Fuzzy Graph-Based Structure
Linh Anh Nguyen
Fuzzy graph-based structures such as fuzzy automata, fuzzy labeled transition systems, fuzzy Kripke models, fuzzy social networks and fuzzy interpretations in fuzzy description log…
Logical Characterizations of Fuzzy Bisimulations in Fuzzy Modal Logics over Residuated Lattices
Linh Anh Nguyen
There are two kinds of bisimulation, namely crisp and fuzzy, between fuzzy structures such as fuzzy automata, fuzzy labeled transition systems, fuzzy Kripke models and fuzzy interp…