Concepedia
Statistics
Publications
35
Citations
663
H-Index
17
Active since
2000
Affiliations
University of Warsaw(Current)
Linköping University
Trường ĐH Nguyễn Tất Thành
Hue University
VNU University of Science
Linh Anh Nguyen is an author at University of Warsaw specializing in engineering, computer science, and formal methods.
Top concepts
EngineeringComputer ScienceAutomated ReasoningFormal MethodsSemanticsFuzzy LogicDescription LogicsFormal VerificationLogic ProgrammingLanguage
Publications per year
2000–2024
On the Complexity of Fragments of Modal Logics
Linh Anh Nguyen · 2004 · 38 citations
EXPTIME tableaux for ALC using sound global caching
Rajeev Goré, Linh Anh Nguyen · International Workshop Description Logics · 2007 · 35 citations
Constructing the Least Models for Positive Modal Logic Programs
Linh Anh Nguyen · Fundamenta Informaticae · 2000 · 32 citations
Mathematical Programming, Engineering, Verification +16
An Efficient Tableau Prover using Global Caching for the Description Logic ALC
Linh Anh Nguyen · Fundamenta Informaticae · 2009 · 32 citations
Bisimulation and bisimilarity for fuzzy description logics under the Gödel semantics
Linh Anh Nguyen, Quang-Thuy Ha, Ngoc Thanh Nguyên et al. · Fuzzy Sets and Systems · 2019 · 29 citations · Full text
Computational Logic, Non-classical Logic, Fuzzy Description Logics +11
1–5 of 35