Linh Anh Nguyen

University of Warsaw

	2013
j23		Rajeev Goré, Linh Anh Nguyen: ExpTime Tableaux for [InlineMediaObject not available: see fulltext.] Using Sound Global Caching. J. Autom. Reasoning 50(4): 355-381 (2013)
i7		Ali Rezaei Divroodi, Linh Anh Nguyen: Bisimulation-Based Comparisons for Interpretations in Description Logics. CoRR abs/1304.5602 (2013)
	2012
j22		Linh Anh Nguyen, Andrzej Szalas: Paraconsistent Reasoning for Semantic Web Agents. T. Computational Collective Intelligence 6: 36-55 (2012)
j21		Ewa Madalinska-Bugaj, Linh Anh Nguyen: A Generalized QSQR Evaluation Method for Horn Knowledge Bases. ACM Trans. Comput. Log. 13(4): 32 (2012)
c31		Ali Rezaei Divroodi, Quang-Thuy Ha, Linh Anh Nguyen, Hung Son Nguyen: On C-Learnability in Description Logics. ICCCI (1) 2012: 230-238
c30		Linh Anh Nguyen, Son Thanh Cao: Query-Subquery Nets. ICCCI (1) 2012: 239-248
c29		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		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		Linh Anh Nguyen, Hung Son Nguyen: On Designing the SONCA System. Intelligent Tools for Building a Scientific Information Platform 2012: 9-35
i6		Linh Anh Nguyen, Son Thanh Cao: Query-Subquery Nets. CoRR abs/1201.2564 (2012)
i5		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		Barbara Dunin-Keplicz, Linh Anh Nguyen, Andrzej Szalas: Converse-PDL with regular inclusion axioms: a framework for MAS logics. Journal of Applied Non-Classical Logics 21(1): 61-91 (2011)
j19		Linh Anh Nguyen, Andrzej Szalas: ExpTime Tableau Decision Procedures for Regular Grammar Logics with Converse. Studia Logica 98(3): 387-428 (2011)
c27		Son Thanh Cao, Linh Anh Nguyen, Andrzej Szalas: On the Web Ontology Rule Language OWL 2 RL. ICCCI (1) 2011: 254-264
c26		Linh Anh Nguyen: A Cut-Free ExpTime Tableau Decision Procedure for the Description Logic SHI. ICCCI (1) 2011: 572-581
c25		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		Son Thanh Cao, Linh Anh Nguyen, Andrzej Szalas: WORL: A Web Ontology Rule Language. KSE 2011: 32-39
i4		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		Ali Rezaei Divroodi, Linh Anh Nguyen: On Bisimulations for Description Logics. CoRR abs/1104.1964 (2011)
i2		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		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		Barbara Dunin-Keplicz, Linh Anh Nguyen, Andrzej Szalas: A Framework for Graded Beliefs, Goals and Intentions. Fundam. Inform. 100(1-4): 53-76 (2010)
j16		Linh Anh Nguyen, Andrzej Szalas: Checking Consistency of an ABox w.r.t. Global Assumptions in PDL. Fundam. Inform. 102(1): 97-113 (2010)
j15		Linh Anh Nguyen: Horn Knowledge Bases in Regular Description Logics with PTIME Data Complexity. Fundam. Inform. 104(4): 349-384 (2010)
j14		Barbara Dunin-Keplicz, Linh Anh Nguyen, Andrzej Szalas: Tractable approximate knowledge fusion using the Horn fragment of serial propositional dynamic logic. Int. J. Approx. Reasoning 51(3): 346-362 (2010)
j13		Linh Anh Nguyen, Andrzej Szalas: Tableaux with Global Caching for Checking Satisfiability of a Knowledge Base in the Description Logic SH. T. Computational Collective Intelligence 1: 21-38 (2010)
c23		Linh Anh Nguyen, Andrzej Szalas: Three-Valued Paraconsistent Reasoning for Semantic Web Agents. KES-AMSTA (1) 2010: 152-162
c22		Linh Anh Nguyen: Paraconsistent and Approximate Semantics for the OWL 2 Web Ontology Language. RSCTC 2010: 710-720
	2009
j12		Linh Anh Nguyen: An Efficient Tableau Prover using Global Caching for the Description Logic ALC. Fundam. Inform. 93(1-3): 273-288 (2009)
j11		Rajeev Goré, Linh Anh Nguyen: Clausal Tableaux for Multimodal Logics of Belief. Fundam. Inform. 94(1): 21-40 (2009)
j10		Linh Anh Nguyen: Modal logic programming revisited. Journal of Applied Non-Classical Logics 19(2): 167-181 (2009)
c21		Linh Anh Nguyen, Andrzej Szalas: A Tableau Calculus for Regular Grammar Logics with Converse. CADE 2009: 421-436
c20		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		Barbara Dunin-Keplicz, Linh Anh Nguyen, Andrzej Szalas: Fusing Approximate Knowledge from Distributed Sources. IDC 2009: 75-86
i1		Linh Anh Nguyen, Andrzej Szalas: Optimal Tableau Decision Procedures for PDL. CoRR abs/0904.0721 (2009)
	2008
j9		Linh Anh Nguyen: Constructing Finite Least Kripke Models for Positive Logic Programs in Serial Regular Grammar Logics. Logic Journal of the IGPL 16(2): 175-193 (2008)
p1		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		Linh Anh Nguyen: Foundations of Modal Deductive Databases. Fundam. Inform. 79(1-2): 85-135 (2007)
c18		Rajeev Goré, Linh Anh Nguyen: Analytic Cut-Free Tableaux for Regular Modal Logics of Agent Beliefs. CLIMA 2007: 268-287
c17		Rajeev Goré, Linh Anh Nguyen: EXPTIME Tableaux for ALC Using Sound Global Caching. Description Logics 2007
c16		Linh Anh Nguyen: Approximating Horn Knowledge Bases in Regular Description Logics to Have PTIME Data Complexity. ICLP 2007: 438-439
c15		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		Linh Anh Nguyen: Negative Ordered Hyper-Resolution as a Proof Procedure for Disjunctive Logic Programming. Fundam. Inform. 70(4): 351-366 (2006)
j6		Linh Anh Nguyen: Multimodal logic programming. Theor. Comput. Sci. 360(1-3): 247-288 (2006)
c14		Linh Anh Nguyen: On the Deterministic Horn Fragment of Test-free PDL. Advances in Modal Logic 2006: 373-392
c13		Linh Anh Nguyen: A Bottom-Up Method for the Deterministic Horn Fragment of the Description Logic ALC. JELIA 2006: 346-358
c12		Linh Anh Nguyen: The Data Complexity of MDatalog in Basic Modal Logics. MFCS 2006: 729-740
	2005
j5		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		Linh Anh Nguyen: On Modal Deductive Databases. ADBIS 2005: 43-57
c10		Linh Anh Nguyen: Reasoning About Epistemic States of Agents by Modal Logic Programming. CLIMA 2005: 37-56
c9		Linh Anh Nguyen: An SLD-Resolution Calculus for Basic Serial Multimodal Logics. ICTAC 2005: 151-165
c8		Rajeev Goré, Linh Anh Nguyen: A Tableau Calculus with Automaton-Labelled Formulae for Regular Grammar Logics. TABLEAUX 2005: 138-152
	2004
c7		Linh Anh Nguyen: On the Complexity of Fragments of Modal Logics. Advances in Modal Logic 2004: 249-268
c6		Linh Anh Nguyen: MProlog: An Extension of Prolog for Modal Logic Programming. ICLP 2004: 469-470
c5		Linh Anh Nguyen: The Modal Logic Programming System MProlog. JELIA 2004: 266-278
c4		Linh Anh Nguyen: Negative Hyper-resolution as Procedural Semantics of Disjunctive Logic Programs. JELIA 2004: 565-577
	2003
j4		Linh Anh Nguyen: A Fixpoint Semantics and an SLD-Resolution Calculus for Modal Logic Programs. Fundam. Inform. 55(1): 63-100 (2003)
	2002
c3		Linh Anh Nguyen: Analytic Tableau Systems for Propositional Bimodal Logics of Knowledge and Belief. TABLEAUX 2002: 206-220
	2001
j3		Linh Anh Nguyen: The Modal Query Language MDatalog. Fundam. Inform. 46(4): 315-342 (2001)
j2		Linh Anh Nguyen: Analytic Tableau Systems and Interpolation for the Modal Logics KB, KDB, K5, KD5. Studia Logica 69(1): 41-57 (2001)
	2000
j1		Linh Anh Nguyen: Constructing the Least Models for Positive Modal Logic Programs. Fundam. Inform. 42(1): 29-60 (2000)
c2		Linh Anh Nguyen: Sequent-Like Tableau Systems with the Analytic Superformula Property for the Modal Logics KB, KDB, K5, KD5. TABLEAUX 2000: 341-351
	1999
c1		Linh Anh Nguyen: A New Space Bound for the Modal Logics K4, KD4 and S4. MFCS 1999: 321-331

Coauthor Index

Last update Fri May 24 01:31:52 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page