Wydział Matematyki, Informatyki i Mechaniki Uniwersytetu Warszawskiego
Publications
Anh Linh Nguyen
2018
- Ali Rezaei Divroodi, Quang-Thuy Ha, Anh Linh Nguyen and Hung Son Nguyen, On the possibility of correct concept learning in description logics, Vietnam Journal Of Computer Science 5 (1) 2018, p. 3–14.see in PBN
- Anh Linh Nguyen, Computing Bisimulation-Based Comparisons, Fundamenta Informaticae 157 (4) 2018, p. 385–401.see in PBN
- Quang-Thuy Ha, Anh Linh Nguyen, Thi Hong Khanh Nguyen and Thanh-Luong Tran, Fuzzy Bisimulations in Fuzzy Description Logics Under the Gödel Semantics, in: Rough Sets - International Joint Conference, IJCRS 2018, Quy Nhon, Vietnam, August 20-24, 2018, Proceedings, Springer, 2018, p. 559–571.see in PBN
- Anh Linh Nguyen, The Influence of the Test Operator on the Expressive Powers of PDL-Like Logics, in: Proceedings of the 27th International Workshop on Concurrency, Specification and Programming, Berlin, Germany, September 24-26, 2018, CEUR-WS.org, 2018.see in PBN
2017
- Son Thanh Cao, Anh Linh Nguyen and Ngoc Thanh Nguyen, Extending Query-Subquery Nets for Deductive Databases under the Well-Founded Semantics, Cybernetics And Systems 48 (3) 2017, p. 249–266.see in PBN
- Son Thanh Cao and Anh Linh Nguyen, Query-subquery nets for Horn knowledge bases in first-order logic, Journal Of Information And Telecommunication 1 (1) 2017, p. 79–99.see in PBN
- Anh Linh Nguyen, Thi Hong Khanh Nguyen, Ngoc Thanh Nguyen and Quang-Thuy Ha, Bisimilarity for paraconsistent description logics, Journal Of Intelligent & Fuzzy Systems 32 (2) 2017, p. 1203–1215.see in PBN
- Ali Rezaei Divroodi and Anh Linh Nguyen, On directed simulations in description logics, Journal Of Logic And Computation 27 (7) 2017, p. 1955–1986.see in PBN
2016
- Anh Linh Nguyen, Computing Bisimulation-Based Comparisons, in: Proceedings of the 25th International Workshop on Concurrency, Specification and Programming, Berlin, Germany 2016, p. 245–256.see in PBN
- Anh Linh Nguyen, A Tractable Rule Language in the Modal and Description Logic that Combines CPDL with Regular Grammar Logic, Fundamenta Informaticae 143 (1-2) 2016, p. 113–139.see in PBN
- Anh Linh Nguyen, ExpTime Tableaux with Global Caching for Graded Propositional Dynamic Logic, Fundamenta Informaticae 147 (2-3) 2016, p. 261–288.see in PBN
- Anh Linh Nguyen, Design of the Tableau Reasoner TGC2 for Description Logics, International Journal Of Software Engineering And Knowledge Engineering 26 (8) 2016, p. 1315–1333.see in PBN
- Anh Linh Nguyen, Thi Hong Khanh Nguyen, Ngoc Thanh Nguyen and Quang-Thuy Ha, Bisimilarity for paraconsistent description logics, in: 2016 IEEE International Conference on Systems, Man, and Cybernetics, SMC 2016, Budapest, Hungary, October 9-12, 2016, IEEE, 2016, p. 4694–4699.see in PBN
2015
- Ali Rezaei Divroodi and Anh Linh Nguyen, On bisimulations for description logics, Information Sciences 295 2015, p. 465–493.see in PBN
- Anh Linh Nguyen, Thi-Bich-Loc Nguyen and Andrzej Szałas, Towards richer rule languages with polynomial data complexity for the Semantic Web, Data & Knowledge Engineering 96-97 2015, p. 57–77.see in PBN
- Thanh-Luong Tran, Anh Linh Nguyen and Thi-Lan-Giao Hoang, Bisimulation-based concept learning for information systems in description logics, Vietnam Journal Of Computer Science 2 (3) 2015, p. 149–167.see in PBN
- Anh Linh Nguyen, Designing a Tableau Reasoner for Description Logics, in: Advanced Computational Methods for Knowledge Engineering, Springer, Switzerland 2015, p. 321–333.see in PBN
- Anh Linh Nguyen, ExpTime Tableaux with Global Caching for Graded Propositional Dynamic Logic, in: Proceedings of the 24th International Workshop on Concurrency, Specification and Programming, Volume II, University of Rzeszow, Rzeszów 2015, p. 44–56.see in PBN
2014
- Anh Linh Nguyen, A Tractable Rule Language in the Modal and Description Logics that Combine CPDL with Regular Grammar Logic, in: Proceedings of the 23th International Workshop on Concurrency, Specification and Programming, CEUR-WS.org, 2014, p. 150–163.see in PBN
- Son Thanh Cao, Anh Linh Nguyen and Andrzej Szałas, WORL: a nonmonotonic rule language for the semantic web, Vietnam Journal Of Computer Science 1 (1) 2014, p. 57–69.see in PBN
- Son Thanh Cao and Anh Linh Nguyen, An Empirical Approach to Query-Subquery Nets with Tail-Recursion Elimination, in: New Trends in Database and Information Systems II - Selected papers of the 18th East European Conference on Advances in Databases and Information Systems and Associated Satellite Events, Springer, 2014, p. 109–120.see in PBN
- Anh Linh Nguyen, ExpTime tableaux with global state caching for the description logic SHIO, Neurocomputing 146 2014, p. 249–263.see in PBN
- Anh Linh Nguyen and Joanna Golińska-Pilarek, An ExpTime Tableau Method for Dealing with Nominals and Qualified Number Restrictions in Deciding the Description Logic SHOQ, Fundamenta Informaticae 135 (4) 2014, p. 433–449.see in PBN
- Thanh-Luong Tran, Quang-Thuy Ha, Thi-Lan-Giao Hoang, Anh Linh Nguyen and Hung Son Nguyen, Bisimulation-Based Concept Learning in Description Logics, Fundamenta Informaticae 133 (2-3) 2014, p. 287–303.see in PBN
- Anh Linh Nguyen, Thi-Bich-Loc Nguyen and 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, p. 14–28.see in PBN
- Son Thanh Cao, Anh Linh Nguyen and Andrzej Szałas, The Web Ontology Rule Language OWL 2 RL+ and Its Extensions, Lncs Transactions On Computational Collective Intelligence 13 2014, p. 152–175.see in PBN
- Anh Linh Nguyen, Thi-Bich-Loc Nguyen and Andrzej Szałas, On Horn Knowledge Bases in Regular Description Logic with Inverse, in: Knowledge and Systems Engineering - Proceedings of the Fifth International Conference, KSE 2013, Volume 1, Hanoi, Vietnam, 17-19 October, 2013, Springer, 2014, p. 37–49.see in PBN
- Thanh-Luong Tran, Anh Linh Nguyen and Thi-Lan-Giao Hoang, A Domain Partitioning Method for Bisimulation-Based Concept Learning in Description Logics, in: Advanced Computational Methods for Knowledge Engineering, Springer, 2014, p. 297–312.see in PBN
- Son Thanh Cao and Anh Linh Nguyen, An Improved Depth-First Control Strategy for Query-Subquery Nets in Evaluating Queries to Horn Knowledge Bases, in: Advanced Computational Methods for Knowledge Engineering, Springer, 2014, p. 281–295.see in PBN
2013
- Anh Linh Nguyen and Andrzej Szałas, On the Horn Fragments of Serial Regular Grammar Logics with Converse, in: Advanced Methods and Technologies for Agent and Multi-Agent Systems, Proceedings of the 7th KES Conference on Agent and Multi-Agent Systems - Technologies and Applications (KES-AMSTA 2013), May 27-29, 2013, Hue City, Vietnam, IOS Press, 2013, p. 225–234.see in PBN
- Barbara Dunin-Kęplicz, Anh Linh Nguyen and Andrzej Szałas, Horn-TeamLog: A Horn Fragment of TeamLog with PTime Data Complexity, in: 5th International Conference on Computational Collective Intelligence - Technologies and Applications ICCCI 2013., 2013, p. 143–153.see in PBN
- Anh Linh Nguyen, Thi-Bich-Loc Nguyen and Andrzej Szałas, Horn-DL: An Expressive Horn Description Logic with PTime Data Complexity, in: Web Reasoning and Rule Systems - 7th International Conference, RR 2013, Mannheim, Germany, July 27-29, 2013. Proceedings, Springer, 2013, p. 259–264.see in PBN
- Rajeev Goré and Anh Linh Nguyen, ExpTime Tableaux for ALC Using Sound Global Caching, Journal Of Automated Reasoning 50 (4) 2013, p. 355–381.see in PBN
- Anh Linh Nguyen, Cut-Free ExpTime Tableaux for Converse-PDL Extended with Regular Inclusion Axioms, in: Advanced Methods and Technologies for Agent and Multi-Agent Systems, Proceedings of the 7th KES Conference on Agent and Multi-Agent Systems - Technologies and Applications (KES-AMSTA 2013), May 27-29, 2013, Hue City, Vietnam, IOS Press, 2013, p. 235–244.see in PBN
- Thanh-Luong Tran, Quang-Thuy Ha, Thi-Lan-Giao Hoang, Anh Linh Nguyen and Hung Son Nguyen, Bisimulation-Based Concept Learning in Description Logics, in: Proceedings of the 22nd International Workshop on Concurrency, Specification and Programming, Warsaw, Poland, CEUR-WS.org, 2013, p. 421–433.see in PBN
- Ali Rezaei Divroodi and Anh Linh Nguyen, Bisimulation-Based Comparisons for Interpretations in Description Logics, in: Informal Proceedings of the 26th International Workshop on Description Logics, Ulm, Germany, July 23 - 26, 2013, CEUR-WS.org, 2013, p. 652–669.see in PBN
- Anh Linh Nguyen and Joanna Golińska-Pilarek, An ExpTime Tableau Method for Dealing with Nominals and Quantified Number Restrictions in Deciding the Description Logic SHOQ, in: Proceedings of the 22nd International Workshop on Concurrency, Specification and Programming, Warsaw, Poland, CEUR-WS.org, 2013, p. 296–308.see in PBN
- Anh Linh Nguyen, A Tableau Method with Optimal Complexity for Deciding the Description Logic SHIQ, in: Advanced Computational Methods for Knowledge Engineering, Springer, 2013, p. 331–342.see in PBN
2012
- Anh Linh Nguyen and Andrzej Szałas, Paraconsistent Reasoning for Semantic Web Agents, Lncs Transactions On Computational Collective Intelligence 7190 2012, p. 36–55.see in PBN
- Anh Linh Nguyen and Andrzej Szałas, Logic-Based Roughification, in: Rough Sets and Intelligent Systems - Professor Zdzisław Pawlak in Memoriam, Volume 1, Springer, 2012, p. 517–543.see in PBN
- Anh Linh Nguyen and Hung Son Nguyen, On designing the SONCA system, in: Semantic Recognition of Digital Documents. In: Intelligent Tools for Building a Scientific Information Platform, Studies in Computational Intelligence, Berlin 2012.see in PBN
- Son Thanh Cao and Anh Linh Nguyen, Query-Subquery Nets, Lecture Notes In Computer Science 7653 (1) 2012, p. 239–248.see in PBN
- Thanh-Luong Tran, Quang-Thuy Ha, Thi-Lan-Giao Hoang, Anh Linh Nguyen, Hung Son Nguyen and Andrzej Szałas, Concept learning for description logic-based information systems, in: KSE 2012 - International Conference on Knowledge and Systems Engineering, Institute of Electrical and Electronics Engineers, USA 2012.see in PBN
- Quang-Thuy Ha, Thi-Lan-Giao Hoang, Anh Linh Nguyen, Hung Son Nguyen, Andrzej Szałas and Thanh-Luong Tran, A bisimulation-based method of concept learning for knowledge bases in description logics, in: SoICT 2012 - Proceedings of the Third International Symposium on Information and Communication Technology, Association of Computing Machinery, Vietnam 2012.see in PBN
- Ewa Madalińska-Bugaj and Anh Linh Nguyen, A Generalized QSQR Evaluation Method for Horn Knowledge Bases, Acm Transactions On Computational Logic 13 (4) 2012, p. 1–37.see in PBN
- Ali Rezaei Divroodi, Quang-Thuy Ha, Anh Linh Nguyen and Hung Son Nguyen, On C-learnability in description logics, in: Computational Collective Intelligence - Technologies and Applications, Springer, Berlin 2012.see in PBN
2011
- Barbara Dunin-Kęplicz, Anh Linh Nguyen and Andrzej Szałas, Converse-PDL with Regular Inclusion Axioms: A Framework for MAS Logics, Journal Of Applied Non-classical Logics 21 (1) 2011, p. 61–81.see in 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 6804 2011, p. 465–475.see in PBN
- Anh Linh Nguyen, A Cut-Free ExpTime Tableau Decision Procedure for the Description Logic SHI, Lecture Notes In Computer Science 6922 2011, p. 572–581.see in PBN
- Son Thanh Cao, Anh Linh Nguyen and Andrzej Szałas, On the Web Ontology Rule Language OWL 2 RL, Lecture Notes In Computer Science 6922 2011, p. 254–264.see in PBN
- Anh Linh Nguyen and Andrzej Szałas, ExpTime Tableau Decision Procedures for Regular Grammar Logics with Converse, Studia Logica 98 (3) 2011, p. 387–428.see in PBN
- Son Thanh Cao, Linh Anh Nguyen and Andrzej Szałas, WORL: a Web Ontology Rule Language, in: KSE 2011 - International Conference on Knowledge and Systems Engineering, 2011.see in PBN
- Ali Rezaei Divroodi and Anh Linh Nguyen, On Bisimulations for Description Logics, in: CS&P'2011, 20th International Workshop on Concurrency, Specification and Programming, Białystok University of Technology, Białystok 2011.see in PBN
2010
- Barbara Dunin-Kęplicz, Anh Linh Nguyen and Andrzej Szałas, Tractable Approximate Knowledge Fusion Using the Horn Fragment of Serial Propositional Dynamic Logic, International Journal Of Approximate Reasoning 51 (3) 2010, p. 346–362.see in PBN
- Barbara Dunin-Kęplicz, Anh Linh Nguyen and Andrzej Szałas, Graded Beliefs, Goals and Intentions, in: LAMAS, 2010.see in PBN
- Barbara Dunin-Kęplicz, Anh Linh Nguyen and Andrzej Szałas, A Layered Rule-Based Architecture for Approximate Knowledge Fusion, Computer Science And Information Systems 7 (3) 2010, p. 617–642.see in PBN
- Anh Linh Nguyen and Andrzej Szałas, Three-Valued Paraconsistent Reasoning for Semantic Web Agents, Lecture Notes In Computer Science 6070 2010, p. 152–162.see in PBN
- Barbara Dunin-Kęplicz, Anh Linh Nguyen and Andrzej Szałas, A Framework for Graded Beliefs, Goals and Intentions, Fundamenta Informaticae 100 (1-4) 2010, p. 53–76.see in PBN
- Anh Linh Nguyen and Andrzej Szałas, Checking Consistency of an ABox w.r.t. Global Assumptions in PDL, Fundamenta Informaticae 102 (1) 2010, p. 97–113.see in PBN
- Anh Linh Nguyen and 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 1 2010, p. 21–38.see in PBN
- Anh Linh Nguyen, Horn Knowledge Bases in Regular Description Logics with PTIME Data Complexity, Fundamenta Informaticae 104 (4) 2010, p. 349–384.see in PBN
- Anh Linh Nguyen, Paraconsistent and Approximate Semantics for the OWL 2 Web Ontology Language, Lecture Notes In Computer Science 6086 2010, p. 710–720.see in PBN
2009
- Anh Linh Nguyen, Extending the Description Horn Logic DHL, in: The 18th Concurrency, Specification and Programming Workshop, Uniwersytet Warszawski, Warszawa 2009.see in PBN
- Anh Linh Nguyen and Andrzej Szałas, ExpTime Tableaux for Checking Satisfiability of a Knowledge Base in the Description Logic ALC, Lecture Notes In Computer Science 5796 2009, p. 473–488.see in PBN
- Anh Linh Nguyen, An Efficient Tableau Prover using Global Caching for the Description Logic ALC, Fundamenta Informaticae 93 (1-3) 2009, p. 273–288.see in PBN
- Barbara Dunin-Kęplicz, Anh Linh Nguyen and Andrzej Szałas, Fusing Approximate Knowledge from Distributed Sources, in: IDC 2009, 3rd International Symposium on Intelligent Distributed Computing, Springer-Verlag, 2009.see in PBN
- Anh Linh Nguyen and Andrzej Szałas, An Optimal Tableau Decision Procedure for Converse-PDL, in: KSE 2009, 1st International Conference on Knowlegde and Systems Engineering, IEEE Computer Society, 2009.see in PBN
- Anh Linh Nguyen and Andrzej Szałas, Checking Consistency of an ABox w.r.t. Global Assumptions in PDL, in: CS&P 2009, the 18th Concurrency, Specification and Programming Workshop, 2009.see in PBN
- Anh Linh Nguyen, Modal Logic Programming Revisited, Journal Of Applied Non-classical Logics 19 (2) 2009, p. 167–181.see in PBN
- Rajeev Gore and Anh Linh Nguyen, Clausal Tableaux for Multimodal Logics of Belief, Fundamenta Informaticae 94 (1) 2009, p. 21–40.see in PBN
2008
- Anh Linh Nguyen, An Efficient Tableau Prover using Global Caching for the Description Logic ALC, in: CS&P, 2008.see in PBN
- Anh Linh Nguyen and Rajeev Gore, Analytic Cut-free Tableaux for Regular Modal Logics of Agent Beliefs, Lecture Notes In Computer Science 5056 2008, p. 268–287.see in PBN
- Ewa Madalińska-Bugaj and Anh Linh Nguyen, Generalizing the QSQR Evaluation Method for Horn Knowledge Bases, in: New Challenges in Applied Intelligence Technologies, 2008.see in PBN
- Anh Linh Nguyen, Constructing Finite Least Kripke Models for Positive Logic Programs in Serial Regular Grammar Logics, Logic Journal Of The Igpl 16 (2) 2008, p. 175–193.see in PBN
- Anh Linh Nguyen and Rajeev Gore, Sound Global Caching for Abstract Modal Tableaux, in: CS&P, 2008.see in PBN
2007
- Anh Linh Nguyen, Foundations of Modal Deductive Databases, Fundamenta Informaticae 79 (1) 2007, p. 85–135.see in PBN
- Rajeev Gore and Anh Linh Nguyen, EXPTIME Tableaux with Global Caching for Description Logics with Transitive Roles, Inverse Roles and Role Hierarchies, Lecture Notes In Computer Science 4548 2007, p. 133–148.see in PBN
- Anh Linh Nguyen, Approximating Horn Knowledge Bases in Regular Description Logics to Have PTIME Data Complexity, Lecture Notes In Computer Science 4670 2007, p. 438–439.see in PBN
- Anh Linh Nguyen, Weakening Horn Knowledge Bases in Regular Description Logics to Have PTIME Data Complexity, in: Proceedings of Automated Deduction: Decidability, Complexity, Tractability, Bremen 2007.see in PBN
- Rajeev Gore and Anh Linh Nguyen, EXPTIME Tableaux for ALC Using Sound Global Caching, in: Proceedings of Description Logics 2007, Bozen-Bolzano University Press, Bozen-Bolzano 2007.see in PBN
- Anh Linh Nguyen and Rajeev Gore, Analytic Cut-free Tableaux for Regular Modal Logics of Agent Beliefs, in: Pre-proceedings of the 8th International Workshop on Computational Logic in Multi-Agent Systems CLIMA VIII, 2007.see in PBN
2006
- Anh Linh Nguyen, The Data Complexity of MDatalog in Basic Modal Logics, Lecture Notes In Computer Science 4162 2006, p. 729–740.see in PBN
- Anh Linh Nguyen, A Bottom-up Method for the Deterministic Horn Fragment of the Description Logic ALC, Lecture Notes In Computer Science 4160 2006, p. 346–358.see in PBN
- Anh Linh Nguyen, Reasoning about Epistemic States of Agents by Modal Logic Programming, Lecture Notes In Computer Science 3900 2006, p. 37–56.see in PBN
- Anh Linh Nguyen, Negative Ordered Hyper-Resolution as a Proof Procedure for Disjunctive Logic Programming, Fundamenta Informaticae 70 (4) 2006, p. 351–366.see in PBN
- Anh Linh Nguyen, On the Deterministic Horn Fragment of Test-free PDL, in: Advances in Modal Logic, King's College Publications, London 2006.see in PBN
- Anh Linh Nguyen, Multimodal Logic Programming, Theoretical Computer Science 360 2006, p. 247–288.see in PBN
2005
- Anh Linh Nguyen and Rajeev Gore, Completeness of Hyper-Resolution via the Semantics of Disjunctive Logic Programs, Lecture Notes In Computer Science 95 (2) 2005, p. 363–369.see in PBN
- Anh Linh Nguyen, On Modal Deductive Databases, Lecture Notes In Computer Science 3631 2005, p. 43–57.see in PBN
- Rajeev Gore and Anh Linh Nguyen, A Tableau System with Automaton-Labelled Formulae for Regular Grammar Logics, Lecture Notes In Computer Science 3702 2005, p. 138–152.see in PBN
- Anh Linh Nguyen, An SLD-Resolution Calculus for Basic Serial Multimodal Logics, Lecture Notes In Computer Science 3722 2005, p. 151–165.see in PBN
- Anh Linh Nguyen, On the Complexity of Fragments of Modal Logics, in: Advances in Modal Logic, King's College, London 2005.see in PBN
- Anh Linh Nguyen, Reasoning about Epistemic States of Agents by Modal Logic Programming, in: Pre-proceedings of the 6th International Workshop on Computational Logic in Multi-Agent Systems CLIMA VI, London 2005.see in PBN
2004
- Anh Linh Nguyen, MProlog: An Extension of Prolog for Modal Logic Programming, Lecture Notes In Computer Science 3132 2004, p. 469–470.see in PBN
- Anh Linh Nguyen, The Modal Logic Programming System MProlog, Lecture Notes In Computer Science 3229 2004, p. 266–278.see in PBN
- Anh Linh Nguyen, Negative Hyper-Resolution as a Proof Procedure for Disjunctive Logic Programming, Lecture Notes In Computer Science 3229 2004, p. 565–577.see in PBN
- Anh Linh Nguyen, On the Complexity of Fragments of Modal Logics, in: Preliminary Conference Proceedings of the 5th International Conference on Advances in Modal Logic 2004, University of Manchester, Manchester 2004.see in PBN
You are not logged in | log in
