Linh Anh Nguyen

145 papers A 1B 18C 3Misc 1Journal 86Unranked 32
YearRankTypeTitle / Venue / Authors
2025 J jnl
Approximate minimization of interpretations in fuzzy description logics under the Gödel semantics.
CoRR
Linh Anh Nguyen
2025 J jnl
Approximate state reduction of fuzzy finite automata.
Fuzzy Sets Syst.
Stefan Stanimirovic, Linh Anh Nguyen, Miroslav Ciric, Marko Stankovic
2025 J jnl
Breadth-first fuzzy bisimulations for fuzzy automata.
Fuzzy Sets Syst.
Stefan Stanimirovic, Linh Anh Nguyen, Miroslav Ciric, Marko Stankovic
2025 J jnl
Depth-Bounded Fuzzy Bisimulation for Fuzzy Modal Logic.
Cybern. Syst.
Linh Anh Nguyen, Ivana Micic, Ngoc-Thanh Nguyen, Stefan Stanimirovic
2025 J jnl
Efficient algorithms for computing bisimulations for nondeterministic fuzzy transition systems.
Fuzzy Sets Syst.
Linh Anh Nguyen
2025 J jnl
Soft state reduction of fuzzy automata over residuated lattices.
CoRR
Linh Anh Nguyen, Son Thanh Cao, Stefan Stanimirovic
2024 J jnl
Approximate weak simulations and bisimulations for fuzzy automata over the product structure.
Fuzzy Sets Syst.
Ivana Micic, Miroslav Ciric, Jelena Matejic, Stefan Stanimirovic, Linh Anh Nguyen
2024 J jnl
Computing crisp bisimulations for fuzzy structures.
Int. J. Approx. Reason.
Linh Anh Nguyen, Dat Xuan Tran
2024 J jnl
Efficient algorithms for computing bisimulations for nondeterministic fuzzy transition systems.
CoRR
Linh Anh Nguyen
2024 J jnl
Minimizing fuzzy interpretations in fuzzy description logics by using crisp bisimulations.
Fuzzy Sets Syst.
Linh Anh Nguyen
2023 — conf
Approximate State Reduction of Fuzzy Finite Automata.
AFL
Miroslav Ciric, Ivana Micic, Stefan Stanimirovic, Linh Anh Nguyen
2023 J jnl
Computing the fuzzy partition corresponding to the greatest fuzzy auto-bisimulation of a fuzzy graph-based structure under the Gödel semantics.
Inf. Sci.
Linh Anh Nguyen
2023 J jnl
Depth-Bounded Fuzzy Simulations and Bisimulations between Fuzzy Automata.
CoRR
Linh Anh Nguyen, Ivana Micic, Stefan Stanimirovic
2023 J jnl
Depth-bounded fuzzy simulations and bisimulations between fuzzy automata.
Fuzzy Sets Syst.
Linh Anh Nguyen, Ivana Micic, Stefan Stanimirovic
2023 J jnl
Fuzzy Minimax Nets.
IEEE Trans. Fuzzy Syst.
Linh Anh Nguyen, Ivana Micic, Stefan Stanimirovic
2023 J jnl
Fuzzy simulations and bisimulations between fuzzy automata.
Int. J. Approx. Reason.
Linh Anh Nguyen
2023 J jnl
Logical Characterizations of Crisp Bisimulations in Fuzzy Description Logics.
IEEE Trans. Fuzzy Syst.
Linh Anh Nguyen, Ngoc Thanh Nguyen
2023 J jnl
Minimizing Fuzzy Interpretations in Fuzzy Description Logics by Using Crisp Bisimulations.
CoRR
Linh Anh Nguyen
2023 — conf
On Relationships Between Approximate Bisimulations for Fuzzy Graphs and Their Approximation Degrees.
EUSFLAT/AGOP
Stefan Stanimirovic, Ivana Micic, Linh Anh Nguyen
2023 — conf
Towards New Types of Weak Bisimulations for Fuzzy Automata Using the Product T-Norm.
EUSFLAT/AGOP
Ivana Micic, Jelena Matejic, Stefan Stanimirovic, Linh Anh Nguyen
2022 J jnl
Characterization and computation of approximate bisimulations for fuzzy automata.
Fuzzy Sets Syst.
Ivana Micic, Linh Anh Nguyen, Stefan Stanimirovic
2022 J jnl
Computing crisp simulations for fuzzy labeled transition systems.
J. Intell. Fuzzy Syst.
Linh Anh Nguyen
2022 J jnl
Fuzzy Simulations and Bisimulations between Fuzzy Automata.
CoRR
Linh Anh Nguyen
2022 J jnl
Logical Characterizations of Fuzzy Simulations.
Cybern. Syst.
Linh Anh Nguyen, Ngoc-Thanh Nguyen
2022 J jnl
Logical characterizations of fuzzy bisimulations in fuzzy modal logics over residuated lattices.
Fuzzy Sets Syst.
Linh Anh Nguyen
2021 B conf
Characterizing Crisp Simulations and Crisp Directed Simulations between Fuzzy Labeled Transition Systems by Using Fuzzy Modal Logics.
FUZZ-IEEE
Linh Anh Nguyen, Ngoc Thanh Nguyen
2021 J jnl
Characterizing Crisp Simulations and Crisp Directed Simulations between Fuzzy Labeled Transition Systems by Using Fuzzy Modal Logics.
CoRR
Linh Anh Nguyen, Ngoc Thanh Nguyen
2021 J jnl
Characterizing fuzzy simulations for fuzzy labeled transition systems in fuzzy propositional dynamic logic.
Int. J. Approx. Reason.
Linh Anh Nguyen
2021 J jnl
Computing Fuzzy Bisimulations for Fuzzy Structures Under the Gödel Semantics.
IEEE Trans. Fuzzy Syst.
Linh Anh Nguyen, Dat Xuan Tran
2021 J jnl
Computing the Fuzzy Partition Corresponding to the Greatest Fuzzy Auto-Bisimulation of a Fuzzy Graph-Based Structure.
CoRR
Linh Anh Nguyen
2021 J jnl
Logical Characterizations of Fuzzy Bisimulations in Fuzzy Modal Logics over Residuated Lattices.
CoRR
Linh Anh Nguyen
2021 B conf
Optimization Models for Medical Procedures Relocation.
KES
Linh Anh Nguyen, Andrzej Szalas
2020 J jnl
Bisimulation and bisimilarity for fuzzy description logics under the Gödel semantics.
CoRR
Linh Anh Nguyen, Quang-Thuy Ha, Ngoc Thanh Nguyen, Thi Hong Khanh Nguyen, Thanh-Luong Tran
2020 J jnl
Bisimulation and bisimilarity for fuzzy description logics under the Gödel semantics.
Fuzzy Sets Syst.
Linh Anh Nguyen, Quang-Thuy Ha, Ngoc Thanh Nguyen, Thi Hong Khanh Nguyen, Thanh-Luong Tran
2020 J jnl
Computing Crisp Bisimulations for Fuzzy Structures.
CoRR
Linh Anh Nguyen, Dat Xuan Tran
2020 J jnl
Computing Crisp Simulations and Crisp Directed Simulations for Fuzzy Graph-Based Structures.
CoRR
Linh Anh Nguyen
2020 J jnl
ExpTime Tableaux with Global Caching for Hybrid PDL.
J. Autom. Reason.
Linh Anh Nguyen
2019 J jnl
An expressive and tractable rule-based description language.
Enterp. Inf. Syst.
Linh Anh Nguyen, Ngoc Thanh Nguyen
2019 J jnl
Bisimilarity in Fuzzy Description Logics Under the Zadeh Semantics.
IEEE Trans. Fuzzy Syst.
Linh Anh Nguyen
2019 — conf
Bisimulations for Fuzzy Description Logics with Involutive Negation Under the Gödel Semantics.
ICCCI (1)
Linh Anh Nguyen, Ngoc Thanh Nguyen
2019 J jnl
Incorporating Stratified Negation into Query-Subquery Nets for Evaluating Queries to Stratified Deductive Databases.
Comput. Informatics
Son Thanh Cao, Linh Anh Nguyen
2019 J jnl
Minimizing interpretations in fuzzy description logics under the Gödel semantics by using fuzzy bisimulations.
J. Intell. Fuzzy Syst.
Linh Anh Nguyen, Ngoc Thanh Nguyen
2019 J jnl
The Influence of the Test Operator on the Expressive Power of PDL-like Logics.
J. Log. Comput.
Linh Anh Nguyen
2018 J jnl
Computing Bisimulation-Based Comparisons.
Fundam. Informaticae
Linh Anh Nguyen
2018 — conf
Fuzzy Bisimulations in Fuzzy Description Logics Under the Gödel Semantics.
IJCSR
Quang-Thuy Ha, Linh Anh Nguyen, Thi Hong Khanh Nguyen, Thanh-Luong Tran
2018 J jnl
On the possibility of correct concept learning in description logics.
Vietnam. J. Comput. Sci.
Ali Rezaei Divroodi, Quang-Thuy Ha, Linh Anh Nguyen, Hung Son Nguyen
2018 — conf
The Influence of the Test Operator on the Expressive Powers of PDL-Like Logics.
CS&P
Linh Anh Nguyen
2017 J jnl
Bisimilarity for paraconsistent description logics.
J. Intell. Fuzzy Syst.
Linh Anh Nguyen, Thi Hong Khanh Nguyen, Ngoc Thanh Nguyen, Quang-Thuy Ha
2017 J jnl
ExpTime Tableaux with Global Caching for Hybrid PDL.
CoRR
Linh Anh Nguyen
2017 J jnl
Extending Query-Subquery Nets for Deductive Databases under the Well-Founded Semantics.
Cybern. Syst.
Son Thanh Cao, Linh Anh Nguyen, Ngoc Thanh Nguyen
2017 J jnl
On directed simulations in description logics.
J. Log. Comput.
Ali Rezaei Divroodi, Linh Anh Nguyen
2017 J jnl
Query-subquery nets for Horn knowledge bases in first-order logic.
J. Inf. Telecommun.
Son Thanh Cao, Linh Anh Nguyen
2016 J jnl
A Tractable Rule Language in the Modal and Description Logic that Combines CPDL with Regular Grammar Logic.
Fundam. Informaticae
Linh Anh Nguyen
2016 B conf
Bisimilarity for paraconsistent description logics.
SMC
Linh Anh Nguyen, Thi Hong Khanh Nguyen, Ngoc Thanh Nguyen, Quang-Thuy Ha
2016 — conf
Computing Bisimulation-Based Comparisons.
CS&P
Linh Anh Nguyen
2016 J jnl
Design of the Tableau Reasoner TGC2 for Description Logics.
Int. J. Softw. Eng. Knowl. Eng.
Linh Anh Nguyen
2016 J jnl
ExpTime Tableaux with Global Caching for Graded Propositional Dynamic Logic.
Fundam. Informaticae
Linh Anh Nguyen
2015 J jnl
Bisimulation-based concept learning for information systems in description logics.
Vietnam. J. Comput. Sci.
Thanh-Luong Tran, Linh Anh Nguyen, Thi-Lan-Giao Hoang
2015 — conf
Designing a Tableau Reasoner for Description Logics.
ICCSAMA
Linh Anh Nguyen
2015 — conf
ExpTime Tableaux with Global Caching for Graded Propositional Dynamic Logic.
CS&P
Linh Anh Nguyen
2015 J jnl
On bisimulations for description logics.
Inf. Sci.
Ali Rezaei Divroodi, Linh Anh Nguyen
2015 J jnl
Towards richer rule languages with polynomial data complexity for the Semantic Web.
Data Knowl. Eng.
Linh Anh Nguyen, Thi-Bich-Loc Nguyen, Andrzej Szalas
2014 — conf
A Domain Partitioning Method for Bisimulation-Based Concept Learning in Description Logics.
ICCSAMA
Thanh-Luong Tran, Linh Anh Nguyen, Thi-Lan-Giao Hoang
2014 — conf
A Tractable Rule Language in the Modal and Description Logics that Combine CPDL with Regular Grammar Logic.
CS&P
Linh Anh Nguyen
2014 — conf
An Empirical Approach to Query-Subquery Nets with Tail-Recursion Elimination.
ADBIS (2)
Son Thanh Cao, Linh Anh Nguyen
2014 J jnl
An ExpTime Tableau Method for Dealing with Nominals and Qualified Number Restrictions in Deciding the Description Logic SHOQ.
Fundam. Informaticae
Linh Anh Nguyen, Joanna Golinska-Pilarek
2014 — conf
An Improved Depth-First Control Strategy for Query-Subquery Nets in Evaluating Queries to Horn Knowledge Bases.
ICCSAMA
Son Thanh Cao, Linh Anh Nguyen
2014 J jnl
Bisimulation-Based Concept Learning in Description Logics.
Fundam. Informaticae
Thanh-Luong Tran, Quang-Thuy Ha, Thi-Lan-Giao Hoang, Linh Anh Nguyen, Hung Son Nguyen
2014 J jnl
ExpTime Tableaux with Global Caching for the Description Logic SHOQ.
CoRR
Linh Anh Nguyen, Joanna Golinska-Pilarek
2014 J jnl
ExpTime tableaux with global state caching for the description logic SHIO.
Neurocomputing
Linh Anh Nguyen
2014 J jnl
The Web Ontology Rule Language OWL 2 RL + and Its Extensions.
Trans. Comput. Collect. Intell.
Son Thanh Cao, Linh Anh Nguyen, Andrzej Szalas
2014 J jnl
WORL: a nonmonotonic rule language for the semantic web.
Vietnam. J. Comput. Sci.
Son Thanh Cao, Linh Anh Nguyen, Andrzej Szalas
2013 — ch.
A Tableau Method with Optimal Complexity for Deciding the Description Logic SHIQ.
Advanced Computational Methods for Knowledge Engineering
Linh Anh Nguyen
2013 — conf
An ExpTime Tableau Method for Dealing with Nominals and Quantified Number Restrictions in Deciding the Description Logic SHOQ.
CS&P
Linh Anh Nguyen, Joanna Golinska-Pilarek
2013 J jnl
Bisimulation-Based Comparisons for Interpretations in Description Logics
CoRR
Ali Rezaei Divroodi, Linh Anh Nguyen
2013 — conf
Bisimulation-Based Comparisons for Interpretations in Description Logics.
Description Logics
Ali Rezaei Divroodi, Linh Anh Nguyen
2013 — conf
Bisimulation-Based Concept Learning in Description Logics.
CS&P
Thanh-Luong Tran, Quang-Thuy Ha, Thi-Lan-Giao Hoang, Linh Anh Nguyen, Hung Son Nguyen
2013 — conf
Cut-Free ExpTime Tableaux for Converse-PDL Extended with Regular Inclusion Axioms.
KES-AMSTA
Linh Anh Nguyen
2013 J jnl
ExpTime Tableaux for
J. Autom. Reason.
Rajeev Goré, Linh Anh Nguyen
2013 B conf
Horn-TeamLog: A Horn Fragment of TeamLog with PTime Data Complexity.
ICCCI
Barbara Dunin-Keplicz, Linh Anh Nguyen, Andrzej Szalas
2013 — conf
HornDL: An Expressive Horn Description Logic with PTime Data Complexity.
RR
Linh Anh Nguyen, Thi-Bich-Loc Nguyen, Andrzej Szalas
2013 — ch.
Logic-Based Roughification.
Rough Sets and Intelligent Systems (1)
Linh Anh Nguyen, Andrzej Szalas
2013 — conf
On Horn Knowledge Bases in Regular Description Logic with Inverse.
KSE (1)
Linh Anh Nguyen, Thi-Bich-Loc Nguyen, Andrzej Szalas
2013 — conf
On the Horn Fragments of Serial Regular Grammar Logics with Converse.
KES-AMSTA
Linh Anh Nguyen, Andrzej Szalas
2012 J jnl
A Generalized QSQR Evaluation Method for Horn Knowledge Bases.
ACM Trans. Comput. Log.
Ewa Madalinska-Bugaj, Linh Anh Nguyen
2012 — conf
A bisimulation-based method of concept learning for knowledge bases in description logics.
SoICT
Quang-Thuy Ha, Thi-Lan-Giao Hoang, Linh Anh Nguyen, Hung Son Nguyen, Andrzej Szalas, Thanh-Luong Tran
2012 — conf
Concept Learning for Description Logic-Based Information Systems.
KSE
Thanh-Luong Tran, Quang-Thuy Ha, Thi-Lan-Giao Hoang, Linh Anh Nguyen, Hung Son Nguyen, Andrzej Szalas
2012 J jnl
ExpTime Tableaux for the Description Logic SHIQ Based on Global State Caching and Integer Linear Feasibility Checking
CoRR
Linh Anh Nguyen
2012 — conf
On C-Learnability in Description Logics.
ICCCI (1)
Ali Rezaei Divroodi, Quang-Thuy Ha, Linh Anh Nguyen, Hung Son Nguyen
2012 — ch.
On Designing the SONCA System.
Intelligent Tools for Building a Scientific Information Platform
Linh Anh Nguyen, Hung Son Nguyen
2012 J jnl
Paraconsistent Reasoning for Semantic Web Agents.
Trans. Comput. Collect. Intell.
Linh Anh Nguyen, Andrzej Szalas
2012 J jnl
Query-Subquery Nets
CoRR
Linh Anh Nguyen, Son Thanh Cao
2012 — conf
Query-Subquery Nets.
ICCCI (1)
Linh Anh Nguyen, Son Thanh Cao
2011 — conf
A Cut-Free ExpTime Tableau Decision Procedure for the Description Logic SHI.
ICCCI (1)
Linh Anh Nguyen
2011 J jnl
A Cut-Free ExpTime Tableau Decision Procedure for the Logic Extending Converse-PDL with Regular Inclusion Axioms
CoRR
Linh Anh Nguyen
2011 J jnl
Converse-PDL with regular inclusion axioms: a framework for MAS logics.
J. Appl. Non Class. Logics
Barbara Dunin-Keplicz, Linh Anh Nguyen, Andrzej Szalas
2011 C conf
Cut-Free ExpTime Tableaux for Checking Satisfiability of a Knowledge Base in the Description Logic
ISMIS
Linh Anh Nguyen
2011 J jnl
Cut-Free ExpTime Tableaux for Checking Satisfiability of a Knowledge Base in the Description Logic SHI
CoRR
Linh Anh Nguyen
2011 J jnl
ExpTime Tableau Decision Procedures for Regular Grammar Logics with Converse.
Stud Logica
Linh Anh Nguyen, Andrzej Szalas
2011 J jnl
On Bisimulations for Description Logics
CoRR
Ali Rezaei Divroodi, Linh Anh Nguyen
2011 — conf
On the Web Ontology Rule Language OWL 2 RL.
ICCCI (1)
Son Thanh Cao, Linh Anh Nguyen, Andrzej Szalas
2011 — conf
WORL: A Web Ontology Rule Language.
KSE
Son Thanh Cao, Linh Anh Nguyen, Andrzej Szalas
2010 J jnl
A Framework for Graded Beliefs, Goals and Intentions.
Fundam. Informaticae
Barbara Dunin-Keplicz, Linh Anh Nguyen, Andrzej Szalas
2010 J jnl
A layered rule-based architecture for approximate knowledge fusion?
Comput. Sci. Inf. Syst.
Barbara Dunin-Keplicz, Linh Anh Nguyen, Andrzej Szalas
2010 J jnl
Checking Consistency of an ABox w.r.t. Global Assumptions in PDL.
Fundam. Informaticae
Linh Anh Nguyen, Andrzej Szalas
2010 J jnl
Horn Knowledge Bases in Regular Description Logics with PTIME Data Complexity.
Fundam. Informaticae
Linh Anh Nguyen
2010 — conf
Paraconsistent and Approximate Semantics for the OWL 2 Web Ontology Language.
RSCTC
Linh Anh Nguyen
2010 J jnl
Tableaux with Global Caching for Checking Satisfiability of a Knowledge Base in the Description Logic
Trans. Comput. Collect. Intell.
Linh Anh Nguyen, Andrzej Szalas
2010 — conf
Three-Valued Paraconsistent Reasoning for Semantic Web Agents.
KES-AMSTA (1)
Linh Anh Nguyen, Andrzej Szalas
2010 J jnl
Tractable approximate knowledge fusion using the Horn fragment of serial propositional dynamic logic.
Int. J. Approx. Reason.
Barbara Dunin-Keplicz, Linh Anh Nguyen, Andrzej Szalas
2009 A conf
A Tableau Calculus for Regular Grammar Logics with Converse.
CADE
Linh Anh Nguyen, Andrzej Szalas
2009 J jnl
An Efficient Tableau Prover using Global Caching for the Description Logic ALC.
Fundam. Informaticae
Linh Anh Nguyen
2009 J jnl
Clausal Tableaux for Multimodal Logics of Belief.
Fundam. Informaticae
Rajeev Goré, Linh Anh Nguyen
2009 B conf
ExpTime Tableaux for Checking Satisfiability of a Knowledge Base in the Description Logic
ICCCI
Linh Anh Nguyen, Andrzej Szalas
2009 Misc conf
Fusing Approximate Knowledge from Distributed Sources.
IDC
Barbara Dunin-Keplicz, Linh Anh Nguyen, Andrzej Szalas
2009 J jnl
Modal logic programming revisited.
J. Appl. Non Class. Logics
Linh Anh Nguyen
2009 J jnl
Optimal Tableau Decision Procedures for PDL
CoRR
Linh Anh Nguyen, Andrzej Szalas
2008 J jnl
Constructing Finite Least Kripke Models for Positive Logic Programs in Serial Regular Grammar Logics.
Log. J. IGPL
Linh Anh Nguyen
2008 — ch.
Generalizing the QSQR Evaluation Method for Horn Knowledge Bases.
New Challenges in Applied Intelligence Technologies
Ewa Madalinska-Bugaj, Linh Anh Nguyen
2007 — conf
Analytic Cut-Free Tableaux for Regular Modal Logics of Agent Beliefs.
CLIMA
Rajeev Goré, Linh Anh Nguyen
2007 B conf
Approximating Horn Knowledge Bases in Regular Description Logics to Have PTIME Data Complexity.
ICLP
Linh Anh Nguyen
2007 — conf
EXPTIME Tableaux for ALC Using Sound Global Caching.
Description Logics
Rajeev Goré, Linh Anh Nguyen
2007 B conf
EXPTIME Tableaux with Global Caching for Description Logics with Transitive Roles, Inverse Roles and Role Hierarchies.
TABLEAUX
Rajeev Goré, Linh Anh Nguyen
2007 J jnl
Foundations of Modal Deductive Databases.
Fundam. Informaticae
Linh Anh Nguyen
2006 B conf
A Bottom-Up Method for the Deterministic Horn Fragment of the Description Logic
JELIA
Linh Anh Nguyen
2006 J jnl
Multimodal logic programming.
Theor. Comput. Sci.
Linh Anh Nguyen
2006 J jnl
Negative Ordered Hyper-Resolution as a Proof Procedure for Disjunctive Logic Programming.
Fundam. Informaticae
Linh Anh Nguyen
2006 B conf
On the Deterministic Horn Fragment of Test-free PDL.
Advances in Modal Logic
Linh Anh Nguyen
2006 B conf
The Data Complexity of MDatalog in Basic Modal Logics.
MFCS
Linh Anh Nguyen
2005 B conf
A Tableau Calculus with Automaton-Labelled Formulae for Regular Grammar Logics.
TABLEAUX
Rajeev Goré, Linh Anh Nguyen
2005 C conf
An SLD-Resolution Calculus for Basic Serial Multimodal Logics.
ICTAC
Linh Anh Nguyen
2005 J jnl
Completeness of hyper-resolution via the semantics of disjunctive logic programs.
Inf. Process. Lett.
Linh Anh Nguyen, Rajeev Goré
2005 C conf
On Modal Deductive Databases.
ADBIS
Linh Anh Nguyen
2005 — conf
Reasoning About Epistemic States of Agents by Modal Logic Programming.
CLIMA
Linh Anh Nguyen
2004 B conf
MProlog: An Extension of Prolog for Modal Logic Programming.
ICLP
Linh Anh Nguyen
2004 B conf
Negative Hyper-resolution as Procedural Semantics of Disjunctive Logic Programs.
JELIA
Linh Anh Nguyen
2004 B conf
On the Complexity of Fragments of Modal Logics.
Advances in Modal Logic
Linh Anh Nguyen
2004 B conf
The Modal Logic Programming System MProlog.
JELIA
Linh Anh Nguyen
2003 J jnl
A Fixpoint Semantics and an SLD-Resolution Calculus for Modal Logic Programs.
Fundam. Informaticae
Linh Anh Nguyen
2002 B conf
Analytic Tableau Systems for Propositional Bimodal Logics of Knowledge and Belief.
TABLEAUX
Linh Anh Nguyen
2001 J jnl
Analytic Tableau Systems and Interpolation for the Modal Logics KB, KDB, K5, KD5.
Stud Logica
Linh Anh Nguyen
2001 J jnl
The Modal Query Language MDatalog.
Fundam. Informaticae
Linh Anh Nguyen
2000 J jnl
Constructing the Least Models for Positive Modal Logic Programs.
Fundam. Informaticae
Linh Anh Nguyen
2000 B conf
Sequent-Like Tableau Systems with the Analytic Superformula Property for the Modal Logics KB, KDB, K5, KD5.
TABLEAUX
Linh Anh Nguyen
1999 B conf
A New Space Bound for the Modal Logics K4, KD4 and S4.
MFCS
Linh Anh Nguyen