default search action

combined dblp search
author search
venue search
publication search

ask others

Linh Anh Nguyen

> Home > Persons

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

see FAQ

What is the meaning of the colors in the publication lists?

2024
[j61]
- view
  authority control:
- export record
  dblp key:
  - journals/fss/Nguyen24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fss/Nguyen24
Linh Anh Nguyen:
Minimizing fuzzy interpretations in fuzzy description logics by using crisp bisimulations. Fuzzy Sets Syst. 481: 108896 (2024)
[j60]
- view
  authority control:
- export record
  dblp key:
  - journals/fss/MicicCMSN24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fss/MicicCMSN24
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]
- view
  authority control:
- export record
  dblp key:
  - journals/ijar/NguyenT24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ijar/NguyenT24
Linh Anh Nguyen, Dat Xuan Tran:
Computing crisp bisimulations for fuzzy structures. Int. J. Approx. Reason. 166: 109121 (2024)
[i19]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2407-01052
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2407-01052
Linh Anh Nguyen:
Efficient algorithms for computing bisimulations for nondeterministic fuzzy transition systems. CoRR abs/2407.01052 (2024)
2023
[j58]
- view
  authority control:
- export record
  dblp key:
  - journals/fss/NguyenMS23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fss/NguyenMS23
Linh Anh Nguyen, Ivana Micic, Stefan Stanimirovic:
Depth-bounded fuzzy simulations and bisimulations between fuzzy automata. Fuzzy Sets Syst. 473: 108729 (2023)
[j57]
- view
  authority control:
- export record
  dblp key:
  - journals/ijar/Nguyen23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ijar/Nguyen23
Linh Anh Nguyen:
Fuzzy simulations and bisimulations between fuzzy automata. Int. J. Approx. Reason. 155: 113-131 (2023)
[j56]
- view
  authority control:
- export record
  dblp key:
  - journals/isci/Nguyen23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/isci/Nguyen23
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]
- view
  authority control:
- export record
  dblp key:
  - journals/tfs/NguyenN23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tfs/NguyenN23
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]
- view
  authority control:
- export record
  dblp key:
  - journals/tfs/NguyenMS23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tfs/NguyenMS23
Linh Anh Nguyen, Ivana Micic, Stefan Stanimirovic:
Fuzzy Minimax Nets. IEEE Trans. Fuzzy Syst. 31(8): 2799-2808 (2023)
[c55]
- view
  authority control:
- export record
  dblp key:
  - conf/eusflat/MicicMSN23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/eusflat/MicicMSN23
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]
- view
  authority control:
- export record
  dblp key:
  - conf/eusflat/StanimirovicMN23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/eusflat/StanimirovicMN23
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]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2309-02750
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2309-02750
Miroslav Ciric, Ivana Micic, Stefan Stanimirovic, Linh Anh Nguyen:
Approximate State Reduction of Fuzzy Finite Automata. AFL 2023: 51-66
[i18]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2303-11438
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2303-11438
Linh Anh Nguyen:
Minimizing Fuzzy Interpretations in Fuzzy Description Logics by Using Crisp Bisimulations. CoRR abs/2303.11438 (2023)
[i17]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2307-03318
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2307-03318
Linh Anh Nguyen, Ivana Micic, Stefan Stanimirovic:
Depth-Bounded Fuzzy Simulations and Bisimulations between Fuzzy Automata. CoRR abs/2307.03318 (2023)
2022
[j53]
- view
  authority control:
- export record
  dblp key:
  - journals/cas/NguyenN22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cas/NguyenN22
Linh Anh Nguyen, Ngoc-Thanh Nguyen:
Logical Characterizations of Fuzzy Simulations. Cybern. Syst. 53(5): 482-499 (2022)
[j52]
- view
  authority control:
- export record
  dblp key:
  - journals/fss/Nguyen22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fss/Nguyen22
Linh Anh Nguyen:
Logical characterizations of fuzzy bisimulations in fuzzy modal logics over residuated lattices. Fuzzy Sets Syst. 431: 70-93 (2022)
[j51]
- view
  authority control:
- export record
  dblp key:
  - journals/fss/MicicNS22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fss/MicicNS22
Ivana Micic, Linh Anh Nguyen, Stefan Stanimirovic:
Characterization and computation of approximate bisimulations for fuzzy automata. Fuzzy Sets Syst. 442: 331-350 (2022)
[j50]
- view
  authority control:
- export record
  dblp key:
  - journals/jifs/Nguyen22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jifs/Nguyen22
Linh Anh Nguyen:
Computing crisp simulations for fuzzy labeled transition systems. J. Intell. Fuzzy Syst. 42(4): 3067-3078 (2022)
[i16]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2205-01955
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2205-01955
Linh Anh Nguyen:
Fuzzy Simulations and Bisimulations between Fuzzy Automata. CoRR abs/2205.01955 (2022)
2021
[j49]
- view
  authority control:
- export record
  dblp key:
  - journals/ijar/Nguyen21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ijar/Nguyen21
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]
- view
  authority control:
- export record
  dblp key:
  - journals/tfs/NguyenT21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tfs/NguyenT21
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]
- view
  authority control:
- export record
  dblp key:
  - conf/fuzzIEEE/NguyenN21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fuzzIEEE/NguyenN21
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]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/kes/NguyenS21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kes/NguyenS21
Linh Anh Nguyen, Andrzej Szalas:
Optimization Models for Medical Procedures Relocation. KES 2021: 2058-2067
[i15]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-2101-12349
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2101-12349
Linh Anh Nguyen:
Logical Characterizations of Fuzzy Bisimulations in Fuzzy Modal Logics over Residuated Lattices. CoRR abs/2101.12349 (2021)
[i14]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-2107-08542
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2107-08542
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]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-2109-02334
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2109-02334
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]
- view
  authority control:
- export record
  dblp key:
  - journals/fss/NguyenHNNT20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fss/NguyenHNNT20
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]
- view
  authority control:
- export record
  dblp key:
  - journals/jar/Nguyen20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/Nguyen20
Linh Anh Nguyen:
ExpTime Tableaux with Global Caching for Hybrid PDL. J. Autom. Reason. 64(1): 21-52 (2020)
[i12]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-2008-02857
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2008-02857
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]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-2010-15671
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2010-15671
Linh Anh Nguyen, Dat Xuan Tran:
Computing Crisp Bisimulations for Fuzzy Structures. CoRR abs/2010.15671 (2020)
[i10]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-2012-01845
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2012-01845
Linh Anh Nguyen:
Computing Crisp Simulations and Crisp Directed Simulations for Fuzzy Graph-Based Structures. CoRR abs/2012.01845 (2020)

2010 – 2019

see FAQ

What is the meaning of the colors in the publication lists?

2019
[j45]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/cai/CaoN19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cai/CaoN19
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]
- view
  authority control:
- export record
  dblp key:
  - journals/eis/NguyenN19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/eis/NguyenN19
Linh Anh Nguyen, Ngoc Thanh Nguyen:
An expressive and tractable rule-based description language. Enterp. Inf. Syst. 13(7-8): 1069-1093 (2019)
[j43]
- view
  authority control:
- export record
  dblp key:
  - journals/jifs/NguyenN19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jifs/NguyenN19
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]
- view
  authority control:
- export record
  dblp key:
  - journals/logcom/Nguyen19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/logcom/Nguyen19
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]
- view
  authority control:
- export record
  dblp key:
  - journals/tfs/Nguyen19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tfs/Nguyen19
Linh Anh Nguyen:
Bisimilarity in Fuzzy Description Logics Under the Zadeh Semantics. IEEE Trans. Fuzzy Syst. 27(6): 1151-1161 (2019)
[c50]
- view
  authority control:
- export record
  dblp key:
  - conf/iccci/NguyenN19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iccci/NguyenN19
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]
- view
  authority control:
- export record
  dblp key:
  - journals/fuin/Nguyen18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fuin/Nguyen18
Linh Anh Nguyen:
Computing Bisimulation-Based Comparisons. Fundam. Informaticae 157(4): 385-401 (2018)
[j39]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/vjcs/DivroodiHNN18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/vjcs/DivroodiHNN18
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]
- view
  - electronic edition @ ceur-ws.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/csp/Nguyen18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/csp/Nguyen18
Linh Anh Nguyen:
The Influence of the Test Operator on the Expressive Powers of PDL-Like Logics. CS&P 2018
[c48]
- view
  authority control:
- export record
  dblp key:
  - conf/rskt/HaNNT18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rskt/HaNNT18
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]
- view
  authority control:
- export record
  dblp key:
  - journals/cas/CaoNN17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cas/CaoNN17
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]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/jiat/CaoN17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jiat/CaoN17
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]
- view
  authority control:
- export record
  dblp key:
  - journals/jifs/NguyenNNH17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jifs/NguyenNNH17
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]
- view
  authority control:
- export record
  dblp key:
  - journals/logcom/DivroodiN17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/logcom/DivroodiN17
Ali Rezaei Divroodi, Linh Anh Nguyen:
On directed simulations in description logics. J. Log. Comput. 27(7): 1955-1986 (2017)
[i9]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/Nguyen17c
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/Nguyen17c
Linh Anh Nguyen:
ExpTime Tableaux with Global Caching for Hybrid PDL. CoRR abs/1705.00848 (2017)
2016
[j34]
- view
  authority control:
- export record
  dblp key:
  - journals/fuin/Nguyen16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fuin/Nguyen16
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]
- view
  authority control:
- export record
  dblp key:
  - journals/fuin/Nguyen16a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fuin/Nguyen16a
Linh Anh Nguyen:
ExpTime Tableaux with Global Caching for Graded Propositional Dynamic Logic. Fundam. Informaticae 147(2-3): 261-288 (2016)
[j32]
- view
  authority control:
- export record
  dblp key:
  - journals/ijseke/Nguyen16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ijseke/Nguyen16
Linh Anh Nguyen:
Design of the Tableau Reasoner TGC2 for Description Logics. Int. J. Softw. Eng. Knowl. Eng. 26(8): 1315- (2016)
[c47]
- view
  - electronic edition @ ceur-ws.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/csp/Nguyen16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/csp/Nguyen16
Linh Anh Nguyen:
Computing Bisimulation-Based Comparisons. CS&P 2016: 245-256
[c46]
- view
  authority control:
- export record
  dblp key:
  - conf/smc/NguyenNNH16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/smc/NguyenNNH16
Linh Anh Nguyen, Thi Hong Khanh Nguyen, Ngoc Thanh Nguyen, Quang-Thuy Ha:
Bisimilarity for paraconsistent description logics. SMC 2016: 4694-4699
2015
[j31]
- view
  authority control:
- export record
  dblp key:
  - journals/dke/NguyenNS15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/dke/NguyenNS15
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]
- view
  authority control:
- export record
  dblp key:
  - journals/isci/DivroodiN15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/isci/DivroodiN15
Ali Rezaei Divroodi, Linh Anh Nguyen:
On bisimulations for description logics. Inf. Sci. 295: 465-493 (2015)
[j29]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/vjcs/TranNH15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/vjcs/TranNH15
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]
- view
  - electronic edition @ ceur-ws.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/csp/Nguyen15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/csp/Nguyen15
Linh Anh Nguyen:
ExpTime Tableaux with Global Caching for Graded Propositional Dynamic Logic. CS&P 2015: 44-56
[c44]
- view
  authority control:
- export record
  dblp key:
  - conf/iccsama/Nguyen15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iccsama/Nguyen15
Linh Anh Nguyen:
Designing a Tableau Reasoner for Description Logics. ICCSAMA 2015: 321-333
2014
[j28]
- view
  authority control:
- export record
  dblp key:
  - journals/fuin/TranHHNN14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fuin/TranHHNN14
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]
- view
  authority control:
- export record
  dblp key:
  - journals/fuin/NguyenG14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fuin/NguyenG14
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]
- view
  authority control:
- export record
  dblp key:
  - journals/ijon/Nguyen14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ijon/Nguyen14
Linh Anh Nguyen:
ExpTime tableaux with global state caching for the description logic SHIO. Neurocomputing 146: 249-263 (2014)
[j25]
- view
  authority control:
- export record
  dblp key:
  - journals/tcci/CaoNS14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcci/CaoNS14
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]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/vjcs/CaoNS14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/vjcs/CaoNS14
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]
- view
  authority control:
- export record
  dblp key:
  - conf/adbis/CaoN14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/adbis/CaoN14
Son Thanh Cao, Linh Anh Nguyen:
An Empirical Approach to Query-Subquery Nets with Tail-Recursion Elimination. ADBIS (2) 2014: 109-120
[c42]
- view
  - electronic edition @ ceur-ws.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/csp/Nguyen14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/csp/Nguyen14
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]
- view
  authority control:
- export record
  dblp key:
  - conf/iccsama/CaoN14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iccsama/CaoN14
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]
- view
  authority control:
- export record
  dblp key:
  - conf/iccsama/TranNH14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iccsama/TranNH14
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]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/NguyenG14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/NguyenG14
Linh Anh Nguyen, Joanna Golinska-Pilarek:
ExpTime Tableaux with Global Caching for the Description Logic SHOQ. CoRR abs/1405.7221 (2014)
2013
[j23]
- view
  authority control:
- export record
  dblp key:
  - journals/jar/GoreN13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/GoreN13
Rajeev Goré, Linh Anh Nguyen:
ExpTime Tableaux for ALC Using Sound Global Caching. J. Autom. Reason. 50(4): 355-381 (2013)
[c39]
- view
  - electronic edition @ ceur-ws.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/csp/NguyenG13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/csp/NguyenG13
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]
- view
  - electronic edition @ ceur-ws.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/csp/TranHHNN13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/csp/TranHHNN13
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]
- view
  - electronic edition @ ceur-ws.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/dlog/DivroodiN13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dlog/DivroodiN13
Ali Rezaei Divroodi, Linh Anh Nguyen:
Bisimulation-Based Comparisons for Interpretations in Description Logics. Description Logics 2013: 652-669
[c36]
- view
  authority control:
- export record
  dblp key:
  - conf/iccci/Dunin-KepliczNS13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iccci/Dunin-KepliczNS13
Barbara Dunin-Keplicz, Linh Anh Nguyen, Andrzej Szalas:
Horn-TeamLog: A Horn Fragment of TeamLog with PTime Data Complexity. ICCCI 2013: 143-153
[c35]
- view
  authority control:
- export record
  dblp key:
  - conf/kesamsta/NguyenS13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kesamsta/NguyenS13
Linh Anh Nguyen, Andrzej Szalas:
On the Horn Fragments of Serial Regular Grammar Logics with Converse. KES-AMSTA 2013: 225-234
[c34]
- view
  authority control:
- export record
  dblp key:
  - conf/kesamsta/Nguyen13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kesamsta/Nguyen13
Linh Anh Nguyen:
Cut-Free ExpTime Tableaux for Converse-PDL Extended with Regular Inclusion Axioms. KES-AMSTA 2013: 235-244
[c33]
- view
  authority control:
- export record
  dblp key:
  - conf/kse/NguyenNS13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kse/NguyenNS13
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]
- view
  authority control:
- export record
  dblp key:
  - conf/rr/NguyenNS13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rr/NguyenNS13
Linh Anh Nguyen, Thi-Bich-Loc Nguyen, Andrzej Szalas:
HornDL: An Expressive Horn Description Logic with PTime Data Complexity. RR 2013: 259-264
[p4]
- view
  authority control:
- export record
  dblp key:
  - series/isrl/NguyenS13a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/isrl/NguyenS13a
Linh Anh Nguyen, Andrzej Szalas:
Logic-Based Roughification. Rough Sets and Intelligent Systems (1) 2013: 517-543
[p3]
- view
  authority control:
- export record
  dblp key:
  - series/sci/Nguyen13a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/sci/Nguyen13a
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]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1304-5602
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1304-5602
Ali Rezaei Divroodi, Linh Anh Nguyen:
Bisimulation-Based Comparisons for Interpretations in Description Logics. CoRR abs/1304.5602 (2013)
2012
[j22]
- view
  authority control:
- export record
  dblp key:
  - journals/tcci/NguyenS12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcci/NguyenS12
Linh Anh Nguyen, Andrzej Szalas:
Paraconsistent Reasoning for Semantic Web Agents. Trans. Comput. Collect. Intell. 6: 36-55 (2012)
[j21]
- view
  authority control:
- export record
  dblp key:
  - journals/tocl/Madalinska-BugajN12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tocl/Madalinska-BugajN12
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]
- view
  authority control:
- export record
  dblp key:
  - conf/iccci/DivroodiHNN12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iccci/DivroodiHNN12
Ali Rezaei Divroodi, Quang-Thuy Ha, Linh Anh Nguyen, Hung Son Nguyen:
On C-Learnability in Description Logics. ICCCI (1) 2012: 230-238
[c30]
- view
  authority control:
- export record
  dblp key:
  - conf/iccci/NguyenC12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iccci/NguyenC12
Linh Anh Nguyen, Son Thanh Cao:
Query-Subquery Nets. ICCCI (1) 2012: 239-248
[c29]
- view
  authority control:
- export record
  dblp key:
  - conf/kse/TranHHNNS12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kse/TranHHNNS12
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]
- view
  authority control:
- export record
  dblp key:
  - conf/soict/HaHNNST12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/soict/HaHNNST12
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]
- view
  authority control:
- export record
  dblp key:
  - series/sci/NguyenN12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/sci/NguyenN12
Linh Anh Nguyen, Hung Son Nguyen:
On Designing the SONCA System. Intelligent Tools for Building a Scientific Information Platform 2012: 9-35
[i6]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1201-2564
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1201-2564
Linh Anh Nguyen, Son Thanh Cao:
Query-Subquery Nets. CoRR abs/1201.2564 (2012)
[i5]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1205-5838
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1205-5838
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]
- view
  authority control:
- export record
  dblp key:
  - journals/jancl/Dunin-KepliczNS11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jancl/Dunin-KepliczNS11
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]
- view
  authority control:
- export record
  dblp key:
  - journals/sLogica/NguyenS11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sLogica/NguyenS11
Linh Anh Nguyen, Andrzej Szalas:
ExpTime Tableau Decision Procedures for Regular Grammar Logics with Converse. Stud Logica 98(3): 387-428 (2011)
[c27]
- view
  authority control:
- export record
  dblp key:
  - conf/iccci/CaoNS11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iccci/CaoNS11
Son Thanh Cao, Linh Anh Nguyen, Andrzej Szalas:
On the Web Ontology Rule Language OWL 2 RL. ICCCI (1) 2011: 254-264
[c26]
- view
  authority control:
- export record
  dblp key:
  - conf/iccci/Nguyen11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iccci/Nguyen11
Linh Anh Nguyen:
A Cut-Free ExpTime Tableau Decision Procedure for the Description Logic SHI. ICCCI (1) 2011: 572-581
[c25]
- view
  authority control:
- export record
  dblp key:
  - conf/ismis/Nguyen11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ismis/Nguyen11
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]
- view
  authority control:
- export record
  dblp key:
  - conf/kse/CaoNS11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kse/CaoNS11
Son Thanh Cao, Linh Anh Nguyen, Andrzej Szalas:
WORL: A Web Ontology Rule Language. KSE 2011: 32-39
[i4]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1104-0405
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1104-0405
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]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1104-1964
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1104-1964
Ali Rezaei Divroodi, Linh Anh Nguyen:
On Bisimulations for Description Logics. CoRR abs/1104.1964 (2011)
[i2]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1106-2305
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1106-2305
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]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/comsis/Dunin-KepliczNS10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/comsis/Dunin-KepliczNS10
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]
- view
  authority control:
- export record
  dblp key:
  - journals/fuin/Dunin-KepliczNS10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fuin/Dunin-KepliczNS10
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]
- view
  authority control:
- export record
  dblp key:
  - journals/fuin/NguyenS10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fuin/NguyenS10
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]
- view
  authority control:
- export record
  dblp key:
  - journals/fuin/Nguyen10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fuin/Nguyen10
Linh Anh Nguyen:
Horn Knowledge Bases in Regular Description Logics with PTIME Data Complexity. Fundam. Informaticae 104(4): 349-384 (2010)
[j14]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/ijar/Dunin-KepliczNS10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ijar/Dunin-KepliczNS10
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]
- view
  authority control:
- export record
  dblp key:
  - journals/tcci/NguyenS10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcci/NguyenS10
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]
- view
  authority control:
- export record
  dblp key:
  - conf/kesamsta/NguyenS10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kesamsta/NguyenS10
Linh Anh Nguyen, Andrzej Szalas:
Three-Valued Paraconsistent Reasoning for Semantic Web Agents. KES-AMSTA (1) 2010: 152-162
[c22]
- view
  authority control:
- export record
  dblp key:
  - conf/rsctc/Nguyen10a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rsctc/Nguyen10a
Linh Anh Nguyen:
Paraconsistent and Approximate Semantics for the OWL 2 Web Ontology Language. RSCTC 2010: 710-720

2000 – 2009

see FAQ

What is the meaning of the colors in the publication lists?

2009
[j12]
- view
  authority control:
- export record
  dblp key:
  - journals/fuin/Nguyen09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fuin/Nguyen09
Linh Anh Nguyen:
An Efficient Tableau Prover using Global Caching for the Description Logic ALC. Fundam. Informaticae 93(1-3): 273-288 (2009)
[j11]
- view
  authority control:
- export record
  dblp key:
  - journals/fuin/GoreN09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fuin/GoreN09
Rajeev Goré, Linh Anh Nguyen:
Clausal Tableaux for Multimodal Logics of Belief. Fundam. Informaticae 94(1): 21-40 (2009)
[j10]
- view
  authority control:
- export record
  dblp key:
  - journals/jancl/Nguyen09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jancl/Nguyen09
Linh Anh Nguyen:
Modal logic programming revisited. J. Appl. Non Class. Logics 19(2): 167-181 (2009)
[c21]
- view
  authority control:
- export record
  dblp key:
  - conf/cade/NguyenS09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cade/NguyenS09
Linh Anh Nguyen, Andrzej Szalas:
A Tableau Calculus for Regular Grammar Logics with Converse. CADE 2009: 421-436
[c20]
- view
  authority control:
- export record
  dblp key:
  - conf/iccci/NguyenS09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iccci/NguyenS09
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]
- view
  authority control:
- export record
  dblp key:
  - conf/idc/Dunin-KepliczNS09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/idc/Dunin-KepliczNS09
Barbara Dunin-Keplicz, Linh Anh Nguyen, Andrzej Szalas:
Fusing Approximate Knowledge from Distributed Sources. IDC 2009: 75-86
[i1]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-0904-0721
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-0904-0721
Linh Anh Nguyen, Andrzej Szalas:
Optimal Tableau Decision Procedures for PDL. CoRR abs/0904.0721 (2009)
2008
[j9]
- view
  authority control:
- export record
  dblp key:
  - journals/igpl/Nguyen08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/igpl/Nguyen08
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]
- view
  authority control:
- export record
  dblp key:
  - series/sci/Madalinska-BugajN08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/sci/Madalinska-BugajN08
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]
- view
  - electronic edition @ iospress.com
  - details & citations
- export record
  dblp key:
  - journals/fuin/Nguyen07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fuin/Nguyen07
Linh Anh Nguyen:
Foundations of Modal Deductive Databases. Fundam. Informaticae 79(1-2): 85-135 (2007)
[c18]
- view
  authority control:
- export record
  dblp key:
  - conf/clima/GoreN07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/clima/GoreN07
Rajeev Goré, Linh Anh Nguyen:
Analytic Cut-Free Tableaux for Regular Modal Logics of Agent Beliefs. CLIMA 2007: 268-287
[c17]
- view
  - electronic edition @ ceur-ws.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/dlog/GoreN07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dlog/GoreN07
Rajeev Goré, Linh Anh Nguyen:
EXPTIME Tableaux for ALC Using Sound Global Caching. Description Logics 2007
[c16]
- view
  authority control:
- export record
  dblp key:
  - conf/iclp/Nguyen07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iclp/Nguyen07
Linh Anh Nguyen:
Approximating Horn Knowledge Bases in Regular Description Logics to Have PTIME Data Complexity. ICLP 2007: 438-439
[c15]
- view
  authority control:
- export record
  dblp key:
  - conf/tableaux/GoreN07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tableaux/GoreN07
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]
- view
  - electronic edition @ iospress.com
  - details & citations
- export record
  dblp key:
  - journals/fuin/Nguyen06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fuin/Nguyen06
Linh Anh Nguyen:
Negative Ordered Hyper-Resolution as a Proof Procedure for Disjunctive Logic Programming. Fundam. Informaticae 70(4): 351-366 (2006)
[j6]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/Nguyen06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/Nguyen06
Linh Anh Nguyen:
Multimodal logic programming. Theor. Comput. Sci. 360(1-3): 247-288 (2006)
[c14]
- view
  - electronic edition @ aiml.net (open access)
  - details & citations
- export record
  dblp key:
  - conf/aiml/Nguyen06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aiml/Nguyen06
Linh Anh Nguyen:
On the Deterministic Horn Fragment of Test-free PDL. Advances in Modal Logic 2006: 373-392
[c13]
- view
  authority control:
- export record
  dblp key:
  - conf/jelia/Nguyen06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/jelia/Nguyen06
Linh Anh Nguyen:
A Bottom-Up Method for the Deterministic Horn Fragment of the Description Logic ALC. JELIA 2006: 346-358
[c12]
- view
  authority control:
- export record
  dblp key:
  - conf/mfcs/Nguyen06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mfcs/Nguyen06
Linh Anh Nguyen:
The Data Complexity of MDatalog in Basic Modal Logics. MFCS 2006: 729-740
2005
[j5]
- view
  authority control:
- export record
  dblp key:
  - journals/ipl/NguyenG05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ipl/NguyenG05
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]
- view
  authority control:
- export record
  dblp key:
  - conf/adbis/Nguyen05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/adbis/Nguyen05
Linh Anh Nguyen:
On Modal Deductive Databases. ADBIS 2005: 43-57
[c10]
- view
  authority control:
- export record
  dblp key:
  - conf/clima/Nguyen05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/clima/Nguyen05
Linh Anh Nguyen:
Reasoning About Epistemic States of Agents by Modal Logic Programming. CLIMA 2005: 37-56
[c9]
- view
  authority control:
- export record
  dblp key:
  - conf/ictac/Nguyen05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ictac/Nguyen05
Linh Anh Nguyen:
An SLD-Resolution Calculus for Basic Serial Multimodal Logics. ICTAC 2005: 151-165
[c8]
- view
  authority control:
- export record
  dblp key:
  - conf/tableaux/GoreN05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tableaux/GoreN05
Rajeev Goré, Linh Anh Nguyen:
A Tableau Calculus with Automaton-Labelled Formulae for Regular Grammar Logics. TABLEAUX 2005: 138-152
2004
[c7]
- view
  - electronic edition @ aiml.net (open access)
  - details & citations
- export record
  dblp key:
  - conf/aiml/Nguyen04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aiml/Nguyen04
Linh Anh Nguyen:
On the Complexity of Fragments of Modal Logics. Advances in Modal Logic 2004: 249-268
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/iclp/Nguyen04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iclp/Nguyen04
Linh Anh Nguyen:
MProlog: An Extension of Prolog for Modal Logic Programming. ICLP 2004: 469-470
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/jelia/Nguyen04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/jelia/Nguyen04
Linh Anh Nguyen:
The Modal Logic Programming System MProlog. JELIA 2004: 266-278
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/jelia/Nguyen04a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/jelia/Nguyen04a
Linh Anh Nguyen:
Negative Hyper-resolution as Procedural Semantics of Disjunctive Logic Programs. JELIA 2004: 565-577
2003
[j4]
- view
  - electronic edition @ iospress.com
  - details & citations
- export record
  dblp key:
  - journals/fuin/Nguyen03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fuin/Nguyen03
Linh Anh Nguyen:
A Fixpoint Semantics and an SLD-Resolution Calculus for Modal Logic Programs. Fundam. Informaticae 55(1): 63-100 (2003)
2002
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/tableaux/Nguyen02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tableaux/Nguyen02
Linh Anh Nguyen:
Analytic Tableau Systems for Propositional Bimodal Logics of Knowledge and Belief. TABLEAUX 2002: 206-220
2001
[j3]
- view
  - electronic edition @ iospress.com
  - details & citations
- export record
  dblp key:
  - journals/fuin/Nguyen01a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fuin/Nguyen01a
Linh Anh Nguyen:
The Modal Query Language MDatalog. Fundam. Informaticae 46(4): 315-342 (2001)
[j2]
- view
  authority control:
- export record
  dblp key:
  - journals/sLogica/Nguyen01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sLogica/Nguyen01
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]
- view
  authority control:
- export record
  dblp key:
  - journals/fuin/Nguyen00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fuin/Nguyen00
Linh Anh Nguyen:
Constructing the Least Models for Positive Modal Logic Programs. Fundam. Informaticae 42(1): 29-60 (2000)
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/tableaux/Nguyen00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tableaux/Nguyen00
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

see FAQ

What is the meaning of the colors in the publication lists?

1999
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/mfcs/Nguyen99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mfcs/Nguyen99
Linh Anh Nguyen:
A New Space Bound for the Modal Logics K4, KD4 and S4. MFCS 1999: 321-331

Coauthor Index

see FAQ

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.