Zuoquan Lin

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C

Ask others: ACM DL/Guide -

- CSB - MetaPress - Google - Bing - Yahoo

	2013
j7		Xiaowang Zhang, Zuoquan Lin: An argumentation framework for description logic ontology reasoning and management. J. Intell. Inf. Syst. 40(3): 375-403 (2013)
c54		Xin Liang, Zuoquan Lin, Jan Van den Bussche: Quantitatively Evaluating Formula-Variable Relevance by Forgetting. Canadian Conference on AI 2013: 271-277
c53		Chaosheng Fan, Zuoquan Lin: Collaborative Ranking with Ranking-Based Neighborhood. APWeb 2013: 770-781
i2		Dai Xu, Xiaowang Zhang, Zuoquan Lin: A Forgetting-based Approach to Merging Knowledge Bases. CoRR abs/1301.2137 (2013)
i1		Xiaowang Zhang, Guohui Xiao, Zuoquan Lin: A Paraconsistent Tableau Algorithm Based on Sign Transformation in Semantic Web. CoRR abs/1301.2146 (2013)
	2012
j6		Zhihu Zhang, Zuoquan Lin: Minimal hypotheses: extension-based semantics to argumentation. Ann. Math. Artif. Intell. 65(2-3): 245-283 (2012)
j5		Xiaowang Zhang, Zuoquan Lin: Quasi-Classical Description Logic. Multiple-Valued Logic and Soft Computing 18(3-4): 291-327 (2012)
c52		Geng Wang, Zuoquan Lin: A Model-Theoretic Semantics for Two-Sided Argumentation. FLAIRS Conference 2012
c51		Geng Wang, Zuoquan Lin: An Argumentation Framework for Non-monotonic Reasoning in Description Logic. RSKT 2012: 200-206
c50		Wei Zhang, Zuoquan Lin: A Logic-Based RBAC Framework for Flexible Policies. SKG 2012: 279-282
	2011
c49		Xiaowang Zhang, Zuoquan Lin, Kewen Wang: A Tableau Algorithm for Paraconsistent and Nonmonotonic Reasoning in Description Logic-Based System. APWeb 2011: 345-356
	2010
j4		Yue Ma, Guilin Qi, Guohui Xiao, Pascal Hitzler, Zuoquan Lin: Computational Complexity and Anytime Algorithm for Inconsistency Measurement. Int. J. Software and Informatics 4(1): 3-21 (2010)
c48		Xiaowang Zhang, Zhihu Zhang, Dai Xu, Zuoquan Lin: Argumentation-Based Reasoning with Inconsistent Knowledge Bases. Canadian Conference on AI 2010: 87-99
c47		Zhihu Zhang, Zuoquan Lin: Enhancing Dung's Preferred Semantics. FoIKS 2010: 58-75
c46		Xiaowang Zhang, Zuoquan Lin, Kewen Wang: Towards a Paradoxical Description Logic for the Semantic Web. FoIKS 2010: 306-325
c45		Guohui Xiao, Zuoquan Lin, Yue Ma, Guilin Qi: Computing Inconsistency Measurements under Multi-Valued Semantics by Partial Max-SAT Solvers. KR 2010
	2009
c44		Xiaowang Zhang, Guilin Qi, Yue Ma, Zuoquan Lin: Quasi-Classical Semantics for Expressive Description Logics. Description Logics 2009
c43		Xiaowang Zhang, Zhihu Zhang, Zuoquan Lin: An Argumentative Semantics for Paraconsistent Reasoning in Description Logic ALC. Description Logics 2009
c42		Xiaowang Zhang, Guohui Xiao, Zuoquan Lin: A Tableau Algorithm for Handling Inconsistency in OWL. ESWC 2009: 399-413
c41		Zhihu Zhang, Zuoquan Lin, Shuang Ren: Quasi-Classical Model Semantics for Logic Programs - A Paraconsistent Approach. ISMIS 2009: 181-190
c40		Xiaowang Zhang, Zuoquan Lin: An Argumentation-Based Approach to Handling Inconsistencies in DL-Lite. KI 2009: 615-622
c39		Yue Ma, Guilin Qi, Guohui Xiao, Pascal Hitzler, Zuoquan Lin: An Anytime Algorithm for Computing Inconsistency Measurement. KSEM 2009: 29-40
	2008
c38		Yue Ma, Pascal Hitzler, Zuoquan Lin: Paraconsistent Reasoning for Expressive and Tractable Description Logics. Description Logics 2008
c37		Zhenxing Luo, Jing Chen, Zuoquan Lin: Hybrid role hierarchy for the extended role based access control model. LCN 2008: 566-567
c36		Xiaowang Zhang, Zuoquan Lin: Paraconsistent Reasoning with Quasi-classical Semantic in . RR 2008: 222-229
	2007
j3		Jing Mei, Zuoquan Lin, Harold Boley, Jie Li, Virendrakumar C. Bhavsar: The DATALOG^DL Combination of Deduction Rules and Description Logics. Computational Intelligence 23(3): 356-372 (2007)
c35		Anbu Yue, Zuoquan Lin: A Coherent and Paraconsistent Variant of the Default Logic. AAAI Spring Symposium: Logical Formalizations of Commonsense Reasoning 2007: 162-
c34		Zhenxing Luo, NuerMaimaiti Heilili, Zuoquan Lin: A Flexible Applicable RBAC Model and Its Administration. DEXA Workshops 2007: 192-196
c33		Yue Ma, Pascal Hitzler, Zuoquan Lin: Paraconsistent Resolution for Four-valued Description Logics. Description Logics 2007
c32		Yue Ma, Guilin Qi, Pascal Hitzler, Zuoquan Lin: Measuring Inconsistency for Description Logics Based on Paraconsistent Semantics. Description Logics 2007
c31		Yue Ma, Guilin Qi, Pascal Hitzler, Zuoquan Lin: Measuring Inconsistency for Description Logics Based on Paraconsistent Semantics. ECSQARU 2007: 30-41
c30		Yue Ma, Guilin Qi, Pascal Hitzler, Zuoquan Lin: An Algorithm for Computing Inconsistency Measurement by Paraconsistent Semantics. ECSQARU 2007: 91-102
c29		Yue Ma, Pascal Hitzler, Zuoquan Lin: Algorithms for Paraconsistent Reasoning with OWL. ESWC 2007: 399-413
c28		Zhangang Lin, Zuoquan Lin: Handling Contradictions in Default Theories. KSEM 2007: 556-561
c27		Jing Mei, Zuoquan Lin, Harold Boley: ALC^u_P: An Integration of Description Logic and General Rules. RR 2007: 163-177
	2006
c26		Anbu Yue, Yue Ma, Zuoquan Lin: Four-Valued Semantics for Default Logic. Canadian Conference on AI 2006: 195-205
c25		Jing Mei, Harold Boley, Jie Li, Virendrakumar C. Bhavsar, Zuoquan Lin: Datalog^DL: Datalog Rules Parameterized by Description Logics. CSWWS 2006: 171-187
c24		Yue Ma, Zuoquan Lin, Zhangang Lin: Inferring with Inconsistent OWL DL Ontology: A Multi-valued Logic Approach. EDBT Workshops 2006: 535-553
c23		Zhangang Lin, Yue Ma, Zuoquan Lin: A Fault-Tolerant Default Logic. JELIA 2006: 253-265
c22		Geguang Pu, Chong Zhang, Zongyan Qiu, Zuoquan Lin, Jifeng He: A Hybrid Heuristic Algorithm for HW-SW Partitioning Within Timed Automata. KES (1) 2006: 459-466
c21		NuerMaimaiti Heilili, Yang Chen, Chen Zhao, Zhenxing Luo, Zuoquan Lin: An OWL-Based Approach for RBAC with Negative Authorization. KSEM 2006: 164-175
c20		Zhenxing Luo, NuerMaimaiti Heilili, Dawei Xu, Chen Zhao, Zuoquan Lin: Web Application Security Gateway with Java Non-blocking IO. NGITS 2006: 96-105
c19		Kedian Mu, Zuoquan Lin, Zhi Jin, Ruqian Lu: Reasoning About Hybrid Probabilistic Knowledge Bases. PRICAI 2006: 130-139
	2005
c18		Xinyu Zhao, Shaofeng Fan, Runjie Zhang, Anbu Yue, Zuoquan Lin: Toward a Formal Theory of Belief, Capability and Promise Incorporating Temporal Aspect. CEEMAS 2005: 296-305
c17		Chen Zhao, NuerMaimaiti Heilili, Shengping Liu, Zuoquan Lin: Using Description Logic to Formalize Role-Based Access Control Model. Description Logics 2005
c16		Xinyu Zhao, Zuoquan Lin: Modeling Belief, Capability and Promise for Cognitive Agents - A Modal Logic Approach. ICNC (1) 2005: 825-834
c15		Chen Zhao, NuerMaimaiti Heilili, Shengping Liu, Zuoquan Lin: Representation and Reasoning on RBAC: A Description Logic Approach. ICTAC 2005: 381-393
c14		Jing Mei, Elena Paslaru Bontas, Zuoquan Lin: OWL2Jess: A Transformational Implementation of the OWL Semantics. ISPA Workshops 2005: 599-608
c13		Chong Zhang, Zhangang Lin, Zuoquan Lin: Variable Neighborhood Search with Permutation Distance for QAP. KES (4) 2005: 81-88
c12		Chen Zhao, Yang Chen, Dawei Xu, NuerMaimaiti Heilili, Zuoquan Lin: Integrative Security Management for Web-Based Enterprise Applications. WAIM 2005: 618-625
	2004
c11		Xinyu Zhao, Cen Wu, Runjie Zhang, Chen Zhao, Zuoquan Lin: A Multi-Agent System for E-Business Processes Monitoring in a Web-Based Environment. ICEB 2004: 470-475
c10		Qing Han, Zuoquan Lin: Paraconsistent default reasoning. NMR 2004: 197-203
c9		Jing Mei, Shengping Liu, Anbu Yue, Zuoquan Lin: An Extension to OWL with General Rules. RuleML 2004: 155-169
c8		Shengping Liu, Jing Mei, Anbu Yue, Zuoquan Lin: XSDL: Making XML Semantics Explicit. SWDB 2004: 64-83
c7		Jianqing Li, Shengping Liu, Zuoquan Lin, Cen Wu: A Real-Time Information Gathering Agent Based on Ontology. WAIM 2004: 696-701
	1998
j2		Zuoquan Lin: Tableau systems for paraconsistency and minimal inconsistency. J. Comput. Sci. Technol. 13(2): 174-188 (1998)
	1996
j1		Zuoquan Lin: Paraconsistent Circumscription: Preliminary Report. IJPRAI 10(6): 679-686 (1996)
c6		Zuoquan Lin: Paraconsistent Circumscription. Canadian Conference on AI 1996: 296-308
	1995
c5		Zuoquan Lin: Paraconsistent Circumscription: First-Order Case. ISMVL 1995: 112-116
c4		Zuoquan Lin, Wei Li: On Logic of Paradox. ISMVL 1995: 248-
	1994
c3		Zuoquan Lin, Wei Li: A Note on Tableaux of Logic of Paradox. KI 1994: 296-307
	1993
c2		Zuoquan Lin: Three-Valued Nonmonotonic Logic. ISMVL 1993: 42-47
	1992
c1		Zuoquan Lin: Experiential Logic. IWAR 1992: 65-74

Coauthor Index

1	Virendrakumar C. Bhavsar (Virendra C. Bhavsar)	[j3] [c25]
2	Harold Boley	[j3] [c27] [c25]
3	Jan Van den Bussche	[c54]
4	Jing Chen	[c37]
5	Yang Chen	[c21] [c12]
6	Chaosheng Fan	[c53]
7	Shaofeng Fan	[c18]
8	Qing Han	[c10]
9	Jifeng He	[c22]
10	NuerMaimaiti Heilili	[c34] [c21] [c20] [c17] [c15] [c12]
11	Pascal Hitzler	[j4] [c39] [c38] [c33] [c32] [c31] [c30] [c29]
12	Zhi Jin	[c19]
13	Jianqing Li	[c7]
14	Jie Li	[j3] [c25]
15	Wei Li	[c4]
16	Wei Li 0022	[c3]
17	Xin Liang	[c54]
18	Zhangang Lin	[c28] [c24] [c23] [c13]
19	Shengping Liu	[c17] [c15] [c9] [c8] [c7]
20	Ruqian Lu	[c19]
21	Zhenxing Luo	[c37] [c34] [c21] [c20]
22	Yue Ma	[j4] [c45] [c44] [c39] [c38] [c33] [c32] [c31] [c30] [c29] [c26] [c24] [c23]
23	Jing Mei	[j3] [c27] [c25] [c14] [c9] [c8]
24	Kedian Mu	[c19]
25	Geguang Pu	[c22]
26	Guilin Qi	[j4] [c45] [c44] [c39] [c32] [c31] [c30]
27	Zongyan Qiu	[c22]
28	Shuang Ren	[c41]
29	Elena Paslaru Bontas Simperl (Elena Paslaru Bontas, Elena Simperl)	[c14]
30	Geng Wang	[c52] [c51]
31	Kewen Wang	[c49] [c46]
32	Cen Wu	[c11] [c7]
33	Guohui Xiao	[i1] [j4] [c45] [c42] [c39]
34	Dai Xu	[i2] [c48]
35	Dawei Xu	[c20] [c12]
36	Anbu Yue	[c35] [c26] [c18] [c9] [c8]
37	Chong Zhang	[c22] [c13]
38	Runjie Zhang	[c18] [c11]
39	Wei Zhang	[c50]
40	Xiaowang Zhang	[j7] [i2] [i1] [j5] [c49] [c48] [c46] [c44] [c43] [c42] [c40] [c36]
41	Zhihu Zhang	[j6] [c48] [c47] [c43] [c41]
42	Chen Zhao	[c21] [c20] [c17] [c15] [c12] [c11]
43	Xinyu Zhao	[c18] [c16] [c11]

Last update Thu May 23 06:28:00 2013 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page