Linh Anh Nguyen | DeepAI

AI Chat

Featured Co-authors

Ngoc Thanh Nguyen
4 publications
Andrzej Szałas
3 publications
Quang-Thuy Ha
1 publication
Dat Xuan Tran
1 publication
Thanh-Luong Tran
1 publication
Thi Hong Khanh Nguyen
1 publication

∙ 03/13/2023

Minimizing Fuzzy Interpretations in Fuzzy Description Logics by Using Crisp Bisimulations

The problem of minimizing finite fuzzy interpretations in fuzzy descript...

0 Linh Anh Nguyen, et al. ∙

∙ 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...

0 Linh Anh Nguyen, et al. ∙

∙ 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...

0 Linh Anh Nguyen, et al. ∙

∙ 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...

0 Linh Anh Nguyen, et al. ∙

∙ 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...

0 Linh Anh Nguyen, et al. ∙

∙ 10/27/2020

Computing Crisp Bisimulations for Fuzzy Structures

Fuzzy structures such as fuzzy automata, fuzzy transition systems, weigh...

0 Linh Anh Nguyen, et al. ∙

∙ 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...

0 Linh Anh Nguyen, et al. ∙

∙ 04/04/2009

Optimal Tableau Decision Procedures for PDL

We reformulate Pratt's tableau decision procedure of checking satisfiabi...

0 Linh Anh Nguyen, et al. ∙

Are you a researcher?
Expose your work
to one of the largest
A.I. communities in the world