The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Linh Anh Nguyen: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Linh Anh Nguyen
    On Modal Deductive Databases. [Citation Graph (0, 0)][DBLP]
    ADBIS, 2005, pp:43-57 [Conf]
  2. Linh Anh Nguyen
    On the Complexity of Fragments of Modal Logics. [Citation Graph (0, 0)][DBLP]
    Advances in Modal Logic, 2004, pp:249-268 [Conf]
  3. Linh Anh Nguyen
    On the Deterministic Horn Fragment of Test-free PDL. [Citation Graph (0, 0)][DBLP]
    Advances in Modal Logic, 2006, pp:373-392 [Conf]
  4. Linh Anh Nguyen
    Reasoning About Epistemic States of Agents by Modal Logic Programming. [Citation Graph (0, 0)][DBLP]
    CLIMA VI, 2005, pp:37-56 [Conf]
  5. Linh Anh Nguyen
    MProlog: An Extension of Prolog for Modal Logic Programming. [Citation Graph (0, 0)][DBLP]
    ICLP, 2004, pp:469-470 [Conf]
  6. Linh Anh Nguyen
    An SLD-Resolution Calculus for Basic Serial Multimodal Logics. [Citation Graph (0, 0)][DBLP]
    ICTAC, 2005, pp:151-165 [Conf]
  7. Linh Anh Nguyen
    The Modal Logic Programming System MProlog. [Citation Graph (0, 0)][DBLP]
    JELIA, 2004, pp:266-278 [Conf]
  8. Linh Anh Nguyen
    Negative Hyper-resolution as Procedural Semantics of Disjunctive Logic Programs. [Citation Graph (0, 0)][DBLP]
    JELIA, 2004, pp:565-577 [Conf]
  9. 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]
  10. Linh Anh Nguyen
    The Data Complexity of MDatalog in Basic Modal Logics. [Citation Graph (0, 0)][DBLP]
    MFCS, 2006, pp:729-740 [Conf]
  11. Linh Anh Nguyen
    A New Space Bound for the Modal Logics K4, KD4 and S4. [Citation Graph (0, 0)][DBLP]
    MFCS, 1999, pp:321-331 [Conf]
  12. Rajeev Goré, Linh Anh Nguyen
    A Tableau Calculus with Automaton-Labelled Formulae for Regular Grammar Logics. [Citation Graph (0, 0)][DBLP]
    TABLEAUX, 2005, pp:138-152 [Conf]
  13. 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]
  14. 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]
  15. 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]
  16. Linh Anh Nguyen
    The Modal Query Language MDatalog. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 2001, v:46, n:4, pp:315-342 [Journal]
  17. 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]
  18. 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]
  19. Linh Anh Nguyen, Rajeev Goré
    Completeness of hyper-resolution via the semantics of disjunctive logic programs. [Citation Graph (0, 0)][DBLP]
    Inf. Process. Lett., 2005, v:95, n:2, pp:363-369 [Journal]
  20. 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]
  21. Linh Anh Nguyen
    Multimodal logic programming. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2006, v:360, n:1-3, pp:247-288 [Journal]
  22. 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]
  23. 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]
  24. Linh Anh Nguyen
    Foundations of Modal Deductive Databases. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 2007, v:79, n:1-2, pp:85-135 [Journal]

  25. A Tableau Calculus for Regular Grammar Logics with Converse. [Citation Graph (, )][DBLP]


  26. Analytic Cut-Free Tableaux for Regular Modal Logics of Agent Beliefs. [Citation Graph (, )][DBLP]


  27. EXPTIME Tableaux for ALC Using Sound Global Caching. [Citation Graph (, )][DBLP]


  28. Paraconsistent and Approximate Semantics for the OWL 2 Web Ontology Language. [Citation Graph (, )][DBLP]


  29. Three-Valued Paraconsistent Reasoning for Semantic Web Agents. [Citation Graph (, )][DBLP]


  30. Fusing Approximate Knowledge from Distributed Sources. [Citation Graph (, )][DBLP]


  31. ExpTime Tableaux for Checking Satisfiability of a Knowledge Base in the Description Logic ALC\mathcal{ALC}. [Citation Graph (, )][DBLP]


  32. Optimal Tableau Decision Procedures for PDL [Citation Graph (, )][DBLP]


Search in 0.056secs, Finished in 0.057secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002