University of Warsaw
List of publications from the DBLP Bibliography Server - FAQ
- CSB - MetaPress - Google - Bing - Yahoo
 | 2012 | |
|---|---|---|
| 53 |      | Linh Anh Nguyen, Son Thanh Cao: Query-Subquery Nets CoRR abs/1201.2564: (2012) |
| 2011 | ||
| 52 | | Son Thanh Cao, Linh Anh Nguyen, Andrzej Szalas: On the Web Ontology Rule Language OWL 2 RL. ICCCI (1) 2011: 254-264 |
| 51 | | Linh Anh Nguyen: A Cut-Free ExpTime Tableau Decision Procedure for the Description Logic SHI. ICCCI (1) 2011: 572-581 |
| 50 | | 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 |
| 49 | | Son Thanh Cao, Linh Anh Nguyen, Andrzej Szalas: WORL: A Web Ontology Rule Language. KSE 2011: 32-39 |
| 48 | | 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) |
| 47 | | Ali Rezaei Divroodi, Linh Anh Nguyen: On Bisimulations for Description Logics CoRR abs/1104.1964: (2011) |
| 46 | | Linh Anh Nguyen: Cut-Free ExpTime Tableaux for Checking Satisfiability of a Knowledge Base in the Description Logic SHI CoRR abs/1106.2305: (2011) |
| 45 | | 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) |
| 44 | | Linh Anh Nguyen, Andrzej Szalas: ExpTime Tableau Decision Procedures for Regular Grammar Logics with Converse. Studia Logica 98(3): 387-428 (2011) |
| 2010 | ||
| 43 | | Linh Anh Nguyen, Andrzej Szalas: Three-Valued Paraconsistent Reasoning for Semantic Web Agents. KES-AMSTA (1) 2010: 152-162 |
| 42 | | Linh Anh Nguyen: Paraconsistent and Approximate Semantics for the OWL 2 Web Ontology Language. RSCTC 2010: 710-720 |
| 41 | | 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) |
| 40 | | Barbara Dunin-Keplicz, Linh Anh Nguyen, Andrzej Szalas: A Framework for Graded Beliefs, Goals and Intentions. Fundam. Inform. 100(1-4): 53-76 (2010) |
| 39 | | Linh Anh Nguyen, Andrzej Szalas: Checking Consistency of an ABox w.r.t. Global Assumptions in PDL. Fundam. Inform. 102(1): 97-113 (2010) |
| 38 | | Linh Anh Nguyen: Horn Knowledge Bases in Regular Description Logics with PTIME Data Complexity. Fundam. Inform. 104(4): 349-384 (2010) |
| 37 | | 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) |
| 36 | | 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) |
| 2009 | ||
| 35 | | Linh Anh Nguyen, Andrzej Szalas: A Tableau Calculus for Regular Grammar Logics with Converse. CADE 2009: 421-436 |
| 34 | | 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 |
| 33 | | Barbara Dunin-Keplicz, Linh Anh Nguyen, Andrzej Szalas: Fusing Approximate Knowledge from Distributed Sources. IDC 2009: 75-86 |
| 32 | | Linh Anh Nguyen, Andrzej Szalas: Optimal Tableau Decision Procedures for PDL CoRR abs/0904.0721: (2009) |
| 31 | | Linh Anh Nguyen: An Efficient Tableau Prover using Global Caching for the Description Logic ALC. Fundam. Inform. 93(1-3): 273-288 (2009) |
| 30 | | Rajeev Goré, Linh Anh Nguyen: Clausal Tableaux for Multimodal Logics of Belief. Fundam. Inform. 94(1): 21-40 (2009) |
| 29 | | Linh Anh Nguyen: Modal logic programming revisited. Journal of Applied Non-Classical Logics 19(2): 167-181 (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 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 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 |
| 1 | Son Thanh Cao | [49] [52] [53] |
| 2 | Ali Rezaei Divroodi | [47] |
| 3 | Barbara Dunin-Keplicz | [33] [37] [40] [41] [45] |
| 4 | Rajeev Goré | [12] [13] [23] [25] [26] [30] |
| 5 | Ewa Madalinska-Bugaj | [28] |
| 6 | Andrzej Szalas | [32] [33] [34] [35] [36] [37] [39] [40] [41] [43] [44] [45] [49] [52] |
Colors in the list of coauthors
Last update Fri May 25 01:42:58 2012 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page