- Multimodal Logic Programming Linh Anh Nguyen
- A Bottom-up Method for the Deterministic Horn Fragment of the Description Logic ALC
- Fusing Approximate Knowledge from Distributed Sources
- Checking Consistency of an ABox w.r.t. Global Assumptions in PDL
- A Fixpoint Semantics and an SLDResolution Calculus for Modal Logic Programs #
- ExpTime Tableau Decision Procedures for Regular Grammar Logics with Converse
- Constructing Finite Least Kripke Models for Positive Logic Programs
- The Modal Logic Programming System Linh Anh Nguyen
- Fundamenta Informaticae 46 (2001) 315342 315 The Modal Query Language MDatalog
- Analytic Tableau Systems and Interpolation for the Modal Logics KB, KDB, K5, KD5
- An SLD-Resolution Calculus for Basic Serial Multimodal Logics
- Reasoning about Epistemic States of Agents by Modal Logic Programming #
- A Bottom-Up Method for the Deterministic Horn Fragment of the Description Logic ALC
- An Optimal Tableau Decision Procedure for Converse-PDL
- The Modal Logic Programming System Linh Anh Nguyen
- Extending the Description Horn Logic DHL Linh Anh Nguyen
- An SLD-Resolution Calculus for Basic Serial Multimodal Logics
- A Summary of the Doctoral Thesis \Results on Modal Reasoning with Applications to Modal Deductive Databases"
- EXPTIME Tableaux for ALC Using Sound Global Caching
- Fundamenta Informaticae 42(1): 2960 (2000) 29 Constructing the Least Models
- Fundamenta Informaticae 46 (2001) 315--342 315 The Modal Query Language MDatalog
- Analytic Tableau Systems for Propositional Bimodal Logics of Knowledge and Belief #
- A Fixpoint Semantics and an SLD-Resolution Calculus for Modal Logic Programs
- Three-Valued Paraconsistent Reasoning for Semantic Web Agents
- On Modal Deductive Databases # Linh Anh Nguyen
- Fundamenta Informaticae 94 (2009) 2140 21 Clausal Tableaux for Multimodal Logics of Belief
- Sound Global Caching for Abstract Modal Tableaux
- Analytic Cut-free Tableaux for Regular Modal Logics of Agent Beliefs
- EXPTIME Tableaux with Global Caching for Description Logics with Transitive Roles, Inverse
- A Tableau Calculus with Automaton-Labelled Formulae for Regular Grammar Logics
- Analytic Tableau Systems for Propositional Bimodal Logics of Knowledge and Belief
- Modal logic programming revisited Linh Anh Nguyen
- Foundations of Modal Deductive Databases Linh Anh Nguyen
- The Data Complexity of MDatalog in Basic Modal Logics
- The Data Complexity of MDatalog in Basic Modal Logics
- Horn Knowledge Bases in Regular Description Logics with PTime Data Complexity
- Approximating Horn Knowledge Bases in Regular Description Logics
- On the Deterministic Horn Fragment of Test-free PDL
- On the Complexity of Fragments of Modal Logics
- A Generalized QSQR Evaluation Method for Horn Knowledge Bases
- Clausal Tableau Systems and Space Bounds for the Modal Logics K, D, T, KB, KDB and B
- 1 Introduction 1 2 Preliminaries 2
- Weakening Horn Knowledge Bases in Regular Description Logics
- Reasoning about Epistemic States of Agents by Modal Logic Programming
- A New Space Bound for the Modal Logics K4, KD4 and S4 #
- An Optimal Tableau Decision Procedure for Converse-PDL
- A Summary of the Habilitation Thesis "Selected Semantic and Computational Aspects of
- Fundamenta Informaticae 42(1): 29-60 (2000) 29 Constructing the Least Models
- Checking Consistency of an ABox w.r.t. Global Assumptions in PDL
- Paraconsistent and Approximate Semantics for the OWL 2 Web Ontology Language
- Completeness of Hyper-Resolution via the Semantics of Disjunctive Logic Programs
- Analytic Tableau Systems and Interpolation for the Modal Logics KB , KDB , K 5, KD5 #
- Sequentlike Tableau Systems with the Analytic Superformula Property for the Modal Logics
- An Optimal Tableau Decision Procedure for Converse-PDL
- On Modal Deductive Databases Linh Anh Nguyen
- Fundamenta Informaticae 70 (2006) 351366 351 Negative Ordered Hyper-Resolution as a Proof Procedure for
- On Modal Deductive Databases Linh Anh Nguyen
- On the Complexity of Fragments of Modal Logics
- Multimodal Logic Programming # Linh Anh Nguyen
- Negative Hyper-Resolution as Procedural Semantics of Disjunctive Logic Programs
- Institute of Informatics, Warsaw University A Fixpoint Semantics and an SLD-Resolution Calculus
- A New Space Bound for the Modal Logics K4, Linh Anh Nguyen
- Foundations of Modal Logic Programming: The Direct Approach
- Extending the Description Horn Logic DHL Linh Anh Nguyen
- Sequent-like Tableau Systems with the Analytic Superformula Property for the Modal Logics
- Institute of Informatics, Warsaw University Results on Modal Reasoning
- Fundamenta Informaticae 70 (2006) 351--366 351 Negative Ordered HyperResolution as a Proof Procedure for
- Completeness of HyperResolution via the Semantics of Disjunctive Logic Programs #
- Negative HyperResolution as Procedural Semantics of Disjunctive Logic Programs #
- A Bottom-up Method for the Deterministic Horn Fragment of the Description Logic ALC
- Reasoning about Epistemic States of Agents by Modal Logic Programming
- A Tableau Calculus for Regular Grammar Logics with Converse
- An Efficient Tableau Prover using Global Caching for the Description Logic ALC
- ExpTime Tableaux for Checking Satisfiability of a Knowledge Base
- A Generalized QSQR Evaluation Method for Horn Knowledge Bases
- Cut-Free ExpTime Tableaux for Checking Satisfiability of a Knowledge Base
- Tableaux with Global Caching for Checking Satisfiability of a Knowledge Base
- On the Web Ontology Rule Language OWL 2 RL Son Thanh Cao (Vinh University)
- On the Web Ontology Rule Language OWL 2 RL Son Thanh Cao1, Linh Anh Nguyen2, and Andrzej Szalas2,3
- Paraconsistent and Approximate Semantics for the OWL 2 Web Ontology Language
- Studia Logica (2011) 98: 387428 DOI: 10.1007/s11225-011-9341-3 Springer 2011
- Cut-Free ExpTime Tableaux for Checking Satisfiability of a Knowledge
- Tractable approximate knowledge fusion using the Horn fragment of serial propositional dynamic logic q
- Fundamenta Informaticae 100 (2010) 5376 53 DOI 10.3233/FI-2010-263
- A Cut-Free ExpTime Tableau Decision Procedure for the Description Logic SHI
- WORL: a Web Ontology Rule Language Son Thanh Cao1, Linh Anh Nguyen2, and Andrzej Szalas2,3
