101 results on '"Nguyen, Linh Anh"'
Search Results
2. Towards New Types of Weak Bisimulations for Fuzzy Automata Using the Product T-Norm
3. Minimizing fuzzy interpretations in fuzzy description logics by using crisp bisimulations
4. Approximate weak simulations and bisimulations for fuzzy automata over the product structure
5. Depth-Bounded Fuzzy Bisimulation for Fuzzy Modal Logic
6. Approximate State Reduction of Fuzzy Finite Automata
7. Depth-Bounded Fuzzy Simulations and Bisimulations between Fuzzy Automata
8. Computing the fuzzy partition corresponding to the greatest fuzzy auto-bisimulation of a fuzzy graph-based structure under the Gödel semantics
9. Bisimulations for Fuzzy Description Logics with Involutive Negation Under the Gödel Semantics
10. Fuzzy simulations and bisimulations between fuzzy automata
11. Fuzzy Bisimulations in Fuzzy Description Logics Under the Gödel Semantics
12. Fuzzy Minimax Nets
13. Characterization and computation of approximate bisimulations for fuzzy automata
14. Logical characterizations of fuzzy bisimulations in fuzzy modal logics over residuated lattices
15. Logical Characterizations of Fuzzy Simulations
16. Logical Characterizations of Crisp Bisimulations in Fuzzy Description Logics
17. An Empirical Approach to Query-Subquery Nets with Tail-Recursion Elimination
18. Designing a Tableau Reasoner for Description Logics
19. Characterizing fuzzy simulations for fuzzy labeled transition systems in fuzzy propositional dynamic logic
20. A Domain Partitioning Method for Bisimulation-Based Concept Learning in Description Logics
21. The Web Ontology Rule Language OWL 2 RL + and Its Extensions
22. On Horn Knowledge Bases in Regular Description Logic with Inverse
23. An Improved Depth-First Control Strategy for Query-Subquery Nets in Evaluating Queries to Horn Knowledge Bases
24. Characterizing Crisp Simulations and Crisp Directed Simulations between Fuzzy Labeled Transition Systems by Using Fuzzy Modal Logics
25. Computing Fuzzy Bisimulations for Fuzzy Structures Under the Gödel Semantics
26. Prevalence and course of mood and anxiety disorders, and correlates of symptom severity in adolescents with type 1 diabetes: Results from diabetes LEAP
27. Horn-TeamLog: A Horn Fragment of TeamLog with PTime Data Complexity
28. Logic-Based Roughification
29. HornDL: An Expressive Horn Description Logic with PTime Data Complexity
30. A Tableau Method with Optimal Complexity for Deciding the Description Logic SHIQ
31. Optimization Models for Medical Procedures Relocation
32. Query-Subquery Nets
33. On C-Learnability in Description Logics
34. Paraconsistent Reasoning for Semantic Web Agents
35. On Designing the SONCA System
36. A Cut-Free ExpTime Tableau Decision Procedure for the Description Logic SHI
37. Cut-Free ExpTime Tableaux for Checking Satisfiability of a Knowledge Base in the Description Logic $\mathcal{ALCI}$
38. On the Web Ontology Rule Language OWL 2 RL
39. Paraconsistent and Approximate Semantics for the OWL 2 Web Ontology Language
40. Tableaux with Global Caching for Checking Satisfiability of a Knowledge Base in the Description Logic $\mathcal{SH}$
41. Three-Valued Paraconsistent Reasoning for Semantic Web Agents
42. ExpTime Tableaux for Checking Satisfiability of a Knowledge Base in the Description Logic $\mathcal{ALC}$
43. A Tableau Calculus for Regular Grammar Logics with Converse
44. Fusing Approximate Knowledge from Distributed Sources
45. Analytic Cut-Free Tableaux for Regular Modal Logics of Agent Beliefs
46. Bisimulation and bisimilarity for fuzzy description logics under the Gödel semantics
47. Minimizing interpretations in fuzzy description logics under the Gödel semantics by using fuzzy bisimulations
48. The Influence of the Test Operator on the Expressive Power of PDL-like Logics
49. The Data Complexity of MDatalog in Basic Modal Logics
50. A Bottom-Up Method for the Deterministic Horn Fragment of the Description Logic $\mathcal{ALC}$
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.