![](https://dblp.dagstuhl.de/img/logo.ua.320x120.png)
![](https://dblp.dagstuhl.de/img/dropdown.dark.16x16.png)
![](https://dblp.dagstuhl.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
![search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
default search action
Linh Anh Nguyen
Person information
- affiliation: University of Warsaw
Refine list
![note](https://dblp.dagstuhl.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [j61]Linh Anh Nguyen:
Minimizing fuzzy interpretations in fuzzy description logics by using crisp bisimulations. Fuzzy Sets Syst. 481: 108896 (2024) - [j60]Ivana Micic, Miroslav Ciric
, Jelena Matejic
, Stefan Stanimirovic
, Linh Anh Nguyen:
Approximate weak simulations and bisimulations for fuzzy automata over the product structure. Fuzzy Sets Syst. 485: 108959 (2024) - [j59]Linh Anh Nguyen, Dat Xuan Tran:
Computing crisp bisimulations for fuzzy structures. Int. J. Approx. Reason. 166: 109121 (2024) - [i19]Linh Anh Nguyen:
Efficient algorithms for computing bisimulations for nondeterministic fuzzy transition systems. CoRR abs/2407.01052 (2024) - 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]Linh Anh Nguyen, Rajeev Goré:
Completeness of hyper-resolution via the semantics of disjunctive logic programs. Inf. Process. Lett. 95(2): 363-369 (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 - [c8]Rajeev Goré, Linh Anh Nguyen:
A Tableau Calculus with Automaton-Labelled Formulae for Regular Grammar Logics. TABLEAUX 2005: 138-152 - 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
1990 – 1999
- 1999
- [c1]Linh Anh Nguyen:
A New Space Bound for the Modal Logics K4, KD4 and S4. MFCS 1999: 321-331
Coauthor Index
![](https://dblp.dagstuhl.de/img/cog.dark.24x24.png)
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-08-11 00:13 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint