 | 2009 |
|---|
| 33 |       | Linh Anh Nguyen,
Andrzej Szalas:
A Tableau Calculus for Regular Grammar Logics with Converse.
CADE 2009: 421-436 |
| 32 | | 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 |
| 31 | | Linh Anh Nguyen,
Andrzej Szalas:
Optimal Tableau Decision Procedures for PDL
CoRR abs/0904.0721: (2009) |
| 30 | | Linh Anh Nguyen:
An Efficient Tableau Prover using Global Caching for the Description Logic ALC.
Fundam. Inform. 93(1-3): 273-288 (2009) |
| 29 | | Rajeev Goré,
Linh Anh Nguyen:
Clausal Tableaux for Multimodal Logics of Belief.
Fundam. Inform. 94(1): 21-40 (2009) |
| 2008 |
|---|
| 28 | | Ewa Madalinska-Bugaj,
Linh Anh Nguyen:
Generalizing the QSQR Evaluation Method for Horn Knowledge Bases.
New Challenges in Applied Intelligence Technologies 2008: 145-154 |
| 27 | | 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) |
| 2007 |
|---|
| 26 | | Rajeev Goré,
Linh Anh Nguyen:
Analytic Cut-Free Tableaux for Regular Modal Logics of Agent Beliefs.
CLIMA VIII 2007: 268-287 |
| 25 | | Rajeev Goré,
Linh Anh Nguyen:
EXPTIME Tableaux for ALC Using Sound Global Caching.
Description Logics 2007 |
| 24 | | Linh Anh Nguyen:
Approximating Horn Knowledge Bases in Regular Description Logics to Have PTIME Data Complexity.
ICLP 2007: 438-439 |
| 23 | | 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 |
| 22 | | Linh Anh Nguyen:
Foundations of Modal Deductive Databases.
Fundam. Inform. 79(1-2): 85-135 (2007) |
| 2006 |
|---|
| 21 | | Linh Anh Nguyen:
On the Deterministic Horn Fragment of Test-free PDL.
Advances in Modal Logic 2006: 373-392 |
| 20 | | Linh Anh Nguyen:
A Bottom-Up Method for the Deterministic Horn Fragment of the Description Logic ALC.
JELIA 2006: 346-358 |
| 19 | | Linh Anh Nguyen:
The Data Complexity of MDatalog in Basic Modal Logics.
MFCS 2006: 729-740 |
| 18 | | Linh Anh Nguyen:
Negative Ordered Hyper-Resolution as a Proof Procedure for Disjunctive Logic Programming.
Fundam. Inform. 70(4): 351-366 (2006) |
| 17 | | Linh Anh Nguyen:
Multimodal logic programming.
Theor. Comput. Sci. 360(1-3): 247-288 (2006) |
| 2005 |
|---|
| 16 | | Linh Anh Nguyen:
On Modal Deductive Databases.
ADBIS 2005: 43-57 |
| 15 | | Linh Anh Nguyen:
Reasoning About Epistemic States of Agents by Modal Logic Programming.
CLIMA VI 2005: 37-56 |
| 14 | | Linh Anh Nguyen:
An SLD-Resolution Calculus for Basic Serial Multimodal Logics.
ICTAC 2005: 151-165 |
| 13 | | Rajeev Goré,
Linh Anh Nguyen:
A Tableau Calculus with Automaton-Labelled Formulae for Regular Grammar Logics.
TABLEAUX 2005: 138-152 |
| 12 | | Linh Anh Nguyen,
Rajeev Goré:
Completeness of hyper-resolution via the semantics of disjunctive logic programs.
Inf. Process. Lett. 95(2): 363-369 (2005) |
| 2004 |
|---|
| 11 | | Linh Anh Nguyen:
On the Complexity of Fragments of Modal Logics.
Advances in Modal Logic 2004: 249-268 |
| 10 | | Linh Anh Nguyen:
MProlog: An Extension of Prolog for Modal Logic Programming.
ICLP 2004: 469-470 |
| 9 | | Linh Anh Nguyen:
The Modal Logic Programming System MProlog.
JELIA 2004: 266-278 |
| 8 | | Linh Anh Nguyen:
Negative Hyper-resolution as Procedural Semantics of Disjunctive Logic Programs.
JELIA 2004: 565-577 |
| 2003 |
|---|
| 7 | | Linh Anh Nguyen:
A Fixpoint Semantics and an SLD-Resolution Calculus for Modal Logic Programs.
Fundam. Inform. 55(1): 63-100 (2003) |
| 2002 |
|---|
| 6 | | Linh Anh Nguyen:
Analytic Tableau Systems for Propositional Bimodal Logics of Knowledge and Belief.
TABLEAUX 2002: 206-220 |
| 2001 |
|---|
| 5 |  | Linh Anh Nguyen:
The Modal Query Language MDatalog.
Fundam. Inform. 46(4): 315-342 (2001) |
| 4 | | Linh Anh Nguyen:
Analytic Tableau Systems and Interpolation for the Modal Logics KB, KDB, K5, KD5.
Studia Logica 69(1): 41-57 (2001) |
| 2000 |
|---|
| 3 | | Linh Anh Nguyen:
Sequent-Like Tableau Systems with the Analytic Superformula Property for the Modal Logics KB, KDB, K5, KD5.
TABLEAUX 2000: 341-351 |
| 2 | | Linh Anh Nguyen:
Constructing the Least Models for Positive Modal Logic Programs.
Fundam. Inform. 42(1): 29-60 (2000) |
| 1999 |
|---|
| 1 | | Linh Anh Nguyen:
A New Space Bound for the Modal Logics K4, KD4 and S4.
MFCS 1999: 321-331 |
