Publikacje

Anh Linh Nguyen

Liczba publikacji: 131

2024

• Ivana Micić, Miroslav Ćirić, Jelena Matejić, Stefan Stanimirović, Anh Linh Nguyen , Approximate weak simulations and bisimulations for fuzzy automata over the product structure, Fuzzy Sets and Systems, 485 2024, s. 108959. Zobacz w PBN
• Anh Linh Nguyen , Dat Xuan Tran, Computing crisp bisimulations for fuzzy structures, International Journal of Approximate Reasoning, 166 2024, s. 109121. Zobacz w PBN
• Anh Linh Nguyen , Minimizing fuzzy interpretations in fuzzy description logics by using crisp bisimulations, Fuzzy Sets and Systems, 481 2024, s. 108896. Zobacz w PBN

2023

• Miroslav Ciric, Ivana Micic, Stefan Stanimirovic, Anh Linh Nguyen , Approximate State Reduction of Fuzzy Finite Automata, Electronic Proceedings in Theoretical Computer Science, The 16th International Conference on Automata and Formal Languages, Eger, Hungary, 5 września 2023 - 7 września 2023, 386 2023, s. 51-66. Zobacz w PBN
• Anh Linh Nguyen , Computing the fuzzy partition corresponding to the greatest fuzzy auto-bisimulation of a fuzzy graph-based structure under the Gödel semantics, Information Sciences, 630 2023, s. 482-506. Zobacz w PBN
• Anh Linh Nguyen , Ivana Micić, Stefan Stanimirović, Depth-bounded fuzzy simulations and bisimulations between fuzzy automata, Fuzzy Sets and Systems, 473 2023, s. 108729, 1-22. Zobacz w PBN
• Anh Linh Nguyen , Ivana Micić, Stefan Stanimirović, Fuzzy Minimax Nets, IEEE TRANSACTIONS ON FUZZY SYSTEMS, 31 (8) 2023, s. 2799-2808. Zobacz w PBN
• Anh Linh Nguyen , Fuzzy simulations and bisimulations between fuzzy automata, International Journal of Approximate Reasoning, 155 2023, s. 113-131. Zobacz w PBN
• Stefan Stanimirovic, Ivana Micic, Anh Linh Nguyen , On Relationships Between Approximate Bisimulations for Fuzzy Graphs and Their Approximation Degrees, 13th Conference of the European Society for Fuzzy Logic and Technology, Palma, Spain, 4 września 2023 - 8 września 2023, 14069 2023, s. 579-590. Zobacz w PBN
• Ivana Micić, Jelena Matejić, Stefan Stanimirović, Anh Linh Nguyen , Towards New Types of Weak Bisimulations for Fuzzy Automata Using the Product T-Norm, 13th Conference of the European Society for Fuzzy Logic and Technology, Palma, Spain, 4 września 2023 - 8 września 2023. Zobacz w PBN

2022

• Ivana Micic, Anh Linh Nguyen , Stefan Stanimirovic, Characterization and computation of approximate bisimulations for fuzzy automata, Fuzzy Sets and Systems, 442 2022, s. 331-350. Zobacz w PBN
• Anh Linh Nguyen , Computing crisp simulations for fuzzy labeled transition systems, JOURNAL OF INTELLIGENT & FUZZY SYSTEMS, 42 (4) 2022, s. 3067-3078. Zobacz w PBN
• Anh Linh Nguyen , Logical characterizations of fuzzy bisimulations in fuzzy modal logics over residuated lattices, Fuzzy Sets and Systems, 431 2022, s. 70-93. Zobacz w PBN
• Anh Linh Nguyen , Ngoc Nguyen, Logical Characterizations of Fuzzy Simulations, Cybernetics and Systems, 53 (5) 2022, s. 482-499. Zobacz w PBN

2021

• Ngoc-Thanh Nguyen, Anh Linh Nguyen , Characterizing crisp simulations and crisp directed simulations between fuzzy labeled transition systems by using fuzzy modal logics, International Journal of Approximate Reasoning, 2021 IEEE International Conference on Fuzzy Systems (FUZZ-IEEE), Luxembourg, Luxembourg, 11 lipca 2021 - 14 lipca 2021. Zobacz w PBN
• Anh Linh Nguyen , Characterizing fuzzy simulations for fuzzy labeled transition systems in fuzzy propositional dynamic logic, International Journal of Approximate Reasoning, 135 2021, s. 21-37. Zobacz w PBN
• Anh Linh Nguyen , Dat Xuan Tran, Computing Fuzzy Bisimulations for Fuzzy Structures Under the Gödel Semantics, IEEE TRANSACTIONS ON FUZZY SYSTEMS, 29 (7) 2021, s. 1715-1724. Zobacz w PBN
• Anh Linh Nguyen , Andrzej Szałas , Optimization Models for Medical Procedures Relocation, Procedia Computer Science, 192 2021, s. 2058-2067. Zobacz w PBN

2020

• Anh Linh Nguyen , Quang-Thuy Ha, Ngoc Nguyen, Thi Hong Khanh Nguyen, Thanh-Luong Tran, Bisimulation and bisimilarity for fuzzy description logics under the Gödel semantics, Fuzzy Sets and Systems, vol. 388 2020, s. 146-178. Zobacz w PBN
• Anh Linh Nguyen , ExpTime Tableaux with Global Caching for Hybrid PDL, Journal of Automated Reasoning, 64 (1) 2020, s. 21-52. Zobacz w PBN

2019

• Ngoc Nguyen, Anh Linh Nguyen , An expressive and tractable rule-based description language, Enterprise Information Systems, vol. 13 (nr 7/8) 2019, s. 1069-1093. Zobacz w PBN
• Anh Linh Nguyen , Bisimilarity in Fuzzy Description Logics Under the Zadeh Semantics, IEEE TRANSACTIONS ON FUZZY SYSTEMS, 27 (6) 2019, s. 1151-1161. Zobacz w PBN
• Ngoc Nguyen, Anh Linh Nguyen , Bisimulations for fuzzy description logics with involutive negation under the Gödel semantics, 11th International Conference on Computational Collective Intelligence, Hendaye, France, 4 września 2019 - 6 września 2019. Zobacz w PBN
• Son Thanh Cao, Anh Linh Nguyen , Incorporating Stratified Negation into Query-Subquery Nets for Evaluating Queries to Stratified Deductive Databases, COMPUTING AND INFORMATICS, 38 2019, s. 19--56. Zobacz w PBN
• Ngoc Nguyen, Anh Linh Nguyen , Minimizing interpretations in fuzzy description logics under the Gödel semantics by using fuzzy bisimulations, JOURNAL OF INTELLIGENT & FUZZY SYSTEMS, vol. 37 (nr 6) 2019, s. 7669-7678. Zobacz w PBN
• Anh Linh Nguyen , The Influence of the Test Operator on the Expressive Power of PDL-like Logics, Journal of Logic and Computation, 29 (8) 2019, s. 1289--1310. Zobacz w PBN

2018

• Anh Linh Nguyen , Computing Bisimulation-Based Comparisons, Fundamenta Informaticae, 157 (4) 2018, s. 385-401. Zobacz w PBN
• Quang-Thuy Ha, Anh Linh Nguyen , Thi Hong Khanh Nguyen, Thanh-Luong Tran, Fuzzy Bisimulations in Fuzzy Description Logics Under the Gödel Semantics, Rough Sets - International Joint Conference (IJCRS 2018), Quy Nhon, Viet Nam, 20 sierpnia 2018 - 24 sierpnia 2018. Zobacz w PBN
• Ali Rezaei Divroodi, Quang-Thuy Ha, Anh Linh Nguyen , Hung Son Nguyen , On the possibility of correct concept learning in description logics, Vietnam Journal of Computer Science, 5 (1) 2018, s. 3-14. Zobacz w PBN
• Anh Linh Nguyen , The Influence of the Test Operator on the Expressive Powers of PDL-Like Logics, International Workshop on Concurrency, Specification and Programming, CS&P 2018, Berlin, Germany, 24 września 2018 - 26 września 2018. Zobacz w PBN

2017

• Quang-Thuy Ha, Anh Linh Nguyen , Ngoc Nguyen, Thi Hong Khanh Nguyen, Bisimilarity for paraconsistent description logics, JOURNAL OF INTELLIGENT & FUZZY SYSTEMS, 32 (2) 2017, s. 1203-1215. Zobacz w PBN
• Son Thanh Cao, Anh Linh Nguyen , Ngoc Nguyen, Extending Query-Subquery Nets for Deductive Databases under the Well-Founded Semantics, Cybernetics and Systems, 48 (3) 2017, s. 249-266. Zobacz w PBN
• Ali Rezaei Divroodi, Anh Linh Nguyen , On directed simulations in description logics, Journal of Logic and Computation, 27 (7) 2017, s. 1955–1986. Zobacz w PBN
• Son Thanh Cao, Anh Linh Nguyen , Query-subquery nets for Horn knowledge bases in first-order logic, Journal of Information and Telecommunication, 1 (1) 2017, s. 79-99. Zobacz w PBN

2016

• Anh Linh Nguyen , A Tractable Rule Language in the Modal and Description Logic that Combines CPDL with Regular Grammar Logic, Fundamenta Informaticae, 2016. Zobacz w PBN
• Quang-Thuy Ha, Anh Linh Nguyen , Ngoc Nguyen, Thi Hong Khanh Nguyen, Bisimilarity for paraconsistent description logics, 2016 IEEE International Conference on Systems, Man, and Cybernetics, Budapeszt, Hungary, 9 października 2016 - 12 października 2016. Zobacz w PBN
• Anh Linh Nguyen , Computing Bisimulation-Based Comparisons, 25th International Workshop on Concurrency, Specification and Programming, Rostock, Germany, 28 września 2016 - 30 września 2016. Zobacz w PBN
• Anh Linh Nguyen , Design of the Tableau Reasoner TGC2 for Description Logics, International Journal of Software Engineering and Knowledge Engineering, 2016. Zobacz w PBN
• Anh Linh Nguyen , ExpTime Tableaux with Global Caching for Graded Propositional Dynamic Logic, Fundamenta Informaticae, 2016. Zobacz w PBN

2015

• Thi-Lan-Giao Hoang, Anh Linh Nguyen , Thanh-Luong Tran, Bisimulation-based concept learning for information systems in description logics, Vietnam Journal of Computer Science, 2015. Zobacz w PBN
• Anh Linh Nguyen , Designing a Tableau Reasoner for Description Logics, The Third International Conference on Computer Science, Applied Mathematics and Applications, Metz, France, 11 maja 2015 - 13 maja 2015. Zobacz w PBN
• Anh Linh Nguyen , ExpTime Tableaux with Global Caching for Graded Propositional Dynamic Logic, The 24th International Workshop on Concurrency, Specification and Programming, 2015. Zobacz w PBN
• Ali Rezaei Divroodi, Anh Linh Nguyen , On bisimulations for description logics, Information Sciences, 2015. Zobacz w PBN
• Anh Linh Nguyen , Thi-Bich-Loc Nguyen, Andrzej Szałas , Towards richer rule languages with polynomial data complexity for the Semantic Web, Data and Knowledge Engineering, 2015. Zobacz w PBN

2014

• Thi-Lan-Giao Hoang, Anh Linh Nguyen , Thanh-Luong Tran, A Domain Partitioning Method for Bisimulation-Based Concept Learning in Description Logics, 2014. Zobacz w PBN
• Anh Linh Nguyen , Thi-Bich-Loc Nguyen, Andrzej Szałas , A Horn Fragment with PTime Data Complexity of Regular Description Logic with Inverse, VNU Journal of Science: Computer Science and Communication Engineering, 30 (4) 2014, s. 14-28. Zobacz w PBN
• Anh Linh Nguyen , A Tractable Rule Language in the Modal and Description Logics that Combine CPDL with Regular Grammar Logic, 2014. Zobacz w PBN
• Son Thanh Cao, Anh Linh Nguyen , An Empirical Approach to Query-Subquery Nets with Tail-Recursion Elimination, 2014. Zobacz w PBN
• Joanna Golińska-Pilarek, Anh Linh Nguyen , An ExpTime Tableau Method for Dealing with Nominals and Qualified Number Restrictions in Deciding the Description Logic SHOQ, Fundamenta Informaticae, 2014. Zobacz w PBN
• Son Thanh Cao, Anh Linh Nguyen , An Improved Depth-First Control Strategy for Query-Subquery Nets in Evaluating Queries to Horn Knowledge Bases, 2014. Zobacz w PBN
• Quang-Thuy Ha, Thi-Lan-Giao Hoang, Anh Linh Nguyen , Hung Son Nguyen , Thanh-Luong Tran, Bisimulation-Based Concept Learning in Description Logics, Fundamenta Informaticae, 2014. Zobacz w PBN
• Anh Linh Nguyen , ExpTime tableaux with global state caching for the description logic SHIO, Neurocomputing, 2014. Zobacz w PBN
• Anh Linh Nguyen , Thi-Bich-Loc Nguyen, Andrzej Szałas , On Horn Knowledge Bases in Regular Description Logic with Inverse, 2014. Zobacz w PBN
• Son Thanh Cao, Anh Linh Nguyen , Andrzej Szałas , The Web Ontology Rule Language OWL 2 RL+ and Its Extensions, LNCS Transactions on Computational Collective Intelligence, 2014. Zobacz w PBN
• Son Thanh Cao, Anh Linh Nguyen , Andrzej Szałas , WORL: a nonmonotonic rule language for the semantic web, Vietnam Journal of Computer Science, 2014. Zobacz w PBN

2013

• Anh Linh Nguyen , A Tableau Method with Optimal Complexity for Deciding the Description Logic SHIQ, 2013. Zobacz w PBN
• Anh Linh Nguyen , Joanna Golińska-Pilarek, An ExpTime Tableau Method for Dealing with Nominals and Quantified Number Restrictions in Deciding the Description Logic SHOQ, 22nd International Workshop on Concurrency, Specification and Programming, Warszawa, Poland, 25 września 2013 - 27 września 2013. Zobacz w PBN
• Ali Rezaei Divroodi, Anh Linh Nguyen , Bisimulation-Based Comparisons for Interpretations in Description Logics, 2013. Zobacz w PBN
• Thanh-Luong Tran, Quang-Thuy Ha, Thi-Lan-Giao Hoang, Anh Linh Nguyen , Hung Son Nguyen , Bisimulation-Based Concept Learning in Description Logics, 22nd International Workshop on Concurrency, Specification and Programming, Warszawa, Poland, 25 września 2013 - 27 września 2013. Zobacz w PBN
• Anh Linh Nguyen , Cut-Free ExpTime Tableaux for Converse-PDL Extended with Regular Inclusion Axioms, 7th KES Conference on Agent and Multi-Agent Systems - Technologies and Applications (KES-AMSTA), Hue, Viet Nam, Viet Nam, 27 maja 2013 - 29 maja 2013. Zobacz w PBN
• Anh Linh Nguyen , Rajeev Goré, ExpTime Tableaux for ALC Using Sound Global Caching, Journal of Automated Reasoning, 50 (4) 2013, s. 355-381. Zobacz w PBN
• Anh Linh Nguyen , Thi-Bich-Loc Nguyen, Andrzej Szałas , Horn-DL: An Expressive Horn Description Logic with PTime Data Complexity, RR'2013: 7th International Conference on Web Reasoning and Rule Systems, 2013. Zobacz w PBN
• Barbara Dunin-Kęplicz , Anh Linh Nguyen , Andrzej Szałas , Horn-TeamLog: A Horn Fragment of TeamLog with PTime Data Complexity, 5th International Conference on Computational Collective Intelligence Technologies and Applications, 2013. Zobacz w PBN
• Anh Linh Nguyen , Andrzej Szałas , On the Horn Fragments of Serial Regular Grammar Logics with Converse, 7th KES Conference on Agent and Multi-Agent Systems - Technologies and Applications (KES-AMSTA), Hue, Viet Nam, Viet Nam, 27 maja 2013 - 29 maja 2013. Zobacz w PBN

2012

• Quang-Thuy Ha, Thi-Lan-Giao Hoang, Anh Linh Nguyen , Hung Son Nguyen , Andrzej Szałas , Thanh-Luong Tran, A bisimulation-based method of concept learning for knowledge bases in description logics, SoICT 2012 - 3rd International Symposium on Information and Communication Technology, 2012. Zobacz w PBN
• Ewa Madalińska-Bugaj, Anh Linh Nguyen , A Generalized QSQR Evaluation Method for Horn Knowledge Bases, ACM Transactions on Computational Logic, 2012. Zobacz w PBN
• Quang-Thuy Ha, Thi-Lan-Giao Hoang, Anh Linh Nguyen , Hung Son Nguyen , Andrzej Szałas , Thanh-Luong Tran, Concept learning for description logic-based information systems, KSE 2012 - International Conference on Knowledge and Systems Engineering, 2012. Zobacz w PBN
• Anh Linh Nguyen , Andrzej Szałas , Logic-Based Roughification, 2012. Zobacz w PBN
• Ali Rezaei Divroodi, Quang-Thuy Ha, Anh Linh Nguyen , Hung Son Nguyen , On C-learnability in description logics, 2012. Zobacz w PBN
• Anh Linh Nguyen , Andrzej Szałas , Paraconsistent Reasoning for Semantic Web Agents, LNCS Transactions on Computational Collective Intelligence, 2012. Zobacz w PBN
• Son Thanh Cao, Anh Linh Nguyen , Query-Subquery Nets, Lecture Notes in Computer Science, 2012. Zobacz w PBN

2011

• Anh Linh Nguyen , A Cut-Free ExpTime Tableau Decision Procedure for the Description Logic SHI, Lecture Notes in Computer Science, 2011. Zobacz w PBN
• Barbara Dunin-Kęplicz , Anh Linh Nguyen , Andrzej Szałas , Converse-PDL with Regular Inclusion Axioms: A Framework for MAS Logics, Journal of Applied Non-Classical Logics, 2011. Zobacz w PBN
• Anh Linh Nguyen , Cut-Free ExpTime Tableaux for Checking Satisfiability of a Knowledge Base in the Description Logic ALCI, Lecture Notes in Computer Science, 2011. Zobacz w PBN
• Anh Linh Nguyen , Andrzej Szałas , ExpTime Tableau Decision Procedures for Regular Grammar Logics with Converse, Studia Logica, 2011. Zobacz w PBN
• Ali Rezaei Divroodi, Anh Linh Nguyen , On Bisimulations for Description Logics, 2011. Zobacz w PBN
• Son Thanh Cao, Anh Linh Nguyen , Andrzej Szałas , On the Web Ontology Rule Language OWL 2 RL, Lecture Notes in Computer Science, 2011. Zobacz w PBN
• Son Thanh Cao, Anh Linh Nguyen , Andrzej Szałas , WORL: a Web Ontology Rule Language, KSE 2011 - International Conference on Knowledge and Systems Engineering, 2011. Zobacz w PBN

2010

• Barbara Dunin-Kęplicz , Anh Linh Nguyen , Andrzej Szałas , A Framework for Graded Beliefs, Goals and Intentions, Fundamenta Informaticae, 2010. Zobacz w PBN
• Barbara Dunin-Kęplicz , Anh Linh Nguyen , Andrzej Szałas , A Layered Rule-Based Architecture for Approximate Knowledge Fusion, Computer Science and Information Systems, 2010. Zobacz w PBN
• Anh Linh Nguyen , Andrzej Szałas , Checking Consistency of an ABox w.r.t. Global Assumptions in PDL, Fundamenta Informaticae, 2010. Zobacz w PBN
• Barbara Dunin-Kęplicz , Anh Linh Nguyen , Andrzej Szałas , Graded Beliefs, Goals and Intentions, 2010. Zobacz w PBN
• Anh Linh Nguyen , Horn Knowledge Bases in Regular Description Logics with PTIME Data Complexity, Fundamenta Informaticae, 2010. Zobacz w PBN
• Anh Linh Nguyen , Paraconsistent and Approximate Semantics for the OWL 2 Web Ontology Language, Lecture Notes in Computer Science, 2010. Zobacz w PBN
• Anh Linh Nguyen , Andrzej Szałas , Tableaux with Global Caching for Checking Satisfiability of a Knowledge Base in the Description Logic SH, LNCS Transactions on Computational Collective Intelligence, 2010. Zobacz w PBN
• Anh Linh Nguyen , Andrzej Szałas , Three-Valued Paraconsistent Reasoning for Semantic Web Agents, Lecture Notes in Computer Science, 2010. Zobacz w PBN
• Barbara Dunin-Kęplicz , Anh Linh Nguyen , Andrzej Szałas , Tractable Approximate Knowledge Fusion Using the Horn Fragment of Serial Propositional Dynamic Logic, International Journal of Approximate Reasoning, 2010. Zobacz w PBN

2009

• Anh Linh Nguyen , An Efficient Tableau Prover using Global Caching for the Description Logic ALC, Fundamenta Informaticae, 2009. Zobacz w PBN
• Anh Linh Nguyen , Andrzej Szałas , An Optimal Tableau Decision Procedure for Converse-PDL, 2009. Zobacz w PBN
• Anh Linh Nguyen , Andrzej Szałas , Checking Consistency of an ABox w.r.t. Global Assumptions in PDL, 2009. Zobacz w PBN
• Rajeev Gore, Anh Linh Nguyen , Clausal Tableaux for Multimodal Logics of Belief, Fundamenta Informaticae, 2009. Zobacz w PBN
• Anh Linh Nguyen , Andrzej Szałas , ExpTime Tableaux for Checking Satisfiability of a Knowledge Base in the Description Logic ALC, Lecture Notes in Computer Science, 2009. Zobacz w PBN
• Anh Linh Nguyen , Extending the Description Horn Logic DHL, 2009. Zobacz w PBN
• Barbara Dunin-Kęplicz , Anh Linh Nguyen , Andrzej Szałas , Fusing Approximate Knowledge from Distributed Sources, 2009. Zobacz w PBN
• Anh Linh Nguyen , Modal Logic Programming Revisited, Journal of Applied Non-Classical Logics, 2009. Zobacz w PBN

2008

• Anh Linh Nguyen , An Efficient Tableau Prover using Global Caching for the Description Logic ALC, 2008. Zobacz w PBN
• Rajeev Gore, Anh Linh Nguyen , Analytic Cut-free Tableaux for Regular Modal Logics of Agent Beliefs, Lecture Notes in Computer Science, 2008. Zobacz w PBN
• Anh Linh Nguyen , Constructing Finite Least Kripke Models for Positive Logic Programs in Serial Regular Grammar Logics, Logic Journal of the IGPL, 2008. Zobacz w PBN
• Ewa Madalińska-Bugaj, Anh Linh Nguyen , Generalizing the QSQR Evaluation Method for Horn Knowledge Bases, 2008. Zobacz w PBN
• Rajeev Gore, Anh Linh Nguyen , Sound Global Caching for Abstract Modal Tableaux, 2008. Zobacz w PBN

2007

• Rajeev Gore, Anh Linh Nguyen , Analytic Cut-free Tableaux for Regular Modal Logics of Agent Beliefs, 2007. Zobacz w PBN
• Anh Linh Nguyen , Approximating Horn Knowledge Bases in Regular Description Logics to Have PTIME Data Complexity, Lecture Notes in Computer Science, 2007. Zobacz w PBN
• Rajeev Gore, Anh Linh Nguyen , EXPTIME Tableaux for ALC Using Sound Global Caching, 2007. Zobacz w PBN
• Rajeev Gore, Anh Linh Nguyen , EXPTIME Tableaux with Global Caching for Description Logics with Transitive Roles, Inverse Roles and Role Hierarchies, Lecture Notes in Computer Science, 2007. Zobacz w PBN
• Anh Linh Nguyen , Foundations of Modal Deductive Databases, Fundamenta Informaticae, 2007. Zobacz w PBN
• Anh Linh Nguyen , Weakening Horn Knowledge Bases in Regular Description Logics to Have PTIME Data Complexity, 2007. Zobacz w PBN

2006

• Anh Linh Nguyen , A Bottom-up Method for the Deterministic Horn Fragment of the Description Logic ALC, Lecture Notes in Computer Science, 2006. Zobacz w PBN
• Anh Linh Nguyen , Multimodal Logic Programming, Theoretical Computer Science, 2006. Zobacz w PBN
• Anh Linh Nguyen , Negative Ordered Hyper-Resolution as a Proof Procedure for Disjunctive Logic Programming, Fundamenta Informaticae, 2006. Zobacz w PBN
• Anh Linh Nguyen , On the Deterministic Horn Fragment of Test-free PDL, 2006. Zobacz w PBN
• Anh Linh Nguyen , Reasoning about Epistemic States of Agents by Modal Logic Programming, Lecture Notes in Computer Science, 2006. Zobacz w PBN
• Anh Linh Nguyen , The Data Complexity of MDatalog in Basic Modal Logics, Lecture Notes in Computer Science, 2006. Zobacz w PBN

2005

• Rajeev Gore, Anh Linh Nguyen , A Tableau System with Automaton-Labelled Formulae for Regular Grammar Logics, Lecture Notes in Computer Science, 2005. Zobacz w PBN
• Anh Linh Nguyen , An SLD-Resolution Calculus for Basic Serial Multimodal Logics, Lecture Notes in Computer Science, 2005. Zobacz w PBN
• Rajeev Gore, Anh Linh Nguyen , Completeness of Hyper-Resolution via the Semantics of Disjunctive Logic Programs, Lecture Notes in Computer Science, 2005. Zobacz w PBN
• Anh Linh Nguyen , On Modal Deductive Databases, Lecture Notes in Computer Science, 2005. Zobacz w PBN
• Anh Linh Nguyen , On the Complexity of Fragments of Modal Logics, 2005. Zobacz w PBN
• Anh Linh Nguyen , Reasoning about Epistemic States of Agents by Modal Logic Programming, 2005. Zobacz w PBN

2004

• Anh Linh Nguyen , MProlog: An Extension of Prolog for Modal Logic Programming, Lecture Notes in Computer Science, 2004. Zobacz w PBN
• Anh Linh Nguyen , Negative Hyper-Resolution as a Proof Procedure for Disjunctive Logic Programming, Lecture Notes in Computer Science, 2004. Zobacz w PBN
• Anh Linh Nguyen , On the Complexity of Fragments of Modal Logics, 2004. Zobacz w PBN
• Anh Linh Nguyen , The Modal Logic Programming System MProlog, Lecture Notes in Computer Science, 2004. Zobacz w PBN

2003

• Anh Linh Nguyen , A Fixpoint Semantics and an SLD-Resolution Calculus for Modal Logic Programs, Fundamenta Informaticae, 2003. Zobacz w PBN

2002

• Anh Linh Nguyen , Analytic Tableau Systems for Propositional Bimodal Logics of Knowledge and Belief, Lecture Notes in Computer Science, 2002. Zobacz w PBN

2001

• Anh Linh Nguyen , Analytic Tableau Systems and Interpolation for the Modal Logics KB, KDB, K5, KD5, Studia Logica, 2001. Zobacz w PBN
• Anh Linh Nguyen , The modal query language MDatalog, Fundamenta Informaticae, 2001. Zobacz w PBN

2000

• Anh Linh Nguyen , Constructing the Least Models for Positive Modal Logic Programs, Fundamenta Informaticae, 2000. Zobacz w PBN
• Anh Linh Nguyen , Sequent-Like Tableau Systems with the Analytic Superformula Property for the Modal Logics KB, KDB, K5, KD5, Lecture Notes in Computer Science, 2000. Zobacz w PBN

1999

• Anh Linh Nguyen , A New Space Bound for the Modal Logics K4, KD4 and S4, Lecture Notes in Computer Science, 1999. Zobacz w PBN

Inne

• Anh Linh Nguyen , A Tableau Method with Optimal Complexity for Deciding the Description Logic SHIQ, Advanced Computational Methods for Knowledge Engineering, , s. 331-342. Zobacz w PBN
• Ali Rezaei Divroodi, Anh Linh Nguyen , Bisimulation-Based Comparisons for Interpretations in Description Logics, Informal Proceedings of the 26th International Workshop on Description Logics, Ulm, Germany, July 23 - 26, 2013, , s. 652-669. Zobacz w PBN