Search

Your search keyword '"Zhang, Xiaowang"' showing total 10 results

Search Constraints

Start Over You searched for: Author "Zhang, Xiaowang" Remove constraint Author: "Zhang, Xiaowang" Publisher springer berlin heidelberg Remove constraint Publisher: springer berlin heidelberg
10 results on '"Zhang, Xiaowang"'

Search Results

1. A Tableau Algorithm for Paraconsistent and Nonmonotonic Reasoning in Description Logic-Based System

2. Argumentation-Based Reasoning with Inconsistent Knowledge Bases

3. Towards a Paradoxical Description Logic for the Semantic Web

4. An Argumentation-Based Approach to Handling Inconsistencies in DL-Lite

5. A Tableau Algorithm for Handling Inconsistency in OWL

6. Paraconsistent Reasoning with Quasi-classical Semantic in

Catalog

Books, media, physical & digital resources