| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Linh Anh Nguyen, Son Thanh Cao |
Query-Subquery Nets  |
CoRR  |
2012 |
DBLP BibTeX RDF |
|
| 1 | 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 |
2011 |
DBLP BibTeX RDF |
|
| 1 | Linh Anh Nguyen, Andrzej Szalas |
ExpTime Tableau Decision Procedures for Regular Grammar Logics with Converse. |
Studia Logica |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Linh Anh Nguyen |
Cut-Free ExpTime Tableaux for Checking Satisfiability of a Knowledge Base in the Description Logic SHI |
CoRR |
2011 |
DBLP BibTeX RDF |
|
| 1 | Linh Anh Nguyen |
A Cut-Free ExpTime Tableau Decision Procedure for the Logic Extending Converse-PDL with Regular Inclusion Axioms |
CoRR |
2011 |
DBLP BibTeX RDF |
|
| 1 | Ali Rezaei Divroodi, Linh Anh Nguyen |
On Bisimulations for Description Logics |
CoRR |
2011 |
DBLP BibTeX RDF |
|
| 1 | Linh Anh Nguyen |
A Cut-Free ExpTime Tableau Decision Procedure for the Description Logic SHI. |
ICCCI |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Son Thanh Cao, Linh Anh Nguyen, Andrzej Szalas |
On the Web Ontology Rule Language OWL 2 RL. |
ICCCI |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Linh Anh Nguyen |
Cut-Free ExpTime Tableaux for Checking Satisfiability of a Knowledge Base in the Description Logic ALCI\mathcal{ALCI}. |
ISMIS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Son Thanh Cao, Linh Anh Nguyen, Andrzej Szalas |
WORL: A Web Ontology Rule Language. |
KSE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Barbara Dunin-Keplicz, Linh Anh Nguyen, Andrzej Szalas |
A layered rule-based architecture for approximate knowledge fusion? |
Comput. Sci. Inf. Syst. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Linh Anh Nguyen, Andrzej Szalas |
Checking Consistency of an ABox w.r.t. Global Assumptions in PDL. |
Fundam. Inform. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Linh Anh Nguyen |
Horn Knowledge Bases in Regular Description Logics with PTIME Data Complexity. |
Fundam. Inform. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Barbara Dunin-Keplicz, Linh Anh Nguyen, Andrzej Szalas |
A Framework for Graded Beliefs, Goals and Intentions. |
Fundam. Inform. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Linh Anh Nguyen |
Paraconsistent and Approximate Semantics for the OWL 2 Web Ontology Language. |
RSCTC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Linh Anh Nguyen, Andrzej Szalas |
Three-Valued Paraconsistent Reasoning for Semantic Web Agents. |
KES-AMSTA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Linh Anh Nguyen |
Modal logic programming revisited. |
Journal of Applied Non-Classical Logics |
2009 |
DBLP BibTeX RDF |
|
| 1 | Linh Anh Nguyen |
An Efficient Tableau Prover using Global Caching for the Description Logic ALC. |
Fundam. Inform. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Rajeev Goré, Linh Anh Nguyen |
Clausal Tableaux for Multimodal Logics of Belief. |
Fundam. Inform. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Linh Anh Nguyen, Andrzej Szalas |
Optimal Tableau Decision Procedures for PDL |
CoRR |
2009 |
DBLP BibTeX RDF |
|
| 1 | Linh Anh Nguyen, Andrzej Szalas |
A Tableau Calculus for Regular Grammar Logics with Converse. |
CADE |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Linh Anh Nguyen, Andrzej Szalas |
ExpTime Tableaux for Checking Satisfiability of a Knowledge Base in the Description Logic ALC\mathcal{ALC}. |
ICCCI |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Barbara Dunin-Keplicz, Linh Anh Nguyen, Andrzej Szalas |
Fusing Approximate Knowledge from Distributed Sources. |
IDC |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Linh Anh Nguyen |
Constructing Finite Least Kripke Models for Positive Logic Programs in Serial Regular Grammar Logics. |
Logic Journal of the IGPL |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Ewa Madalinska-Bugaj, Linh Anh Nguyen |
Generalizing the QSQR Evaluation Method for Horn Knowledge Bases. |
New Challenges in Applied Intelligence Technologies |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Linh Anh Nguyen |
Foundations of Modal Deductive Databases. |
Fundam. Inform. |
2007 |
DBLP BibTeX RDF |
|
| 1 | Rajeev Goré, Linh Anh Nguyen |
Analytic Cut-Free Tableaux for Regular Modal Logics of Agent Beliefs. |
CLIMA |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Rajeev Goré, Linh Anh Nguyen |
EXPTIME Tableaux for ALC Using Sound Global Caching. |
Description Logics |
2007 |
DBLP BibTeX RDF |
|
| 1 | Linh Anh Nguyen |
Approximating Horn Knowledge Bases in Regular Description Logics to Have PTIME Data Complexity. |
ICLP |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Rajeev Goré, Linh Anh Nguyen |
EXPTIME Tableaux with Global Caching for Description Logics with Transitive Roles, Inverse Roles and Role Hierarchies. |
TABLEAUX |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Linh Anh Nguyen |
Multimodal logic programming. |
Theor. Comput. Sci. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Linh Anh Nguyen |
Negative Ordered Hyper-Resolution as a Proof Procedure for Disjunctive Logic Programming. |
Fundam. Inform. |
2006 |
DBLP BibTeX RDF |
|
| 1 | Linh Anh Nguyen |
On the Deterministic Horn Fragment of Test-free PDL. |
Advances in Modal Logic |
2006 |
DBLP BibTeX RDF |
|
| 1 | Linh Anh Nguyen |
The Data Complexity of MDatalog in Basic Modal Logics. |
MFCS |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Linh Anh Nguyen |
A Bottom-Up Method for the Deterministic Horn Fragment of the Description Logic ALC. |
JELIA |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Linh Anh Nguyen, Rajeev Goré |
Completeness of hyper-resolution via the semantics of disjunctive logic programs. |
Inf. Process. Lett. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Linh Anh Nguyen |
Reasoning About Epistemic States of Agents by Modal Logic Programming. |
CLIMA |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Linh Anh Nguyen |
An SLD-Resolution Calculus for Basic Serial Multimodal Logics. |
ICTAC |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Rajeev Goré, Linh Anh Nguyen |
A Tableau Calculus with Automaton-Labelled Formulae for Regular Grammar Logics. |
TABLEAUX |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Linh Anh Nguyen |
On Modal Deductive Databases. |
ADBIS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Linh Anh Nguyen |
On the Complexity of Fragments of Modal Logics. |
Advances in Modal Logic |
2004 |
DBLP BibTeX RDF |
|
| 1 | Linh Anh Nguyen |
MProlog: An Extension of Prolog for Modal Logic Programming. |
ICLP |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Linh Anh Nguyen |
The Modal Logic Programming System MProlog. |
JELIA |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Linh Anh Nguyen |
Negative Hyper-resolution as Procedural Semantics of Disjunctive Logic Programs. |
JELIA |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Linh Anh Nguyen |
A Fixpoint Semantics and an SLD-Resolution Calculus for Modal Logic Programs. |
Fundam. Inform. |
2003 |
DBLP BibTeX RDF |
|
| 1 | Linh Anh Nguyen |
Analytic Tableau Systems for Propositional Bimodal Logics of Knowledge and Belief. |
TABLEAUX |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Linh Anh Nguyen |
Analytic Tableau Systems and Interpolation for the Modal Logics KB, KDB, K5, KD5. |
Studia Logica |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Linh Anh Nguyen |
The Modal Query Language MDatalog. |
Fundam. Inform. |
2001 |
DBLP BibTeX RDF |
|
| 1 | Linh Anh Nguyen |
Constructing the Least Models for Positive Modal Logic Programs. |
Fundam. Inform. |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Linh Anh Nguyen |
Sequent-Like Tableau Systems with the Analytic Superformula Property for the Modal Logics KB, KDB, K5, KD5. |
TABLEAUX |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Linh Anh Nguyen |
A New Space Bound for the Modal Logics K4, KD4 and S4. |
MFCS |
1999 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")