Searching for authors named "Jingde Cheng" – sorted by Relevance.
35 documents found, showing 1 through 10.
Next 10 →
-
Fuzzy Relevant Logic: What Is It and Why Study It?
- …V-250 Fuzzy Relevant Logic: What Is It and Why Study It? Jingde Cheng Department of Information…
- Add To MetaCart
-
Paraconsistent Reasoning Based on Strong Relevant Logic (Extended Abstract)
- …853 Paraconsistent Reasoning Based on Strong Relevant Logic 1 (Extended Abstract) Jingde Cheng…
- Add To MetaCart
-
Dynamic Slicing of Concurrent Programs: Where are We and Where is the Right Way? (Extended Abstract)
- … Abstract) Jingde Cheng Department of Information and Computer Sciences Saitama University Saitama, 338…
- Add To MetaCart
-
Task Dependence Nets for Concurrent Systems with Ada 95 and Its Applications
- …Task Dependence Nets for Concurrent Systems with Ada 95 and Its Applications Jingde Cheng…
- Cited by 4 (1 self) – Add To MetaCart
-
Entailment Calculus as the Logical Basis of Automated Theorem Finding in Scientific Discovery
- … Jingde Cheng Department of Computer Science and Communication Engineering Kyushu University 6…
- Cited by 9 (8 self) – Add To MetaCart
-
A Strong Relevant Logic Model of Epistemic Processes in Scientific Discovery (Extended Abstract)
- …) Jingde Cheng Department of Computer Science and Communication Engineering Kyushu University, 6…
- Cited by 8 (8 self) – Add To MetaCart
-
The Self-Measurement Principle: A Design Principle for Large-scale, Long-lived, and Highly Reliable Concurrent Systems
- … Concurrent Systems Jingde Cheng Department of Computer Science and Communication Engineering Kyushu…
- Cited by 5 (4 self) – Add To MetaCart
-
The Fundamental Role of Entailment in Knowledge Representation and Reasoning
- …The Fundamental Role of Entailment in Knowledge Representation and Reasoning Jingde Cheng…
- Cited by 16 (15 self) – Add To MetaCart
-
Relevant Reasoning As The Logical Basis Of Knowledge Engineering
- …RELEVANT REASONING AS THE LOGICAL BASIS OF KNOWLEDGE ENGINEERING Jingde Cheng Department…
- Cited by 6 (5 self) – Add To MetaCart
-
Temporal Relevant Logic as the Logic Basis for Reasoning about Dynamics of Concurrent Systems
- … Jingde Cheng Department of Computer Science and Communication Engineering Kyushu University 6…
- Cited by 5 (5 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
