Остановите войну!
for scientists:
default search action
Linh Anh Nguyen
- > Home > Persons > Linh Anh Nguyen
Publications
- 2023
- [j57]Linh Anh Nguyen:
Fuzzy simulations and bisimulations between fuzzy automata. Int. J. Approx. Reason. 155: 113-131 (2023) - [j56]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: 482-506 (2023) - [i18]Linh Anh Nguyen:
Minimizing Fuzzy Interpretations in Fuzzy Description Logics by Using Crisp Bisimulations. CoRR abs/2303.11438 (2023) - 2022
- [j52]Linh Anh Nguyen:
Logical characterizations of fuzzy bisimulations in fuzzy modal logics over residuated lattices. Fuzzy Sets Syst. 431: 70-93 (2022) - [j50]Linh Anh Nguyen:
Computing crisp simulations for fuzzy labeled transition systems. J. Intell. Fuzzy Syst. 42(4): 3067-3078 (2022) - [i16]Linh Anh Nguyen:
Fuzzy Simulations and Bisimulations between Fuzzy Automata. CoRR abs/2205.01955 (2022) - 2021
- [j49]Linh Anh Nguyen:
Characterizing fuzzy simulations for fuzzy labeled transition systems in fuzzy propositional dynamic logic. Int. J. Approx. Reason. 135: 21-37 (2021) - [i15]Linh Anh Nguyen:
Logical Characterizations of Fuzzy Bisimulations in Fuzzy Modal Logics over Residuated Lattices. CoRR abs/2101.12349 (2021) - [i14]Linh Anh Nguyen:
Computing the Fuzzy Partition Corresponding to the Greatest Fuzzy Auto-Bisimulation of a Fuzzy Graph-Based Structure. CoRR abs/2107.08542 (2021) - 2020
- [j46]Linh Anh Nguyen:
ExpTime Tableaux with Global Caching for Hybrid PDL. J. Autom. Reason. 64(1): 21-52 (2020) - [i10]Linh Anh Nguyen:
Computing Crisp Simulations and Crisp Directed Simulations for Fuzzy Graph-Based Structures. CoRR abs/2012.01845 (2020) - 2019
- [j42]Linh Anh Nguyen:
The Influence of the Test Operator on the Expressive Power of PDL-like Logics. J. Log. Comput. 29(8): 1289-1310 (2019) - [j41]Linh Anh Nguyen:
Bisimilarity in Fuzzy Description Logics Under the Zadeh Semantics. IEEE Trans. Fuzzy Syst. 27(6): 1151-1161 (2019) - 2018
- [j40]Linh Anh Nguyen:
Computing Bisimulation-Based Comparisons. Fundam. Informaticae 157(4): 385-401 (2018) - [c49]Linh Anh Nguyen:
The Influence of the Test Operator on the Expressive Powers of PDL-Like Logics. CS&P 2018 - 2017
- [i9]Linh Anh Nguyen:
ExpTime Tableaux with Global Caching for Hybrid PDL. CoRR abs/1705.00848 (2017) - 2016
- [j34]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): 113-139 (2016) - [j33]Linh Anh Nguyen:
ExpTime Tableaux with Global Caching for Graded Propositional Dynamic Logic. Fundam. Informaticae 147(2-3): 261-288 (2016) - [j32]Linh Anh Nguyen:
Design of the Tableau Reasoner TGC2 for Description Logics. Int. J. Softw. Eng. Knowl. Eng. 26(8): 1315- (2016) - [c47]Linh Anh Nguyen:
Computing Bisimulation-Based Comparisons. CS&P 2016: 245-256 - 2015
- [c45]Linh Anh Nguyen:
ExpTime Tableaux with Global Caching for Graded Propositional Dynamic Logic. CS&P 2015: 44-56 - [c44]Linh Anh Nguyen:
Designing a Tableau Reasoner for Description Logics. ICCSAMA 2015: 321-333 - 2014
- [j26]Linh Anh Nguyen:
ExpTime tableaux with global state caching for the description logic SHIO. Neurocomputing 146: 249-263 (2014) - [c42]Linh Anh Nguyen:
A Tractable Rule Language in the Modal and Description Logics that Combine CPDL with Regular Grammar Logic. CS&P 2014: 150-163 - 2013
- [c34]Linh Anh Nguyen:
Cut-Free ExpTime Tableaux for Converse-PDL Extended with Regular Inclusion Axioms. KES-AMSTA 2013: 235-244 - [p3]Linh Anh Nguyen:
A Tableau Method with Optimal Complexity for Deciding the Description Logic SHIQ. Advanced Computational Methods for Knowledge Engineering 2013: 331-342 - 2012
- [i5]Linh Anh Nguyen:
ExpTime Tableaux for the Description Logic SHIQ Based on Global State Caching and Integer Linear Feasibility Checking. CoRR abs/1205.5838 (2012) - 2011
- [c26]Linh Anh Nguyen:
A Cut-Free ExpTime Tableau Decision Procedure for the Description Logic SHI. ICCCI (1) 2011: 572-581 - [c25]Linh Anh Nguyen:
Cut-Free ExpTime Tableaux for Checking Satisfiability of a Knowledge Base in the Description Logic ALCI\mathcal{ALCI}. ISMIS 2011: 465-475 - [i4]Linh Anh Nguyen:
A Cut-Free ExpTime Tableau Decision Procedure for the Logic Extending Converse-PDL with Regular Inclusion Axioms. CoRR abs/1104.0405 (2011) - [i2]Linh Anh Nguyen:
Cut-Free ExpTime Tableaux for Checking Satisfiability of a Knowledge Base in the Description Logic SHI. CoRR abs/1106.2305 (2011) - 2010
- [j15]Linh Anh Nguyen:
Horn Knowledge Bases in Regular Description Logics with PTIME Data Complexity. Fundam. Informaticae 104(4): 349-384 (2010) - [c22]Linh Anh Nguyen:
Paraconsistent and Approximate Semantics for the OWL 2 Web Ontology Language. RSCTC 2010: 710-720 - 2009
- [j12]Linh Anh Nguyen:
An Efficient Tableau Prover using Global Caching for the Description Logic ALC. Fundam. Informaticae 93(1-3): 273-288 (2009) - [j10]Linh Anh Nguyen:
Modal logic programming revisited. J. Appl. Non Class. Logics 19(2): 167-181 (2009) - 2008
- [j9]Linh Anh Nguyen:
Constructing Finite Least Kripke Models for Positive Logic Programs in Serial Regular Grammar Logics. Log. J. IGPL 16(2): 175-193 (2008) - 2007
- [j8]Linh Anh Nguyen:
Foundations of Modal Deductive Databases. Fundam. Informaticae 79(1-2): 85-135 (2007) - [c16]Linh Anh Nguyen:
Approximating Horn Knowledge Bases in Regular Description Logics to Have PTIME Data Complexity. ICLP 2007: 438-439 - 2006
- [j7]Linh Anh Nguyen:
Negative Ordered Hyper-Resolution as a Proof Procedure for Disjunctive Logic Programming. Fundam. Informaticae 70(4): 351-366 (2006) - [j6]Linh Anh Nguyen:
Multimodal logic programming. Theor. Comput. Sci. 360(1-3): 247-288 (2006) - [c14]Linh Anh Nguyen:
On the Deterministic Horn Fragment of Test-free PDL. Advances in Modal Logic 2006: 373-392 - [c13]Linh Anh Nguyen:
A Bottom-Up Method for the Deterministic Horn Fragment of the Description Logic ALC. JELIA 2006: 346-358 - [c12]Linh Anh Nguyen:
The Data Complexity of MDatalog in Basic Modal Logics. MFCS 2006: 729-740 - 2005
- [c11]Linh Anh Nguyen:
On Modal Deductive Databases. ADBIS 2005: 43-57 - [c10]Linh Anh Nguyen:
Reasoning About Epistemic States of Agents by Modal Logic Programming. CLIMA 2005: 37-56 - [c9]Linh Anh Nguyen:
An SLD-Resolution Calculus for Basic Serial Multimodal Logics. ICTAC 2005: 151-165 - 2004
- [c7]Linh Anh Nguyen:
On the Complexity of Fragments of Modal Logics. Advances in Modal Logic 2004: 249-268 - [c6]Linh Anh Nguyen:
MProlog: An Extension of Prolog for Modal Logic Programming. ICLP 2004: 469-470 - [c5]Linh Anh Nguyen:
The Modal Logic Programming System MProlog. JELIA 2004: 266-278 - [c4]Linh Anh Nguyen:
Negative Hyper-resolution as Procedural Semantics of Disjunctive Logic Programs. JELIA 2004: 565-577 - 2003
- [j4]Linh Anh Nguyen:
A Fixpoint Semantics and an SLD-Resolution Calculus for Modal Logic Programs. Fundam. Informaticae 55(1): 63-100 (2003) - 2002
- [c3]Linh Anh Nguyen:
Analytic Tableau Systems for Propositional Bimodal Logics of Knowledge and Belief. TABLEAUX 2002: 206-220 - 2001
- [j3]Linh Anh Nguyen:
The Modal Query Language MDatalog. Fundam. Informaticae 46(4): 315-342 (2001) - [j2]Linh Anh Nguyen:
Analytic Tableau Systems and Interpolation for the Modal Logics KB, KDB, K5, KD5. Stud Logica 69(1): 41-57 (2001) - 2000
- [j1]Linh Anh Nguyen:
Constructing the Least Models for Positive Modal Logic Programs. Fundam. Informaticae 42(1): 29-60 (2000) - [c2]Linh Anh Nguyen:
Sequent-Like Tableau Systems with the Analytic Superformula Property for the Modal Logics KB, KDB, K5, KD5. TABLEAUX 2000: 341-351 - 1999
- [c1]Linh Anh Nguyen:
A New Space Bound for the Modal Logics K4, KD4 and S4. MFCS 1999: 321-331
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-25 02:41 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint