Linh Anh Nguyen

Orcid: 0000-0002-8109-0567

Affiliations:
  • University of Warsaw


According to our database1, Linh Anh Nguyen authored at least 124 papers between 1999 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Computing crisp bisimulations for fuzzy structures.
Int. J. Approx. Reason., March, 2024

Minimizing fuzzy interpretations in fuzzy description logics by using crisp bisimulations.
Fuzzy Sets Syst., 2024

Approximate weak simulations and bisimulations for fuzzy automata over the product structure.
Fuzzy Sets Syst., 2024

Efficient algorithms for computing bisimulations for nondeterministic fuzzy transition systems.
CoRR, 2024

2023
Depth-bounded fuzzy simulations and bisimulations between fuzzy automata.
Fuzzy Sets Syst., December, 2023

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

Logical Characterizations of Crisp Bisimulations in Fuzzy Description Logics.
IEEE Trans. Fuzzy Syst., April, 2023

Fuzzy simulations and bisimulations between fuzzy automata.
Int. J. Approx. Reason., April, 2023

Fuzzy Minimax Nets.
IEEE Trans. Fuzzy Syst., 2023

Approximate State Reduction of Fuzzy Finite Automata.
Proceedings of the 16th International Conference on Automata and Formal Languages, 2023

On Relationships Between Approximate Bisimulations for Fuzzy Graphs and Their Approximation Degrees.
Proceedings of the Fuzzy Logic and Technology, and Aggregation Operators, 2023

Towards New Types of Weak Bisimulations for Fuzzy Automata Using the Product T-Norm.
Proceedings of the Fuzzy Logic and Technology, and Aggregation Operators, 2023

2022
Computing crisp simulations for fuzzy labeled transition systems.
J. Intell. Fuzzy Syst., 2022

Logical characterizations of fuzzy bisimulations in fuzzy modal logics over residuated lattices.
Fuzzy Sets Syst., 2022

Characterization and computation of approximate bisimulations for fuzzy automata.
Fuzzy Sets Syst., 2022

Logical Characterizations of Fuzzy Simulations.
Cybern. Syst., 2022

2021
Computing Fuzzy Bisimulations for Fuzzy Structures Under the Gödel Semantics.
IEEE Trans. Fuzzy Syst., 2021

Characterizing fuzzy simulations for fuzzy labeled transition systems in fuzzy propositional dynamic logic.
Int. J. Approx. Reason., 2021

Computing the Fuzzy Partition Corresponding to the Greatest Fuzzy Auto-Bisimulation of a Fuzzy Graph-Based Structure.
CoRR, 2021

Optimization Models for Medical Procedures Relocation.
Proceedings of the Knowledge-Based and Intelligent Information & Engineering Systems: Proceedings of the 25th International Conference KES-2021, 2021

Characterizing Crisp Simulations and Crisp Directed Simulations between Fuzzy Labeled Transition Systems by Using Fuzzy Modal Logics.
Proceedings of the 30th IEEE International Conference on Fuzzy Systems, 2021

2020
ExpTime Tableaux with Global Caching for Hybrid PDL.
J. Autom. Reason., 2020

Bisimulation and bisimilarity for fuzzy description logics under the Gödel semantics.
Fuzzy Sets Syst., 2020

Computing Crisp Simulations and Crisp Directed Simulations for Fuzzy Graph-Based Structures.
CoRR, 2020

2019
Bisimilarity in Fuzzy Description Logics Under the Zadeh Semantics.
IEEE Trans. Fuzzy Syst., 2019

The Influence of the Test Operator on the Expressive Power of PDL-like Logics.
J. Log. Comput., 2019

Minimizing interpretations in fuzzy description logics under the Gödel semantics by using fuzzy bisimulations.
J. Intell. Fuzzy Syst., 2019

An expressive and tractable rule-based description language.
Enterp. Inf. Syst., 2019

Incorporating Stratified Negation into Query-Subquery Nets for Evaluating Queries to Stratified Deductive Databases.
Comput. Informatics, 2019

Bisimulations for Fuzzy Description Logics with Involutive Negation Under the Gödel Semantics.
Proceedings of the Computational Collective Intelligence - 11th International Conference, 2019

2018
On the possibility of correct concept learning in description logics.
Vietnam. J. Comput. Sci., 2018

Computing Bisimulation-Based Comparisons.
Fundam. Informaticae, 2018

Fuzzy Bisimulations in Fuzzy Description Logics Under the Gödel Semantics.
Proceedings of the Rough Sets - International Joint Conference, 2018

The Influence of the Test Operator on the Expressive Powers of PDL-Like Logics.
Proceedings of the 27th International Workshop on Concurrency, 2018

2017
On directed simulations in description logics.
J. Log. Comput., 2017

Bisimilarity for paraconsistent description logics.
J. Intell. Fuzzy Syst., 2017

Query-subquery nets for Horn knowledge bases in first-order logic.
J. Inf. Telecommun., 2017

Extending Query-Subquery Nets for Deductive Databases under the Well-Founded Semantics.
Cybern. Syst., 2017

2016
Design of the Tableau Reasoner TGC2 for Description Logics.
Int. J. Softw. Eng. Knowl. Eng., 2016

ExpTime Tableaux with Global Caching for Graded Propositional Dynamic Logic.
Fundam. Informaticae, 2016

A Tractable Rule Language in the Modal and Description Logic that Combines CPDL with Regular Grammar Logic.
Fundam. Informaticae, 2016

2015
Bisimulation-based concept learning for information systems in description logics.
Vietnam. J. Comput. Sci., 2015

On bisimulations for description logics.
Inf. Sci., 2015

Towards richer rule languages with polynomial data complexity for the Semantic Web.
Data Knowl. Eng., 2015

Designing a Tableau Reasoner for Description Logics.
Proceedings of the Advanced Computational Methods for Knowledge Engineering - Proceedings of 3rd International Conference on Computer Science, Applied Mathematics and Applications, 2015

2014
WORL: a nonmonotonic rule language for the semantic web.
Vietnam. J. Comput. Sci., 2014

The Web Ontology Rule Language OWL 2 RL + and Its Extensions.
Trans. Comput. Collect. Intell., 2014

ExpTime tableaux with global state caching for the description logic SHIO.
Neurocomputing, 2014

Bisimulation-Based Concept Learning in Description Logics.
Fundam. Informaticae, 2014

An ExpTime Tableau Method for Dealing with Nominals and Qualified Number Restrictions in Deciding the Description Logic SHOQ.
Fundam. Informaticae, 2014

ExpTime Tableaux with Global Caching for the Description Logic SHOQ.
CoRR, 2014

A Domain Partitioning Method for Bisimulation-Based Concept Learning in Description Logics.
Proceedings of the Advanced Computational Methods for Knowledge Engineering, 2014

An Improved Depth-First Control Strategy for Query-Subquery Nets in Evaluating Queries to Horn Knowledge Bases.
Proceedings of the Advanced Computational Methods for Knowledge Engineering, 2014

A Tractable Rule Language in the Modal and Description Logics that Combine CPDL with Regular Grammar Logic.
Proceedings of the 23th International Workshop on Concurrency, Specification and Programming, Chemnitz, Germany, September 29, 2014

An Empirical Approach to Query-Subquery Nets with Tail-Recursion Elimination.
Proceedings of the New Trends in Database and Information Systems II, 2014

2013
A Tableau Method with Optimal Complexity for Deciding the Description Logic SHIQ.
Proceedings of the Advanced Computational Methods for Knowledge Engineering, 2013

Logic-Based Roughification.
Proceedings of the Rough Sets and Intelligent Systems - Professor Zdzisław Pawlak in Memoriam, 2013

ExpTime Tableaux for <i>ALC</i> Using Sound Global Caching.
J. Autom. Reason., 2013

HornDL: An Expressive Horn Description Logic with PTime Data Complexity.
Proceedings of the Web Reasoning and Rule Systems - 7th International Conference, 2013

On Horn Knowledge Bases in Regular Description Logic with Inverse.
Proceedings of the Knowledge and Systems Engineering, 2013

On the Horn Fragments of Serial Regular Grammar Logics with Converse.
Proceedings of the Advanced Methods and Technologies for Agent and Multi-Agent Systems, Proceedings of the 7th KES Conference on Agent and Multi-Agent Systems, 2013

Cut-Free ExpTime Tableaux for Converse-PDL Extended with Regular Inclusion Axioms.
Proceedings of the Advanced Methods and Technologies for Agent and Multi-Agent Systems, Proceedings of the 7th KES Conference on Agent and Multi-Agent Systems, 2013

Horn-TeamLog: A Horn Fragment of TeamLog with PTime Data Complexity.
Proceedings of the Computational Collective Intelligence. Technologies and Applications, 2013

Bisimulation-Based Comparisons for Interpretations in Description Logics.
Proceedings of the Informal Proceedings of the 26th International Workshop on Description Logics, Ulm, Germany, July 23, 2013

An ExpTime Tableau Method for Dealing with Nominals and Quantified Number Restrictions in Deciding the Description Logic SHOQ.
Proceedings of the 22nd International Workshop on Concurrency, 2013

2012
On Designing the SONCA System.
Proceedings of the Intelligent Tools for Building a Scientific Information Platform, 2012

A Generalized QSQR Evaluation Method for Horn Knowledge Bases.
ACM Trans. Comput. Log., 2012

Paraconsistent Reasoning for Semantic Web Agents.
Trans. Comput. Collect. Intell., 2012

ExpTime Tableaux for the Description Logic SHIQ Based on Global State Caching and Integer Linear Feasibility Checking
CoRR, 2012

A bisimulation-based method of concept learning for knowledge bases in description logics.
Proceedings of the Symposium on Information and Communication Technology 2012, 2012

Concept Learning for Description Logic-Based Information Systems.
Proceedings of the Fourth International Conference on Knowledge and Systems Engineering, 2012

Query-Subquery Nets.
Proceedings of the Computational Collective Intelligence. Technologies and Applications, 2012

On C-Learnability in Description Logics.
Proceedings of the Computational Collective Intelligence. Technologies and Applications, 2012

2011
ExpTime Tableau Decision Procedures for Regular Grammar Logics with Converse.
Stud Logica, 2011

Converse-PDL with regular inclusion axioms: a framework for MAS logics.
J. Appl. Non Class. Logics, 2011

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

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

WORL: A Web Ontology Rule Language.
Proceedings of the Third International Conference on Knowledge and Systems Engineering, 2011

Cut-Free ExpTime Tableaux for Checking Satisfiability of a Knowledge Base in the Description Logic <i>ALCI</i>\mathcal{ALCI}.
Proceedings of the Foundations of Intelligent Systems - 19th International Symposium, 2011

A Cut-Free ExpTime Tableau Decision Procedure for the Description Logic SHI.
Proceedings of the Computational Collective Intelligence. Technologies and Applications, 2011

On the Web Ontology Rule Language OWL 2 RL.
Proceedings of the Computational Collective Intelligence. Technologies and Applications, 2011

2010
Tableaux with Global Caching for Checking Satisfiability of a Knowledge Base in the Description Logic <i>SH</i>.
Trans. Comput. Collect. Intell., 2010

Tractable approximate knowledge fusion using the Horn fragment of serial propositional dynamic logic.
Int. J. Approx. Reason., 2010

Checking Consistency of an ABox w.r.t. Global Assumptions in PDL.
Fundam. Informaticae, 2010

Horn Knowledge Bases in Regular Description Logics with PTIME Data Complexity.
Fundam. Informaticae, 2010

A Framework for Graded Beliefs, Goals and Intentions.
Fundam. Informaticae, 2010

A layered rule-based architecture for approximate knowledge fusion?
Comput. Sci. Inf. Syst., 2010

Paraconsistent and Approximate Semantics for the OWL 2 Web Ontology Language.
Proceedings of the Rough Sets and Current Trends in Computing, 2010

Three-Valued Paraconsistent Reasoning for Semantic Web Agents.
Proceedings of the Agent and Multi-Agent Systems: Technologies and Applications, 2010

2009
Modal logic programming revisited.
J. Appl. Non Class. Logics, 2009

An Efficient Tableau Prover using Global Caching for the Description Logic ALC.
Fundam. Informaticae, 2009

Clausal Tableaux for Multimodal Logics of Belief.
Fundam. Informaticae, 2009

Optimal Tableau Decision Procedures for PDL
CoRR, 2009

Fusing Approximate Knowledge from Distributed Sources.
Proceedings of the Intelligent Distributed Computing III, Proceedings of the 3rd International Symposium on Intelligent Distributed Computing, 2009

ExpTime Tableaux for Checking Satisfiability of a Knowledge Base in the Description Logic <i>ALC</i>\mathcal{ALC}.
Proceedings of the Computational Collective Intelligence. Semantic Web, 2009

A Tableau Calculus for Regular Grammar Logics with Converse.
Proceedings of the Automated Deduction, 2009

2008
Generalizing the QSQR Evaluation Method for Horn Knowledge Bases.
Proceedings of the New Challenges in Applied Intelligence Technologies, 2008

Constructing Finite Least Kripke Models for Positive Logic Programs in Serial Regular Grammar Logics.
Log. J. IGPL, 2008

2007
Foundations of Modal Deductive Databases.
Fundam. Informaticae, 2007

EXPTIME Tableaux with Global Caching for Description Logics with Transitive Roles, Inverse Roles and Role Hierarchies.
Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2007

Approximating Horn Knowledge Bases in Regular Description Logics to Have PTIME Data Complexity.
Proceedings of the Logic Programming, 23rd International Conference, 2007

EXPTIME Tableaux for ALC Using Sound Global Caching.
Proceedings of the 2007 International Workshop on Description Logics (DL2007), 2007

Analytic Cut-Free Tableaux for Regular Modal Logics of Agent Beliefs.
Proceedings of the Computational Logic in Multi-Agent Systems, 8th International Workshop, 2007

2006
Multimodal logic programming.
Theor. Comput. Sci., 2006

Negative Ordered Hyper-Resolution as a Proof Procedure for Disjunctive Logic Programming.
Fundam. Informaticae, 2006

The Data Complexity of MDatalog in Basic Modal Logics.
Proceedings of the Mathematical Foundations of Computer Science 2006, 2006

A Bottom-Up Method for the Deterministic Horn Fragment of the Description Logic <i>ALC</i>.
Proceedings of the Logics in Artificial Intelligence, 10th European Conference, 2006

On the Deterministic Horn Fragment of Test-free PDL.
Proceedings of the Advances in Modal Logic 6, 2006

2005
Completeness of hyper-resolution via the semantics of disjunctive logic programs.
Inf. Process. Lett., 2005

A Tableau Calculus with Automaton-Labelled Formulae for Regular Grammar Logics.
Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2005

An SLD-Resolution Calculus for Basic Serial Multimodal Logics.
Proceedings of the Theoretical Aspects of Computing, 2005

Reasoning About Epistemic States of Agents by Modal Logic Programming.
Proceedings of the Computational Logic in Multi-Agent Systems, 6th International Workshop, 2005

On Modal Deductive Databases.
Proceedings of the Advances in Databases and Information Systems, 2005

2004
Negative Hyper-resolution as Procedural Semantics of Disjunctive Logic Programs.
Proceedings of the Logics in Artificial Intelligence, 9th European Conference, 2004

The Modal Logic Programming System MProlog.
Proceedings of the Logics in Artificial Intelligence, 9th European Conference, 2004

MProlog: An Extension of Prolog for Modal Logic Programming.
Proceedings of the Logic Programming, 20th International Conference, 2004

On the Complexity of Fragments of Modal Logics.
Proceedings of the Advances in Modal Logic 5, 2004

2003
A Fixpoint Semantics and an SLD-Resolution Calculus for Modal Logic Programs.
Fundam. Informaticae, 2003

2002
Analytic Tableau Systems for Propositional Bimodal Logics of Knowledge and Belief.
Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2002

2001
Analytic Tableau Systems and Interpolation for the Modal Logics KB, KDB, K5, KD5.
Stud Logica, 2001

The Modal Query Language MDatalog.
Fundam. Informaticae, 2001

2000
Constructing the Least Models for Positive Modal Logic Programs.
Fundam. Informaticae, 2000

Sequent-Like Tableau Systems with the Analytic Superformula Property for the Modal Logics KB, KDB, K5, KD5.
Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2000

1999
A New Space Bound for the Modal Logics K4, KD4 and S4.
Proceedings of the Mathematical Foundations of Computer Science 1999, 1999


  Loading...