A New Space Bound for the Modal Logics K4, KD4 and S4. - Linh Anh Nguyen (MFCS, 1999)

Sequent-Like Tableau Systems with the Analytic Superformula Property for the Modal Logics KB, KDB, K5, KD5. - Linh Anh Nguyen (TABLEAUX, 2000)

Constructing the Least Models for Positive Modal Logic Programs. - Linh Anh Nguyen (Fundam. Informaticae, 2000)

The Modal Query Language MDatalog. - Linh Anh Nguyen (Fundam. Informaticae, 2001)

Analytic Tableau Systems and Interpolation for the Modal Logics KB, KDB, K5, KD5. - Linh Anh Nguyen (Stud Logica, 2001)

Analytic Tableau Systems for Propositional Bimodal Logics of Knowledge and Belief. - Linh Anh Nguyen (TABLEAUX, 2002)

A Fixpoint Semantics and an SLD-Resolution Calculus for Modal Logic Programs. - Linh Anh Nguyen (Fundam. Informaticae, 2003)

On the Complexity of Fragments of Modal Logics. - Linh Anh Nguyen (Advances in Modal Logic, 2004)

MProlog: An Extension of Prolog for Modal Logic Programming. - Linh Anh Nguyen (ICLP, 2004)

The Modal Logic Programming System MProlog. - Linh Anh Nguyen (JELIA, 2004)

Negative Hyper-resolution as Procedural Semantics of Disjunctive Logic Programs. - Linh Anh Nguyen (JELIA, 2004)

On Modal Deductive Databases. - Linh Anh Nguyen (ADBIS, 2005)

Reasoning About Epistemic States of Agents by Modal Logic Programming. - Linh Anh Nguyen (CLIMA, 2005)

An SLD-Resolution Calculus for Basic Serial Multimodal Logics. - Linh Anh Nguyen (ICTAC, 2005)

A Tableau Calculus with Automaton-Labelled Formulae for Regular Grammar Logics. - Rajeev Goré; Linh Anh Nguyen (TABLEAUX, 2005)

Completeness of hyper-resolution via the semantics of disjunctive logic programs. - Linh Anh Nguyen; Rajeev Goré (Inf. Process. Lett., 2005)

On the Deterministic Horn Fragment of Test-free PDL. - Linh Anh Nguyen (Advances in Modal Logic, 2006)

A Bottom-Up Method for the Deterministic Horn Fragment of the Description Logic ALC. - Linh Anh Nguyen (JELIA, 2006)

The Data Complexity of MDatalog in Basic Modal Logics. - Linh Anh Nguyen (MFCS, 2006)

Negative Ordered Hyper-Resolution as a Proof Procedure for Disjunctive Logic Programming. - Linh Anh Nguyen (Fundam. Informaticae, 2006)

Multimodal logic programming. - Linh Anh Nguyen (Theor. Comput. Sci., 2006)

Analytic Cut-Free Tableaux for Regular Modal Logics of Agent Beliefs. - Rajeev Goré; Linh Anh Nguyen (CLIMA, 2007)

EXPTIME Tableaux for ALC Using Sound Global Caching. - Rajeev Goré; Linh Anh Nguyen (Description Logics, 2007)

Approximating Horn Knowledge Bases in Regular Description Logics to Have PTIME Data Complexity. - Linh Anh Nguyen (ICLP, 2007)

EXPTIME Tableaux with Global Caching for Description Logics with Transitive Roles, Inverse Roles and Role Hierarchies. - Rajeev Goré; Linh Anh Nguyen (TABLEAUX, 2007)

Foundations of Modal Deductive Databases. - Linh Anh Nguyen (Fundam. Informaticae, 2007)

Constructing Finite Least Kripke Models for Positive Logic Programs in Serial Regular Grammar Logics. - Linh Anh Nguyen (Log. J. IGPL, 2008)

Generalizing the QSQR Evaluation Method for Horn Knowledge Bases. - Ewa Madalinska-Bugaj; Linh Anh Nguyen (New Challenges in Applied Intelligence Technologies, 2008)

A Tableau Calculus for Regular Grammar Logics with Converse. - Linh Anh Nguyen; Andrzej Szalas (CADE, 2009)

ExpTime Tableaux for Checking Satisfiability of a Knowledge Base in the Description Logic ALC mathcal{ALC}. - Linh Anh Nguyen; Andrzej Szalas (ICCCI, 2009)

Fusing Approximate Knowledge from Distributed Sources. - Barbara Dunin-Keplicz; Linh Anh Nguyen; Andrzej Szalas (IDC, 2009)

Optimal Tableau Decision Procedures for PDL - Linh Anh Nguyen; Andrzej Szalas (CoRR, 2009)

Clausal Tableaux for Multimodal Logics of Belief. - Rajeev Goré; Linh Anh Nguyen (Fundam. Informaticae, 2009)

An Efficient Tableau Prover using Global Caching for the Description Logic ALC. - Linh Anh Nguyen (Fundam. Informaticae, 2009)

Modal logic programming revisited. - Linh Anh Nguyen (J. Appl. Non Class. Logics, 2009)

Three-Valued Paraconsistent Reasoning for Semantic Web Agents. - Linh Anh Nguyen; Andrzej Szalas (KES-AMSTA (1), 2010)

Paraconsistent and Approximate Semantics for the OWL 2 Web Ontology Language. - Linh Anh Nguyen (RSCTC, 2010)

A layered rule-based architecture for approximate knowledge fusion? - Barbara Dunin-Keplicz; Linh Anh Nguyen; Andrzej Szalas (Comput. Sci. Inf. Syst., 2010)

A Framework for Graded Beliefs, Goals and Intentions. - Barbara Dunin-Keplicz; Linh Anh Nguyen; Andrzej Szalas (Fundam. Informaticae, 2010)

Horn Knowledge Bases in Regular Description Logics with PTIME Data Complexity. - Linh Anh Nguyen (Fundam. Informaticae, 2010)

Checking Consistency of an ABox w.r.t. Global Assumptions in PDL. - Linh Anh Nguyen; Andrzej Szalas (Fundam. Informaticae, 2010)

Tractable approximate knowledge fusion using the Horn fragment of serial propositional dynamic logic. - Barbara Dunin-Keplicz; Linh Anh Nguyen; Andrzej Szalas (Int. J. Approx. Reason., 2010)

Tableaux with Global Caching for Checking Satisfiability of a Knowledge Base in the Description Logic SH. - Linh Anh Nguyen; Andrzej Szalas (Trans. Comput. Collect. Intell., 2010)

On the Web Ontology Rule Language OWL 2 RL. - Son Thanh Cao; Linh Anh Nguyen; Andrzej Szalas (ICCCI (1), 2011)

A Cut-Free ExpTime Tableau Decision Procedure for the Description Logic SHI. - Linh Anh Nguyen (ICCCI (1), 2011)

Cut-Free ExpTime Tableaux for Checking Satisfiability of a Knowledge Base in the Description Logic ALCI mathcal{ALCI}. - Linh Anh Nguyen (ISMIS, 2011)

WORL: A Web Ontology Rule Language. - Son Thanh Cao; Linh Anh Nguyen; Andrzej Szalas (KSE, 2011)

A Cut-Free ExpTime Tableau Decision Procedure for the Logic Extending Converse-PDL with Regular Inclusion Axioms - Linh Anh Nguyen (CoRR, 2011)

Cut-Free ExpTime Tableaux for Checking Satisfiability of a Knowledge Base in the Description Logic SHI - Linh Anh Nguyen (CoRR, 2011)

Converse-PDL with regular inclusion axioms: a framework for MAS logics. - Barbara Dunin-Keplicz; Linh Anh Nguyen; Andrzej Szalas (J. Appl. Non Class. Logics, 2011)

ExpTime Tableau Decision Procedures for Regular Grammar Logics with Converse. - Linh Anh Nguyen; Andrzej Szalas (Stud Logica, 2011)

On C-Learnability in Description Logics. - Ali Rezaei Divroodi; Quang-Thuy Ha; Linh Anh Nguyen; Hung Son Nguyen (ICCCI (1), 2012)

Query-Subquery Nets. - Linh Anh Nguyen; Son Thanh Cao (ICCCI (1), 2012)

Concept Learning for Description Logic-Based Information Systems. - Thanh-Luong Tran; Quang-Thuy Ha; Thi-Lan-Giao Hoang; Linh Anh Nguyen; Hung Son Nguyen; Andrzej Szalas (KSE, 2012)

A bisimulation-based method of concept learning for knowledge bases in description logics. - Quang-Thuy Ha; Thi-Lan-Giao Hoang; Linh Anh Nguyen; Hung Son Nguyen; Andrzej Szalas; Thanh-Luong Tran (SoICT, 2012)

ExpTime Tableaux for the Description Logic SHIQ Based on Global State Caching and Integer Linear Feasibility Checking - Linh Anh Nguyen (CoRR, 2012)

Paraconsistent Reasoning for Semantic Web Agents. - Linh Anh Nguyen; Andrzej Szalas (Trans. Comput. Collect. Intell., 2012)

A Generalized QSQR Evaluation Method for Horn Knowledge Bases. - Ewa Madalinska-Bugaj; Linh Anh Nguyen (ACM Trans. Comput. Log., 2012)

On Designing the SONCA System. - Linh Anh Nguyen; Hung Son Nguyen (Intelligent Tools for Building a Scientific Information Platform, 2012)

An ExpTime Tableau Method for Dealing with Nominals and Quantified Number Restrictions in Deciding the Description Logic SHOQ. - Linh Anh Nguyen; Joanna Golinska-Pilarek (CS&P, 2013)

Bisimulation-Based Comparisons for Interpretations in Description Logics. - Ali Rezaei Divroodi; Linh Anh Nguyen (Description Logics, 2013)

Horn-TeamLog: A Horn Fragment of TeamLog with PTime Data Complexity. - Barbara Dunin-Keplicz; Linh Anh Nguyen; Andrzej Szalas (ICCCI, 2013)

Cut-Free ExpTime Tableaux for Converse-PDL Extended with Regular Inclusion Axioms. - Linh Anh Nguyen (KES-AMSTA, 2013)

On the Horn Fragments of Serial Regular Grammar Logics with Converse. - Linh Anh Nguyen; Andrzej Szalas (KES-AMSTA, 2013)

On Horn Knowledge Bases in Regular Description Logic with Inverse. - Linh Anh Nguyen; Thi-Bich-Loc Nguyen; Andrzej Szalas (KSE (1), 2013)

HornDL: An Expressive Horn Description Logic with PTime Data Complexity. - Linh Anh Nguyen; Thi-Bich-Loc Nguyen; Andrzej Szalas (RR, 2013)

ExpTime Tableaux for ALC Using Sound Global Caching. - Rajeev Goré; Linh Anh Nguyen (J. Autom. Reason., 2013)

Logic-Based Roughification. - Linh Anh Nguyen; Andrzej Szalas (Rough Sets and Intelligent Systems (1), 2013)

A Tableau Method with Optimal Complexity for Deciding the Description Logic SHIQ. - Linh Anh Nguyen (Advanced Computational Methods for Knowledge Engineering, 2013)

An Empirical Approach to Query-Subquery Nets with Tail-Recursion Elimination. - Son Thanh Cao; Linh Anh Nguyen (ADBIS (2), 2014)

A Tractable Rule Language in the Modal and Description Logics that Combine CPDL with Regular Grammar Logic. - Linh Anh Nguyen (CS&P, 2014)

An Improved Depth-First Control Strategy for Query-Subquery Nets in Evaluating Queries to Horn Knowledge Bases. - Son Thanh Cao; Linh Anh Nguyen (ICCSAMA, 2014)

A Domain Partitioning Method for Bisimulation-Based Concept Learning in Description Logics. - Thanh-Luong Tran; Linh Anh Nguyen; Thi-Lan-Giao Hoang (ICCSAMA, 2014)

ExpTime Tableaux with Global Caching for the Description Logic SHOQ. - Linh Anh Nguyen; Joanna Golinska-Pilarek (CoRR, 2014)

An ExpTime Tableau Method for Dealing with Nominals and Qualified Number Restrictions in Deciding the Description Logic SHOQ. - Linh Anh Nguyen; Joanna Golinska-Pilarek (Fundam. Informaticae, 2014)

Bisimulation-Based Concept Learning in Description Logics. - Thanh-Luong Tran; Quang-Thuy Ha; Thi-Lan-Giao Hoang; Linh Anh Nguyen; Hung Son Nguyen (Fundam. Informaticae, 2014)

ExpTime tableaux with global state caching for the description logic SHIO. - Linh Anh Nguyen (Neurocomputing, 2014)

The Web Ontology Rule Language OWL 2 RL + and Its Extensions. - Son Thanh Cao; Linh Anh Nguyen; Andrzej Szalas (Trans. Comput. Collect. Intell., 2014)

WORL: a nonmonotonic rule language for the semantic web. - Son Thanh Cao; Linh Anh Nguyen; Andrzej Szalas (Vietnam. J. Comput. Sci., 2014)

Designing a Tableau Reasoner for Description Logics. - Linh Anh Nguyen (ICCSAMA, 2015)

Towards richer rule languages with polynomial data complexity for the Semantic Web. - Linh Anh Nguyen; Thi-Bich-Loc Nguyen; Andrzej Szalas (Data Knowl. Eng., 2015)

On bisimulations for description logics. - Ali Rezaei Divroodi; Linh Anh Nguyen (Inf. Sci., 2015)

Bisimulation-based concept learning for information systems in description logics. - Thanh-Luong Tran; Linh Anh Nguyen; Thi-Lan-Giao Hoang (Vietnam. J. Comput. Sci., 2015)

A Tractable Rule Language in the Modal and Description Logic that Combines CPDL with Regular Grammar Logic. - Linh Anh Nguyen (Fundam. Informaticae, 2016)

ExpTime Tableaux with Global Caching for Graded Propositional Dynamic Logic. - Linh Anh Nguyen (Fundam. Informaticae, 2016)

Design of the Tableau Reasoner TGC2 for Description Logics. - Linh Anh Nguyen (Int. J. Softw. Eng. Knowl. Eng., 2016)

Extending Query-Subquery Nets for Deductive Databases under the Well-Founded Semantics. - Son Thanh Cao; Linh Anh Nguyen; Ngoc Thanh Nguyen 001 (Cybern. Syst., 2017)

Query-subquery nets for Horn knowledge bases in first-order logic. - Son Thanh Cao; Linh Anh Nguyen (J. Inf. Telecommun., 2017)

Bisimilarity for paraconsistent description logics. - Linh Anh Nguyen; Thi Hong Khanh Nguyen; Ngoc Thanh Nguyen 001; Quang-Thuy Ha (J. Intell. Fuzzy Syst., 2017)

On directed simulations in description logics. - Ali Rezaei Divroodi; Linh Anh Nguyen (J. Log. Comput., 2017)

The Influence of the Test Operator on the Expressive Powers of PDL-Like Logics. - Linh Anh Nguyen (CS&P, 2018)

Fuzzy Bisimulations in Fuzzy Description Logics Under the Gödel Semantics. - Quang-Thuy Ha; Linh Anh Nguyen; Thi Hong Khanh Nguyen; Thanh-Luong Tran (IJCSR, 2018)

Computing Bisimulation-Based Comparisons. - Linh Anh Nguyen (Fundam. Informaticae, 2018)

On the possibility of correct concept learning in description logics. - Ali Rezaei Divroodi; Quang-Thuy Ha; Linh Anh Nguyen; Hung Son Nguyen (Vietnam. J. Comput. Sci., 2018)

Bisimulations for Fuzzy Description Logics with Involutive Negation Under the Gödel Semantics. - Linh Anh Nguyen; Ngoc Thanh Nguyen 001 (ICCCI (1), 2019)

Incorporating Stratified Negation into Query-Subquery Nets for Evaluating Queries to Stratified Deductive Databases. - Son Thanh Cao; Linh Anh Nguyen (Comput. Informatics, 2019)

An expressive and tractable rule-based description language. - Linh Anh Nguyen; Ngoc Thanh Nguyen 001 (Enterp. Inf. Syst., 2019)

Minimizing interpretations in fuzzy description logics under the Gödel semantics by using fuzzy bisimulations. - Linh Anh Nguyen; Ngoc Thanh Nguyen 001 (J. Intell. Fuzzy Syst., 2019)

The Influence of the Test Operator on the Expressive Power of PDL-like Logics. - Linh Anh Nguyen (J. Log. Comput., 2019)

Bisimilarity in Fuzzy Description Logics Under the Zadeh Semantics. - Linh Anh Nguyen (IEEE Trans. Fuzzy Syst., 2019)

Computing Crisp Simulations and Crisp Directed Simulations for Fuzzy Graph-Based Structures. - Linh Anh Nguyen (CoRR, 2020)

Bisimulation and bisimilarity for fuzzy description logics under the Gödel semantics. - Linh Anh Nguyen; Quang-Thuy Ha; Ngoc Thanh Nguyen 001; Thi Hong Khanh Nguyen; Thanh-Luong Tran (Fuzzy Sets Syst., 2020)

ExpTime Tableaux with Global Caching for Hybrid PDL. - Linh Anh Nguyen (J. Autom. Reason., 2020)

Characterizing Crisp Simulations and Crisp Directed Simulations between Fuzzy Labeled Transition Systems by Using Fuzzy Modal Logics. - Linh Anh Nguyen; Ngoc Thanh Nguyen 001 (FUZZ-IEEE, 2021)

Optimization Models for Medical Procedures Relocation. - Linh Anh Nguyen; Andrzej Szalas (KES, 2021)

Computing the Fuzzy Partition Corresponding to the Greatest Fuzzy Auto-Bisimulation of a Fuzzy Graph-Based Structure. - Linh Anh Nguyen (CoRR, 2021)

Characterizing fuzzy simulations for fuzzy labeled transition systems in fuzzy propositional dynamic logic. - Linh Anh Nguyen (Int. J. Approx. Reason., 2021)

Computing Fuzzy Bisimulations for Fuzzy Structures Under the Gödel Semantics. - Linh Anh Nguyen; Dat Xuan Tran (IEEE Trans. Fuzzy Syst., 2021)

Logical Characterizations of Fuzzy Simulations. - Linh Anh Nguyen; Ngoc-Thanh Nguyen 001 (Cybern. Syst., 2022)

Characterization and computation of approximate bisimulations for fuzzy automata. - Ivana Micic; Linh Anh Nguyen; Stefan Stanimirovic (Fuzzy Sets Syst., 2022)

Logical characterizations of fuzzy bisimulations in fuzzy modal logics over residuated lattices. - Linh Anh Nguyen (Fuzzy Sets Syst., 2022)

Computing crisp simulations for fuzzy labeled transition systems. - Linh Anh Nguyen (J. Intell. Fuzzy Syst., 2022)

Towards New Types of Weak Bisimulations for Fuzzy Automata Using the Product T-Norm. - Ivana Micic; Jelena Matejic; Stefan Stanimirovic; Linh Anh Nguyen (EUSFLAT/AGOP, 2023)

On Relationships Between Approximate Bisimulations for Fuzzy Graphs and Their Approximation Degrees. - Stefan Stanimirovic; Ivana Micic; Linh Anh Nguyen (EUSFLAT/AGOP, 2023)

Approximate State Reduction of Fuzzy Finite Automata. - Miroslav Ciric 001; Ivana Micic; Stefan Stanimirovic; Linh Anh Nguyen (AFL, 2023)

Fuzzy Minimax Nets. - Linh Anh Nguyen; Ivana Micic; Stefan Stanimirovic (IEEE Trans. Fuzzy Syst., 2023)

Fuzzy simulations and bisimulations between fuzzy automata. - Linh Anh Nguyen (Int. J. Approx. Reason., 2023)

Logical Characterizations of Crisp Bisimulations in Fuzzy Description Logics. - Linh Anh Nguyen; Ngoc Thanh Nguyen 001 (IEEE Trans. Fuzzy Syst., 2023)

Computing the fuzzy partition corresponding to the greatest fuzzy auto-bisimulation of a fuzzy graph-based structure under the Gödel semantics. - Linh Anh Nguyen (Inf. Sci., 2023)

Depth-bounded fuzzy simulations and bisimulations between fuzzy automata. - Linh Anh Nguyen; Ivana Micic; Stefan Stanimirovic (Fuzzy Sets Syst., 2023)

Efficient algorithms for computing bisimulations for nondeterministic fuzzy transition systems. - Linh Anh Nguyen (CoRR, 2024)

Approximate weak simulations and bisimulations for fuzzy automata over the product structure. - Ivana Micic; Miroslav Ciric 001; Jelena Matejic; Stefan Stanimirovic; Linh Anh Nguyen (Fuzzy Sets Syst., 2024)

Minimizing fuzzy interpretations in fuzzy description logics by using crisp bisimulations. - Linh Anh Nguyen (Fuzzy Sets Syst., 2024)

Computing crisp bisimulations for fuzzy structures. - Linh Anh Nguyen; Dat Xuan Tran (Int. J. Approx. Reason., 2024)