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