Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDLinh Anh Nguyen
Person information
- affiliation: University of Warsaw
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2023
[j58]Linh Anh Nguyen, Ivana Micic, Stefan Stanimirovic:
Depth-bounded fuzzy simulations and bisimulations between fuzzy automata. Fuzzy Sets Syst. 473: 108729 (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) - [j55]Linh Anh Nguyen, Ngoc Thanh Nguyen
:
Logical Characterizations of Crisp Bisimulations in Fuzzy Description Logics. IEEE Trans. Fuzzy Syst. 31(4): 1294-1304 (2023) - [j54]Linh Anh Nguyen, Ivana Micic, Stefan Stanimirovic:
Fuzzy Minimax Nets. IEEE Trans. Fuzzy Syst. 31(8): 2799-2808 (2023) - [c55]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: 567-578 - [c54]Stefan Stanimirovic, Ivana Micic, Linh Anh Nguyen:
On Relationships Between Approximate Bisimulations for Fuzzy Graphs and Their Approximation Degrees. EUSFLAT/AGOP 2023: 579-590 - [c53]Miroslav Ciric, Ivana Micic, Stefan Stanimirovic, Linh Anh Nguyen:
Approximate State Reduction of Fuzzy Finite Automata. AFL 2023: 51-66 - [i18]Linh Anh Nguyen:
Minimizing Fuzzy Interpretations in Fuzzy Description Logics by Using Crisp Bisimulations. CoRR abs/2303.11438 (2023) - [i17]Linh Anh Nguyen, Ivana Micic, Stefan Stanimirovic:
Depth-Bounded Fuzzy Simulations and Bisimulations between Fuzzy Automata. CoRR abs/2307.03318 (2023) - 2022
- [j53]Linh Anh Nguyen, Ngoc-Thanh Nguyen:
Logical Characterizations of Fuzzy Simulations. Cybern. Syst. 53(5): 482-499 (2022) - [j52]Linh Anh Nguyen:
Logical characterizations of fuzzy bisimulations in fuzzy modal logics over residuated lattices. Fuzzy Sets Syst. 431: 70-93 (2022) - [j51]Ivana Micic, Linh Anh Nguyen, Stefan Stanimirovic:
Characterization and computation of approximate bisimulations for fuzzy automata. Fuzzy Sets Syst. 442: 331-350 (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) - [j48]Linh Anh Nguyen, Dat Xuan Tran:
Computing Fuzzy Bisimulations for Fuzzy Structures Under the Gödel Semantics. IEEE Trans. Fuzzy Syst. 29(7): 1715-1724 (2021) - [c52]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: 1-7 - [c51]Linh Anh Nguyen, Andrzej Szalas:
Optimization Models for Medical Procedures Relocation. KES 2021: 2058-2067 - [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) - [i13]Linh Anh Nguyen, Ngoc Thanh Nguyen:
Characterizing Crisp Simulations and Crisp Directed Simulations between Fuzzy Labeled Transition Systems by Using Fuzzy Modal Logics. CoRR abs/2109.02334 (2021) - 2020
- [j47]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: 146-178 (2020) - [j46]Linh Anh Nguyen:
ExpTime Tableaux with Global Caching for Hybrid PDL. J. Autom. Reason. 64(1): 21-52 (2020) - [i12]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 abs/2008.02857 (2020) - [i11]Linh Anh Nguyen, Dat Xuan Tran:
Computing Crisp Bisimulations for Fuzzy Structures. CoRR abs/2010.15671 (2020) - [i10]Linh Anh Nguyen:
Computing Crisp Simulations and Crisp Directed Simulations for Fuzzy Graph-Based Structures. CoRR abs/2012.01845 (2020)
2010 – 2019
- 2019
- [j45]Son Thanh Cao, Linh Anh Nguyen:
Incorporating Stratified Negation into Query-Subquery Nets for Evaluating Queries to Stratified Deductive Databases. Comput. Informatics 38(1): 19-56 (2019) - [j44]Linh Anh Nguyen, Ngoc Thanh Nguyen:
An expressive and tractable rule-based description language. Enterp. Inf. Syst. 13(7-8): 1069-1093 (2019) - [j43]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): 7669-7678 (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) - [c50]Linh Anh Nguyen, Ngoc Thanh Nguyen:
Bisimulations for Fuzzy Description Logics with Involutive Negation Under the Gödel Semantics. ICCCI (1) 2019: 16-30 - 2018
- [j40]Linh Anh Nguyen:
Computing Bisimulation-Based Comparisons. Fundam. Informaticae 157(4): 385-401 (2018) - [j39]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): 3-14 (2018) - [c49]Linh Anh Nguyen:
The Influence of the Test Operator on the Expressive Powers of PDL-Like Logics. CS&P 2018 - [c48]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: 559-571 - 2017
- [j38]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): 249-266 (2017) - [j37]Son Thanh Cao, Linh Anh Nguyen:
Query-subquery nets for Horn knowledge bases in first-order logic. J. Inf. Telecommun. 1(1): 79-99 (2017) - [j36]Linh Anh Nguyen, Thi Hong Khanh Nguyen, Ngoc Thanh Nguyen, Quang-Thuy Ha:
Bisimilarity for paraconsistent description logics. J. Intell. Fuzzy Syst. 32(2): 1203-1215 (2017) - [j35]Ali Rezaei Divroodi, Linh Anh Nguyen:
On directed simulations in description logics. J. Log. Comput. 27(7): 1955-1986 (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 - [c46]Linh Anh Nguyen, Thi Hong Khanh Nguyen, Ngoc Thanh Nguyen, Quang-Thuy Ha:
Bisimilarity for paraconsistent description logics. SMC 2016: 4694-4699 - 2015
- [j31]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: 57-77 (2015) - [j30]Ali Rezaei Divroodi, Linh Anh Nguyen:
On bisimulations for description logics. Inf. Sci. 295: 465-493 (2015) - [j29]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): 149-167 (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
- [j28]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): 287-303 (2014) - [j27]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): 433-449 (2014) - [j26]Linh Anh Nguyen:
ExpTime tableaux with global state caching for the description logic SHIO. Neurocomputing 146: 249-263 (2014) - [j25]Son Thanh Cao, Linh Anh Nguyen, Andrzej Szalas:
The Web Ontology Rule Language OWL 2 RL + and Its Extensions. Trans. Comput. Collect. Intell. 13: 152-175 (2014) - [j24]Son Thanh Cao, Linh Anh Nguyen, Andrzej Szalas:
WORL: a nonmonotonic rule language for the semantic web. Vietnam. J. Comput. Sci. 1(1): 57-69 (2014) - [c43]Son Thanh Cao, Linh Anh Nguyen:
An Empirical Approach to Query-Subquery Nets with Tail-Recursion Elimination. ADBIS (2) 2014: 109-120 - [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 - [c41]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: 281-295 - [c40]Thanh-Luong Tran, Linh Anh Nguyen, Thi-Lan-Giao Hoang:
A Domain Partitioning Method for Bisimulation-Based Concept Learning in Description Logics. ICCSAMA 2014: 297-312 - [i8]Linh Anh Nguyen, Joanna Golinska-Pilarek:
ExpTime Tableaux with Global Caching for the Description Logic SHOQ. CoRR abs/1405.7221 (2014) - 2013
- [j23]Rajeev Goré, Linh Anh Nguyen:
ExpTime Tableaux for ALC Using Sound Global Caching. J. Autom. Reason. 50(4): 355-381 (2013) - [c39]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: 296-308 - [c38]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: 421-433 - [c37]Ali Rezaei Divroodi, Linh Anh Nguyen:
Bisimulation-Based Comparisons for Interpretations in Description Logics. Description Logics 2013: 652-669 - [c36]Barbara Dunin-Keplicz, Linh Anh Nguyen, Andrzej Szalas:
Horn-TeamLog: A Horn Fragment of TeamLog with PTime Data Complexity. ICCCI 2013: 143-153 - [c35]Linh Anh Nguyen, Andrzej Szalas:
On the Horn Fragments of Serial Regular Grammar Logics with Converse. KES-AMSTA 2013: 225-234 - [c34]Linh Anh Nguyen:
Cut-Free ExpTime Tableaux for Converse-PDL Extended with Regular Inclusion Axioms. KES-AMSTA 2013: 235-244 - [c33]Linh Anh Nguyen, Thi-Bich-Loc Nguyen, Andrzej Szalas:
On Horn Knowledge Bases in Regular Description Logic with Inverse. KSE (1) 2013: 37-49 - [c32]Linh Anh Nguyen, Thi-Bich-Loc Nguyen, Andrzej Szalas:
HornDL: An Expressive Horn Description Logic with PTime Data Complexity. RR 2013: 259-264 - [p4]Linh Anh Nguyen, Andrzej Szalas:
Logic-Based Roughification. Rough Sets and Intelligent Systems (1) 2013: 517-543 - [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 - [i7]Ali Rezaei Divroodi, Linh Anh Nguyen:
Bisimulation-Based Comparisons for Interpretations in Description Logics. CoRR abs/1304.5602 (2013) - 2012
- [j22]Linh Anh Nguyen, Andrzej Szalas:
Paraconsistent Reasoning for Semantic Web Agents. Trans. Comput. Collect. Intell. 6: 36-55 (2012) - [j21]Ewa Madalinska-Bugaj, Linh Anh Nguyen:
A Generalized QSQR Evaluation Method for Horn Knowledge Bases. ACM Trans. Comput. Log. 13(4): 32:1-32:28 (2012) - [c31]Ali Rezaei Divroodi, Quang-Thuy Ha, Linh Anh Nguyen, Hung Son Nguyen:
On C-Learnability in Description Logics. ICCCI (1) 2012: 230-238 - [c30]Linh Anh Nguyen, Son Thanh Cao:
Query-Subquery Nets. ICCCI (1) 2012: 239-248 - [c29]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: 65-73 - [c28]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: 241-249 - [p2]Linh Anh Nguyen, Hung Son Nguyen:
On Designing the SONCA System. Intelligent Tools for Building a Scientific Information Platform 2012: 9-35 - [i6]Linh Anh Nguyen, Son Thanh Cao:
Query-Subquery Nets. CoRR abs/1201.2564 (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
- [j20]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): 61-91 (2011) - [j19]Linh Anh Nguyen, Andrzej Szalas:
ExpTime Tableau Decision Procedures for Regular Grammar Logics with Converse. Stud Logica 98(3): 387-428 (2011) - [c27]Son Thanh Cao, Linh Anh Nguyen, Andrzej Szalas:
On the Web Ontology Rule Language OWL 2 RL. ICCCI (1) 2011: 254-264 - [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 - [c24]Son Thanh Cao, Linh Anh Nguyen, Andrzej Szalas:
WORL: A Web Ontology Rule Language. KSE 2011: 32-39 - [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) - [i3]Ali Rezaei Divroodi, Linh Anh Nguyen:
On Bisimulations for Description Logics. CoRR abs/1104.1964 (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
- [j18]Barbara Dunin-Keplicz, Linh Anh Nguyen, Andrzej Szalas:
A layered rule-based architecture for approximate knowledge fusion? Comput. Sci. Inf. Syst. 7(3): 617-642 (2010) - [j17]Barbara Dunin-Keplicz, Linh Anh Nguyen, Andrzej Szalas:
A Framework for Graded Beliefs, Goals and Intentions. Fundam. Informaticae 100(1-4): 53-76 (2010) - [j16]Linh Anh Nguyen, Andrzej Szalas:
Checking Consistency of an ABox w.r.t. Global Assumptions in PDL. Fundam. Informaticae 102(1): 97-113 (2010) - [j15]Linh Anh Nguyen:
Horn Knowledge Bases in Regular Description Logics with PTIME Data Complexity. Fundam. Informaticae 104(4): 349-384 (2010) - [j14]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): 346-362 (2010) - [j13]Linh Anh Nguyen, Andrzej Szalas:
Tableaux with Global Caching for Checking Satisfiability of a Knowledge Base in the Description Logic SH. Trans. Comput. Collect. Intell. 1: 21-38 (2010) - [c23]Linh Anh Nguyen, Andrzej Szalas:
Three-Valued Paraconsistent Reasoning for Semantic Web Agents. KES-AMSTA (1) 2010: 152-162 - [c22]Linh Anh Nguyen:
Paraconsistent and Approximate Semantics for the OWL 2 Web Ontology Language. RSCTC 2010: 710-720
2000 – 2009
- 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) - [j11]Rajeev Goré, Linh Anh Nguyen:
Clausal Tableaux for Multimodal Logics of Belief. Fundam. Informaticae 94(1): 21-40 (2009) - [j10]Linh Anh Nguyen:
Modal logic programming revisited. J. Appl. Non Class. Logics 19(2): 167-181 (2009) - [c21]Linh Anh Nguyen, Andrzej Szalas:
A Tableau Calculus for Regular Grammar Logics with Converse. CADE 2009: 421-436 - [c20]Linh Anh Nguyen, Andrzej Szalas:
ExpTime Tableaux for Checking Satisfiability of a Knowledge Base in the Description Logic ALC\mathcal{ALC}. ICCCI 2009: 437-448 - [c19]Barbara Dunin-Keplicz, Linh Anh Nguyen, Andrzej Szalas:
Fusing Approximate Knowledge from Distributed Sources. IDC 2009: 75-86 - [i1]Linh Anh Nguyen, Andrzej Szalas:
Optimal Tableau Decision Procedures for PDL. CoRR abs/0904.0721 (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) - [p1]Ewa Madalinska-Bugaj, Linh Anh Nguyen:
Generalizing the QSQR Evaluation Method for Horn Knowledge Bases. New Challenges in Applied Intelligence Technologies 2008: 145-154 - 2007
- [j8]Linh Anh Nguyen:
Foundations of Modal Deductive Databases. Fundam. Informaticae 79(1-2): 85-135 (2007) - [c18]Rajeev Goré, Linh Anh Nguyen:
Analytic Cut-Free Tableaux for Regular Modal Logics of Agent Beliefs. CLIMA 2007: 268-287 - [c17]Rajeev Goré, Linh Anh Nguyen:
EXPTIME Tableaux for ALC Using Sound Global Caching. Description Logics 2007 - [c16]Linh Anh Nguyen:
Approximating Horn Knowledge Bases in Regular Description Logics to Have PTIME Data Complexity. ICLP 2007: 438-439 - [c15]Rajeev Goré, Linh Anh Nguyen:
EXPTIME Tableaux with Global Caching for Description Logics with Transitive Roles, Inverse Roles and Role Hierarchies. TABLEAUX 2007: 133-148 - 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
- [j5]