Linh Anh Nguyen Negative Hyper-resolution as Procedural Semantics of Disjunctive Logic Programs. [Citation Graph (0, 0)][DBLP] JELIA, 2004, pp:565-577 [Conf]
Linh Anh Nguyen A Bottom-Up Method for the Deterministic Horn Fragment of the Description Logic ALC. [Citation Graph (0, 0)][DBLP] JELIA, 2006, pp:346-358 [Conf]
Linh Anh Nguyen Sequent-Like Tableau Systems with the Analytic Superformula Property for the Modal Logics KB, KDB, K5, KD5. [Citation Graph (0, 0)][DBLP] TABLEAUX, 2000, pp:341-351 [Conf]
Linh Anh Nguyen Analytic Tableau Systems for Propositional Bimodal Logics of Knowledge and Belief. [Citation Graph (0, 0)][DBLP] TABLEAUX, 2002, pp:206-220 [Conf]
Linh Anh Nguyen Constructing the Least Models for Positive Modal Logic Programs. [Citation Graph (0, 0)][DBLP] Fundam. Inform., 2000, v:42, n:1, pp:29-60 [Journal]
Linh Anh Nguyen A Fixpoint Semantics and an SLD-Resolution Calculus for Modal Logic Programs. [Citation Graph (0, 0)][DBLP] Fundam. Inform., 2003, v:55, n:1, pp:63-100 [Journal]
Linh Anh Nguyen Negative Ordered Hyper-Resolution as a Proof Procedure for Disjunctive Logic Programming. [Citation Graph (0, 0)][DBLP] Fundam. Inform., 2006, v:70, n:4, pp:351-366 [Journal]
Linh Anh Nguyen Analytic Tableau Systems and Interpolation for the Modal Logics KB, KDB, K5, KD5. [Citation Graph (0, 0)][DBLP] Studia Logica, 2001, v:69, n:1, pp:41-57 [Journal]
Linh Anh Nguyen Approximating Horn Knowledge Bases in Regular Description Logics to Have PTIME Data Complexity. [Citation Graph (0, 0)][DBLP] ICLP, 2007, pp:438-439 [Conf]
Rajeev Goré, Linh Anh Nguyen EXPTIME Tableaux with Global Caching for Description Logics with Transitive Roles, Inverse Roles and Role Hierarchies. [Citation Graph (0, 0)][DBLP] TABLEAUX, 2007, pp:133-148 [Conf]