|
Search the dblp DataBase
Zuoquan Lin:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Zuoquan Lin
Paraconsistent Circumscription. [Citation Graph (0, 0)][DBLP] Canadian Conference on AI, 1996, pp:296-308 [Conf]
- Anbu Yue, Yue Ma, Zuoquan Lin
Four-Valued Semantics for Default Logic. [Citation Graph (0, 0)][DBLP] Canadian Conference on AI, 2006, pp:195-205 [Conf]
- Xinyu Zhao, Shaofeng Fan, Runjie Zhang, Anbu Yue, Zuoquan Lin
Toward a Formal Theory of Belief, Capability and Promise Incorporating Temporal Aspect. [Citation Graph (0, 0)][DBLP] CEEMAS, 2005, pp:296-305 [Conf]
- Chen Zhao, NuerMaimaiti Heilili, Shengping Liu, Zuoquan Lin
Using Description Logic to Formalize Role-Based Access Control Model. [Citation Graph (0, 0)][DBLP] Description Logics, 2005, pp:- [Conf]
- Yue Ma, Zuoquan Lin, Zhangang Lin
Inferring with Inconsistent OWL DL Ontology: A Multi-valued Logic Approach. [Citation Graph (0, 0)][DBLP] EDBT Workshops, 2006, pp:535-553 [Conf]
- Xinyu Zhao, Cen Wu, Runjie Zhang, Chen Zhao, Zuoquan Lin
A Multi-Agent System for E-Business Processes Monitoring in a Web-Based Environment. [Citation Graph (0, 0)][DBLP] ICEB, 2004, pp:470-475 [Conf]
- Xinyu Zhao, Zuoquan Lin
Modeling Belief, Capability and Promise for Cognitive Agents - A Modal Logic Approach. [Citation Graph (0, 0)][DBLP] ICNC (1), 2005, pp:825-834 [Conf]
- Chen Zhao, NuerMaimaiti Heilili, Shengping Liu, Zuoquan Lin
Representation and Reasoning on RBAC: A Description Logic Approach. [Citation Graph (0, 0)][DBLP] ICTAC, 2005, pp:381-393 [Conf]
- Zuoquan Lin
Three-Valued Nonmonotonic Logic. [Citation Graph (0, 0)][DBLP] ISMVL, 1993, pp:42-47 [Conf]
- Zuoquan Lin
Paraconsistent Circumscription: First-Order Case. [Citation Graph (0, 0)][DBLP] ISMVL, 1995, pp:112-116 [Conf]
- Zuoquan Lin, Wei Li
On Logic of Paradox. [Citation Graph (0, 0)][DBLP] ISMVL, 1995, pp:248-0 [Conf]
- Jing Mei, Elena Paslaru Bontas, Zuoquan Lin
OWL2Jess: A Transformational Implementation of the OWL Semantics. [Citation Graph (0, 0)][DBLP] ISPA Workshops, 2005, pp:599-608 [Conf]
- Zuoquan Lin
Experiential Logic. [Citation Graph (0, 0)][DBLP] IWAR, 1992, pp:65-74 [Conf]
- Zhangang Lin, Yue Ma, Zuoquan Lin
A Fault-Tolerant Default Logic. [Citation Graph (0, 0)][DBLP] JELIA, 2006, pp:253-265 [Conf]
- Geguang Pu, Chong Zhang, Zongyan Qiu, Zuoquan Lin, Jifeng He
A Hybrid Heuristic Algorithm for HW-SW Partitioning Within Timed Automata. [Citation Graph (0, 0)][DBLP] KES (1), 2006, pp:459-466 [Conf]
- Chong Zhang, Zhangang Lin, Zuoquan Lin
Variable Neighborhood Search with Permutation Distance for QAP. [Citation Graph (0, 0)][DBLP] KES (4), 2005, pp:81-88 [Conf]
- Zuoquan Lin, Wei Li
A Note on Tableaux of Logic of Paradox. [Citation Graph (0, 0)][DBLP] KI, 1994, pp:296-307 [Conf]
- NuerMaimaiti Heilili, Yang Chen, Chen Zhao, Zhenxing Luo, Zuoquan Lin
An OWL-Based Approach for RBAC with Negative Authorization. [Citation Graph (0, 0)][DBLP] KSEM, 2006, pp:164-175 [Conf]
- Zhenxing Luo, NuerMaimaiti Heilili, Dawei Xu, Chen Zhao, Zuoquan Lin
Web Application Security Gateway with Java Non-blocking IO. [Citation Graph (0, 0)][DBLP] NGITS, 2006, pp:96-105 [Conf]
- Qing Han, Zuoquan Lin
Paraconsistent default reasoning. [Citation Graph (0, 0)][DBLP] NMR, 2004, pp:197-203 [Conf]
- Kedian Mu, Zuoquan Lin, Zhi Jin, Ruqian Lu
Reasoning About Hybrid Probabilistic Knowledge Bases. [Citation Graph (0, 0)][DBLP] PRICAI, 2006, pp:130-139 [Conf]
- Jing Mei, Shengping Liu, Anbu Yue, Zuoquan Lin
An Extension to OWL with General Rules. [Citation Graph (0, 0)][DBLP] RuleML, 2004, pp:155-169 [Conf]
- Shengping Liu, Jing Mei, Anbu Yue, Zuoquan Lin
XSDL: Making XML Semantics Explicit. [Citation Graph (0, 0)][DBLP] SWDB, 2004, pp:64-83 [Conf]
- Jianqing Li, Shengping Liu, Zuoquan Lin, Cen Wu
A Real-Time Information Gathering Agent Based on Ontology. [Citation Graph (0, 0)][DBLP] WAIM, 2004, pp:696-701 [Conf]
- Chen Zhao, Yang Chen, Dawei Xu, NuerMaimaiti Heilili, Zuoquan Lin
Integrative Security Management for Web-Based Enterprise Applications. [Citation Graph (0, 0)][DBLP] WAIM, 2005, pp:618-625 [Conf]
- Zuoquan Lin
Paraconsistent Circumscription: Preliminary Report. [Citation Graph (0, 0)][DBLP] IJPRAI, 1996, v:10, n:6, pp:679-686 [Journal]
- Zhenxing Luo, NuerMaimaiti Heilili, Zuoquan Lin
A Flexible Applicable RBAC Model and Its Administration. [Citation Graph (0, 0)][DBLP] DEXA Workshops, 2007, pp:192-196 [Conf]
- Yue Ma, Guilin Qi, Pascal Hitzler, Zuoquan Lin
Measuring Inconsistency for Description Logics Based on Paraconsistent Semantics. [Citation Graph (0, 0)][DBLP] ECSQARU, 2007, pp:30-41 [Conf]
- Yue Ma, Guilin Qi, Pascal Hitzler, Zuoquan Lin
An Algorithm for Computing Inconsistency Measurement by Paraconsistent Semantics. [Citation Graph (0, 0)][DBLP] ECSQARU, 2007, pp:91-102 [Conf]
- Yue Ma, Pascal Hitzler, Zuoquan Lin
Algorithms for Paraconsistent Reasoning with OWL. [Citation Graph (0, 0)][DBLP] ESWC, 2007, pp:399-413 [Conf]
- Jing Mei, Zuoquan Lin, Harold Boley
ALCuP: An Integration of Description Logic and General Rules. [Citation Graph (0, 0)][DBLP] RR, 2007, pp:163-177 [Conf]
- Jing Mei, Harold Boley, Jie Li, Virendrakumar C. Bhavsar, Zuoquan Lin
DatalogDL: Datalog Rules Parameterized by Description Logics. [Citation Graph (0, 0)][DBLP] CSWWS, 2006, pp:171-187 [Conf]
Argumentation-Based Reasoning with Inconsistent Knowledge Bases. [Citation Graph (, )][DBLP]
Measuring Inconsistency for Description Logics Based on Paraconsistent Semantics. [Citation Graph (, )][DBLP]
Paraconsistent Resolution for Four-valued Description Logics. [Citation Graph (, )][DBLP]
Paraconsistent Reasoning for Expressive and Tractable Description Logics. [Citation Graph (, )][DBLP]
Quasi-Classical Semantics for Expressive Description Logics. [Citation Graph (, )][DBLP]
An Argumentative Semantics for Paraconsistent Reasoning in Description Logic ALC. [Citation Graph (, )][DBLP]
A Tableau Algorithm for Handling Inconsistency in OWL. [Citation Graph (, )][DBLP]
Towards a Paradoxical Description Logic for the Semantic Web. [Citation Graph (, )][DBLP]
Enhancing Dung's Preferred Semantics. [Citation Graph (, )][DBLP]
Quasi-Classical Model Semantics for Logic Programs - A Paraconsistent Approach. [Citation Graph (, )][DBLP]
An Argumentation-Based Approach to Handling Inconsistencies in DL-Lite. [Citation Graph (, )][DBLP]
Computing Inconsistency Measurements under Multi-Valued Semantics by Partial Max-SAT Solvers. [Citation Graph (, )][DBLP]
Handling Contradictions in Default Theories. [Citation Graph (, )][DBLP]
An Anytime Algorithm for Computing Inconsistency Measurement. [Citation Graph (, )][DBLP]
Hybrid role hierarchy for the extended role based access control model. [Citation Graph (, )][DBLP]
Paraconsistent Reasoning with Quasi-classical Semantic in . [Citation Graph (, )][DBLP]
The DATALOGDL Combination of Deduction Rules and Description Logics. [Citation Graph (, )][DBLP]
Search in 0.007secs, Finished in 0.010secs
|