Linh Anh Nguyen

ORCID

Publication Activity (10 Years)

Years Active: 1999-2024
Publications (10 Years): 51

Top Venues

Publications

Linh Anh Nguyen
Efficient algorithms for computing bisimulations for nondeterministic fuzzy transition systems. CoRR (2024)
Ivana Micic, Miroslav Ciric, Jelena Matejic, Stefan Stanimirovic, Linh Anh Nguyen
Approximate weak simulations and bisimulations for fuzzy automata over the product structure. Fuzzy Sets Syst. 485 (2024)
Linh Anh Nguyen, Dat Xuan Tran
Computing crisp bisimulations for fuzzy structures. Int. J. Approx. Reason. 166 (2024)
Linh Anh Nguyen
Minimizing fuzzy interpretations in fuzzy description logics by using crisp bisimulations. Fuzzy Sets Syst. 481 (2024)
Miroslav Ciric, Ivana Micic, Stefan Stanimirovic, Linh Anh Nguyen
Approximate State Reduction of Fuzzy Finite Automata. AFL (2023)
Linh Anh Nguyen, Ivana Micic, Stefan Stanimirovic
Fuzzy Minimax Nets. IEEE Trans. Fuzzy Syst. 31 (8) (2023)
Ivana Micic, Jelena Matejic, Stefan Stanimirovic, Linh Anh Nguyen
Towards New Types of Weak Bisimulations for Fuzzy Automata Using the Product T-Norm. EUSFLAT/AGOP (2023)
Linh Anh Nguyen
Fuzzy simulations and bisimulations between fuzzy automata. Int. J. Approx. Reason. 155 (2023)
Linh Anh Nguyen, Ivana Micic, Stefan Stanimirovic
Depth-Bounded Fuzzy Simulations and Bisimulations between Fuzzy Automata. CoRR (2023)
Linh Anh Nguyen, Ngoc Thanh Nguyen
Logical Characterizations of Crisp Bisimulations in Fuzzy Description Logics. IEEE Trans. Fuzzy Syst. 31 (4) (2023)
Linh Anh Nguyen
Minimizing Fuzzy Interpretations in Fuzzy Description Logics by Using Crisp Bisimulations. CoRR (2023)
Linh Anh Nguyen, Ivana Micic, Stefan Stanimirovic
Depth-bounded fuzzy simulations and bisimulations between fuzzy automata. Fuzzy Sets Syst. 473 (2023)
Linh Anh Nguyen
Computing the fuzzy partition corresponding to the greatest fuzzy auto-bisimulation of a fuzzy graph-based structure under the Gödel semantics. Inf. Sci. 630 (2023)
Stefan Stanimirovic, Ivana Micic, Linh Anh Nguyen
On Relationships Between Approximate Bisimulations for Fuzzy Graphs and Their Approximation Degrees. EUSFLAT/AGOP (2023)
Linh Anh Nguyen
Computing crisp simulations for fuzzy labeled transition systems. J. Intell. Fuzzy Syst. 42 (4) (2022)
Linh Anh Nguyen
Fuzzy Simulations and Bisimulations between Fuzzy Automata. CoRR (2022)
Linh Anh Nguyen
Logical characterizations of fuzzy bisimulations in fuzzy modal logics over residuated lattices. Fuzzy Sets Syst. 431 (2022)
Linh Anh Nguyen, Ngoc-Thanh Nguyen
Logical Characterizations of Fuzzy Simulations. Cybern. Syst. 53 (5) (2022)
Ivana Micic, Linh Anh Nguyen, Stefan Stanimirovic
Characterization and computation of approximate bisimulations for fuzzy automata. Fuzzy Sets Syst. 442 (2022)
Linh Anh Nguyen
Computing the Fuzzy Partition Corresponding to the Greatest Fuzzy Auto-Bisimulation of a Fuzzy Graph-Based Structure. CoRR (2021)
Linh Anh Nguyen, Dat Xuan Tran
Computing Fuzzy Bisimulations for Fuzzy Structures Under the Gödel Semantics. IEEE Trans. Fuzzy Syst. 29 (7) (2021)
Linh Anh Nguyen
Logical Characterizations of Fuzzy Bisimulations in Fuzzy Modal Logics over Residuated Lattices. CoRR (2021)
Linh Anh Nguyen
Characterizing fuzzy simulations for fuzzy labeled transition systems in fuzzy propositional dynamic logic. Int. J. Approx. Reason. 135 (2021)
Linh Anh Nguyen, Ngoc Thanh Nguyen
Characterizing Crisp Simulations and Crisp Directed Simulations between Fuzzy Labeled Transition Systems by Using Fuzzy Modal Logics. FUZZ-IEEE (2021)
Linh Anh Nguyen, Ngoc Thanh Nguyen
Characterizing Crisp Simulations and Crisp Directed Simulations between Fuzzy Labeled Transition Systems by Using Fuzzy Modal Logics. CoRR (2021)
Linh Anh Nguyen, Andrzej Szalas
Optimization Models for Medical Procedures Relocation. KES (2021)
Linh Anh Nguyen, Quang-Thuy Ha, Ngoc Thanh Nguyen, Thi Hong Khanh Nguyen, Thanh-Luong Tran
Bisimulation and bisimilarity for fuzzy description logics under the Gödel semantics. CoRR (2020)
Linh Anh Nguyen
ExpTime Tableaux with Global Caching for Hybrid PDL. J. Autom. Reason. 64 (1) (2020)
Linh Anh Nguyen, Dat Xuan Tran
Computing Crisp Bisimulations for Fuzzy Structures. CoRR (2020)
Linh Anh Nguyen, Quang-Thuy Ha, Ngoc Thanh Nguyen, Thi Hong Khanh Nguyen, Thanh-Luong Tran
Bisimulation and bisimilarity for fuzzy description logics under the Gödel semantics. Fuzzy Sets Syst. 388 (2020)
Linh Anh Nguyen
Computing Crisp Simulations and Crisp Directed Simulations for Fuzzy Graph-Based Structures. CoRR (2020)
Son Thanh Cao, Linh Anh Nguyen
Incorporating Stratified Negation into Query-Subquery Nets for Evaluating Queries to Stratified Deductive Databases. Comput. Informatics 38 (1) (2019)
Linh Anh Nguyen, Ngoc Thanh Nguyen
Minimizing interpretations in fuzzy description logics under the Gödel semantics by using fuzzy bisimulations. J. Intell. Fuzzy Syst. 37 (6) (2019)
Linh Anh Nguyen
Bisimilarity in Fuzzy Description Logics Under the Zadeh Semantics. IEEE Trans. Fuzzy Syst. 27 (6) (2019)
Linh Anh Nguyen, Ngoc Thanh Nguyen
An expressive and tractable rule-based description language. Enterp. Inf. Syst. 13 (7-8) (2019)
Linh Anh Nguyen, Ngoc Thanh Nguyen
Bisimulations for Fuzzy Description Logics with Involutive Negation Under the Gödel Semantics. ICCCI (1) (2019)
Linh Anh Nguyen
The Influence of the Test Operator on the Expressive Power of PDL-like Logics. J. Log. Comput. 29 (8) (2019)
Ali Rezaei Divroodi, Quang-Thuy Ha, Linh Anh Nguyen, Hung Son Nguyen
On the possibility of correct concept learning in description logics. Vietnam. J. Comput. Sci. 5 (1) (2018)
Linh Anh Nguyen
The Influence of the Test Operator on the Expressive Powers of PDL-Like Logics. CS&P (2018)
Quang-Thuy Ha, Linh Anh Nguyen, Thi Hong Khanh Nguyen, Thanh-Luong Tran
Fuzzy Bisimulations in Fuzzy Description Logics Under the Gödel Semantics. IJCSR (2018)
Linh Anh Nguyen
Computing Bisimulation-Based Comparisons. Fundam. Informaticae 157 (4) (2018)
Linh Anh Nguyen, Thi Hong Khanh Nguyen, Ngoc Thanh Nguyen, Quang-Thuy Ha
Bisimilarity for paraconsistent description logics. J. Intell. Fuzzy Syst. 32 (2) (2017)
Son Thanh Cao, Linh Anh Nguyen, Ngoc Thanh Nguyen
Extending Query-Subquery Nets for Deductive Databases under the Well-Founded Semantics. Cybern. Syst. 48 (3) (2017)
Ali Rezaei Divroodi, Linh Anh Nguyen
On directed simulations in description logics. J. Log. Comput. 27 (7) (2017)
Linh Anh Nguyen
ExpTime Tableaux with Global Caching for Hybrid PDL. CoRR (2017)
Son Thanh Cao, Linh Anh Nguyen
Query-subquery nets for Horn knowledge bases in first-order logic. J. Inf. Telecommun. 1 (1) (2017)
Linh Anh Nguyen, Thi Hong Khanh Nguyen, Ngoc Thanh Nguyen, Quang-Thuy Ha
Bisimilarity for paraconsistent description logics. SMC (2016)
Linh Anh Nguyen
ExpTime Tableaux with Global Caching for Graded Propositional Dynamic Logic. Fundam. Informaticae 147 (2-3) (2016)
Linh Anh Nguyen
Design of the Tableau Reasoner TGC2 for Description Logics. Int. J. Softw. Eng. Knowl. Eng. 26 (8) (2016)
Linh Anh Nguyen
A Tractable Rule Language in the Modal and Description Logic that Combines CPDL with Regular Grammar Logic. Fundam. Informaticae 143 (1-2) (2016)
Linh Anh Nguyen
Computing Bisimulation-Based Comparisons. CS&P (2016)
Ali Rezaei Divroodi, Linh Anh Nguyen
On bisimulations for description logics. Inf. Sci. 295 (2015)
Linh Anh Nguyen
Designing a Tableau Reasoner for Description Logics. ICCSAMA (2015)
Thanh-Luong Tran, Linh Anh Nguyen, Thi-Lan-Giao Hoang
Bisimulation-based concept learning for information systems in description logics. Vietnam. J. Comput. Sci. 2 (3) (2015)
Linh Anh Nguyen, Thi-Bich-Loc Nguyen, Andrzej Szalas
Towards richer rule languages with polynomial data complexity for the Semantic Web. Data Knowl. Eng. 96 (2015)
Linh Anh Nguyen
ExpTime Tableaux with Global Caching for Graded Propositional Dynamic Logic. CS&P (2015)
Linh Anh Nguyen, Joanna Golinska-Pilarek
An ExpTime Tableau Method for Dealing with Nominals and Qualified Number Restrictions in Deciding the Description Logic SHOQ. Fundam. Informaticae 135 (4) (2014)
Thanh-Luong Tran, Quang-Thuy Ha, Thi-Lan-Giao Hoang, Linh Anh Nguyen, Hung Son Nguyen
Bisimulation-Based Concept Learning in Description Logics. Fundam. Informaticae 133 (2-3) (2014)
Son Thanh Cao, Linh Anh Nguyen, Andrzej Szalas
The Web Ontology Rule Language OWL 2 RL + and Its Extensions. Trans. Comput. Collect. Intell. 13 (2014)
Son Thanh Cao, Linh Anh Nguyen
An Empirical Approach to Query-Subquery Nets with Tail-Recursion Elimination. ADBIS (2) (2014)
Linh Anh Nguyen, Joanna Golinska-Pilarek
ExpTime Tableaux with Global Caching for the Description Logic SHOQ. CoRR (2014)
Linh Anh Nguyen
A Tractable Rule Language in the Modal and Description Logics that Combine CPDL with Regular Grammar Logic. CS&P (2014)
Son Thanh Cao, Linh Anh Nguyen, Andrzej Szalas
WORL: a nonmonotonic rule language for the semantic web. Vietnam. J. Comput. Sci. 1 (1) (2014)
Thanh-Luong Tran, Linh Anh Nguyen, Thi-Lan-Giao Hoang
A Domain Partitioning Method for Bisimulation-Based Concept Learning in Description Logics. ICCSAMA (2014)
Linh Anh Nguyen
ExpTime tableaux with global state caching for the description logic SHIO. Neurocomputing 146 (2014)
Son Thanh Cao, Linh Anh Nguyen
An Improved Depth-First Control Strategy for Query-Subquery Nets in Evaluating Queries to Horn Knowledge Bases. ICCSAMA (2014)
Thanh-Luong Tran, Quang-Thuy Ha, Thi-Lan-Giao Hoang, Linh Anh Nguyen, Hung Son Nguyen
Bisimulation-Based Concept Learning in Description Logics. CS&P (2013)
Linh Anh Nguyen
Cut-Free ExpTime Tableaux for Converse-PDL Extended with Regular Inclusion Axioms. KES-AMSTA (2013)
Ali Rezaei Divroodi, Linh Anh Nguyen
Bisimulation-Based Comparisons for Interpretations in Description Logics. Description Logics (2013)
Rajeev Goré, Linh Anh Nguyen
Using Sound Global Caching. J. Autom. Reason. 50 (4) (2013)
Linh Anh Nguyen, Joanna Golinska-Pilarek
An ExpTime Tableau Method for Dealing with Nominals and Quantified Number Restrictions in Deciding the Description Logic SHOQ. CS&P (2013)
Ali Rezaei Divroodi, Linh Anh Nguyen
Bisimulation-Based Comparisons for Interpretations in Description Logics CoRR (2013)
Linh Anh Nguyen, Andrzej Szalas
On the Horn Fragments of Serial Regular Grammar Logics with Converse. KES-AMSTA (2013)
Linh Anh Nguyen, Thi-Bich-Loc Nguyen, Andrzej Szalas
On Horn Knowledge Bases in Regular Description Logic with Inverse. KSE (1) (2013)
Linh Anh Nguyen, Thi-Bich-Loc Nguyen, Andrzej Szalas
HornDL: An Expressive Horn Description Logic with PTime Data Complexity. RR (2013)
Barbara Dunin-Keplicz, Linh Anh Nguyen, Andrzej Szalas
Horn-TeamLog: A Horn Fragment of TeamLog with PTime Data Complexity. ICCCI (2013)
Thanh-Luong Tran, Quang-Thuy Ha, Thi-Lan-Giao Hoang, Linh Anh Nguyen, Hung Son Nguyen, Andrzej Szalas
Concept Learning for Description Logic-Based Information Systems. KSE (2012)
Linh Anh Nguyen, Andrzej Szalas
Paraconsistent Reasoning for Semantic Web Agents. Trans. Comput. Collect. Intell. 6 (2012)
Linh Anh Nguyen, Son Thanh Cao
Query-Subquery Nets. ICCCI (1) (2012)
Linh Anh Nguyen, Son Thanh Cao
Query-Subquery Nets CoRR (2012)
Ewa Madalinska-Bugaj, Linh Anh Nguyen
A Generalized QSQR Evaluation Method for Horn Knowledge Bases. ACM Trans. Comput. Log. 13 (4) (2012)
Quang-Thuy Ha, Thi-Lan-Giao Hoang, Linh Anh Nguyen, Hung Son Nguyen, Andrzej Szalas, Thanh-Luong Tran
A bisimulation-based method of concept learning for knowledge bases in description logics. SoICT (2012)
Ali Rezaei Divroodi, Quang-Thuy Ha, Linh Anh Nguyen, Hung Son Nguyen
On C-Learnability in Description Logics. ICCCI (1) (2012)
Linh Anh Nguyen
ExpTime Tableaux for the Description Logic SHIQ Based on Global State Caching and Integer Linear Feasibility Checking CoRR (2012)
Son Thanh Cao, Linh Anh Nguyen, Andrzej Szalas
On the Web Ontology Rule Language OWL 2 RL. ICCCI (1) (2011)
Son Thanh Cao, Linh Anh Nguyen, Andrzej Szalas
WORL: A Web Ontology Rule Language. KSE (2011)
Linh Anh Nguyen
A Cut-Free ExpTime Tableau Decision Procedure for the Description Logic SHI. ICCCI (1) (2011)
Linh Anh Nguyen
A Cut-Free ExpTime Tableau Decision Procedure for the Logic Extending Converse-PDL with Regular Inclusion Axioms CoRR (2011)
Ali Rezaei Divroodi, Linh Anh Nguyen
On Bisimulations for Description Logics CoRR (2011)
Linh Anh Nguyen
Cut-Free ExpTime Tableaux for Checking Satisfiability of a Knowledge Base in the Description Logic SHI CoRR (2011)
Linh Anh Nguyen, Andrzej Szalas
ExpTime Tableau Decision Procedures for Regular Grammar Logics with Converse. Stud Logica 98 (3) (2011)
Linh Anh Nguyen
\mathcal{ALCI}. ISMIS (2011)
Barbara Dunin-Keplicz, Linh Anh Nguyen, Andrzej Szalas
Converse-PDL with regular inclusion axioms: a framework for MAS logics. J. Appl. Non Class. Logics 21 (1) (2011)
Barbara Dunin-Keplicz, Linh Anh Nguyen, Andrzej Szalas
A Framework for Graded Beliefs, Goals and Intentions. Fundam. Informaticae 100 (1-4) (2010)
Barbara Dunin-Keplicz, Linh Anh Nguyen, Andrzej Szalas
A layered rule-based architecture for approximate knowledge fusion? Comput. Sci. Inf. Syst. 7 (3) (2010)
Barbara Dunin-Keplicz, Linh Anh Nguyen, Andrzej Szalas
Tractable approximate knowledge fusion using the Horn fragment of serial propositional dynamic logic. Int. J. Approx. Reason. 51 (3) (2010)
Linh Anh Nguyen, Andrzej Szalas
Checking Consistency of an ABox w.r.t. Global Assumptions in PDL. Fundam. Informaticae 102 (1) (2010)
Linh Anh Nguyen
Paraconsistent and Approximate Semantics for the OWL 2 Web Ontology Language. RSCTC (2010)
Linh Anh Nguyen
Horn Knowledge Bases in Regular Description Logics with PTIME Data Complexity. Fundam. Informaticae 104 (4) (2010)
Linh Anh Nguyen, Andrzej Szalas
Three-Valued Paraconsistent Reasoning for Semantic Web Agents. KES-AMSTA (1) (2010)

Linh Anh Nguyen.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Linh Anh Nguyen