Search results for "Zuoquan Lin"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Xiaowang Zhang, Zuoquan Lin	Quasi-Classical Description Logic.	Multiple-Valued Logic and Soft Computing	2012	DBLP BibTeX RDF
1	Xiaowang Zhang, Zuoquan Lin, Kewen Wang	A Tableau Algorithm for Paraconsistent and Nonmonotonic Reasoning in Description Logic-Based System.	APWeb	2011	DBLP DOI BibTeX RDF
1	Yue Ma, Guilin Qi, Guohui Xiao, Pascal Hitzler, Zuoquan Lin	Computational Complexity and Anytime Algorithm for Inconsistency Measurement.	Int. J. Software and Informatics	2010	DBLP BibTeX RDF
1	Xiaowang Zhang, Zuoquan Lin, Kewen Wang	Towards a Paradoxical Description Logic for the Semantic Web.	FoIKS	2010	DBLP DOI BibTeX RDF
1	Zhihu Zhang, Zuoquan Lin	Enhancing Dung's Preferred Semantics.	FoIKS	2010	DBLP DOI BibTeX RDF
1	Guohui Xiao, Zuoquan Lin, Yue Ma, Guilin Qi	Computing Inconsistency Measurements under Multi-Valued Semantics by Partial Max-SAT Solvers.	KR	2010	DBLP BibTeX RDF
1	Xiaowang Zhang, Zhihu Zhang, Dai Xu, Zuoquan Lin	Argumentation-Based Reasoning with Inconsistent Knowledge Bases.	Canadian Conference on AI	2010	DBLP DOI BibTeX RDF
1	Xiaowang Zhang, Guohui Xiao, Zuoquan Lin	A Tableau Algorithm for Handling Inconsistency in OWL.	ESWC	2009	DBLP DOI BibTeX RDF
1	Zhihu Zhang, Zuoquan Lin, Shuang Ren	Quasi-Classical Model Semantics for Logic Programs - A Paraconsistent Approach.	ISMIS	2009	DBLP DOI BibTeX RDF	Quasi-classical logic, paraconsistent semantics, fixpoint semantics, disjunctive logic program
1	Xiaowang Zhang, Guilin Qi, Yue Ma, Zuoquan Lin	Quasi-Classical Semantics for Expressive Description Logics.	Description Logics	2009	DBLP BibTeX RDF
1	Xiaowang Zhang, Zhihu Zhang, Zuoquan Lin	An Argumentative Semantics for Paraconsistent Reasoning in Description Logic ALC.	Description Logics	2009	DBLP BibTeX RDF
1	Yue Ma, Guilin Qi, Guohui Xiao, Pascal Hitzler, Zuoquan Lin	An Anytime Algorithm for Computing Inconsistency Measurement.	KSEM	2009	DBLP DOI BibTeX RDF
1	Xiaowang Zhang, Zuoquan Lin	An Argumentation-Based Approach to Handling Inconsistencies in DL-Lite.	KI	2009	DBLP DOI BibTeX RDF
1	Yue Ma, Pascal Hitzler, Zuoquan Lin	Paraconsistent Reasoning for Expressive and Tractable Description Logics.	Description Logics	2008	DBLP BibTeX RDF
1	Zhenxing Luo, Jing Chen, Zuoquan Lin	Hybrid role hierarchy for the extended role based access control model.	LCN	2008	DBLP DOI BibTeX RDF
1	Xiaowang Zhang, Zuoquan Lin	Paraconsistent Reasoning with Quasi-classical Semantic in .	RR	2008	DBLP DOI BibTeX RDF
1	Jing Mei, Zuoquan Lin, Harold Boley, Jie Li, Virendrakumar C. Bhavsar	The DATALOGDL Combination of Deduction Rules and Description Logics.	Computational Intelligence	2007	DBLP DOI BibTeX RDF
1	Yue Ma, Pascal Hitzler, Zuoquan Lin	Algorithms for Paraconsistent Reasoning with OWL.	ESWC	2007	DBLP DOI BibTeX RDF
1	Yue Ma, Guilin Qi, Pascal Hitzler, Zuoquan Lin	Measuring Inconsistency for Description Logics Based on Paraconsistent Semantics.	ECSQARU	2007	DBLP DOI BibTeX RDF
1	Yue Ma, Guilin Qi, Pascal Hitzler, Zuoquan Lin	An Algorithm for Computing Inconsistency Measurement by Paraconsistent Semantics.	ECSQARU	2007	DBLP DOI BibTeX RDF
1	Yue Ma, Guilin Qi, Pascal Hitzler, Zuoquan Lin	Measuring Inconsistency for Description Logics Based on Paraconsistent Semantics.	Description Logics	2007	DBLP BibTeX RDF
1	Yue Ma, Pascal Hitzler, Zuoquan Lin	Paraconsistent Resolution for Four-valued Description Logics.	Description Logics	2007	DBLP BibTeX RDF
1	Zhangang Lin, Zuoquan Lin	Handling Contradictions in Default Theories.	KSEM	2007	DBLP DOI BibTeX RDF
1	Jing Mei, Zuoquan Lin, Harold Boley	ALCuP: An Integration of Description Logic and General Rules.	RR	2007	DBLP DOI BibTeX RDF
1	Anbu Yue, Zuoquan Lin	A Coherent and Paraconsistent Variant of the Default Logic.	AAAI Spring Symposium: Logical Formalizations of Commonsense Reasoning	2007	DBLP BibTeX RDF
1	Zhenxing Luo, NuerMaimaiti Heilili, Zuoquan Lin	A Flexible Applicable RBAC Model and Its Administration.	DEXA Workshops	2007	DBLP DOI BibTeX RDF
1	Yue Ma, Zuoquan Lin, Zhangang Lin	Inferring with Inconsistent OWL DL Ontology: A Multi-valued Logic Approach.	EDBT Workshops	2006	DBLP DOI BibTeX RDF
1	Jing Mei, Harold Boley, Jie Li, Virendrakumar C. Bhavsar, Zuoquan Lin	DatalogDL: Datalog Rules Parameterized by Description Logics.	CSWWS	2006	DBLP DOI BibTeX RDF
1	Geguang Pu, Chong Zhang, Zongyan Qiu, Zuoquan Lin, Jifeng He	A Hybrid Heuristic Algorithm for HW-SW Partitioning Within Timed Automata.	KES	2006	DBLP DOI BibTeX RDF	tabu search, timed automata, scheduling algorithm, GRASP, hardware/software partitioning
1	NuerMaimaiti Heilili, Yang Chen, Chen Zhao, Zhenxing Luo, Zuoquan Lin	An OWL-Based Approach for RBAC with Negative Authorization.	KSEM	2006	DBLP DOI BibTeX RDF
1	Zhangang Lin, Yue Ma, Zuoquan Lin	A Fault-Tolerant Default Logic.	JELIA	2006	DBLP DOI BibTeX RDF
1	Zhenxing Luo, NuerMaimaiti Heilili, Dawei Xu, Chen Zhao, Zuoquan Lin	Web Application Security Gateway with Java Non-blocking IO.	NGITS	2006	DBLP DOI BibTeX RDF
1	Kedian Mu, Zuoquan Lin, Zhi Jin, Ruqian Lu	Reasoning About Hybrid Probabilistic Knowledge Bases.	PRICAI	2006	DBLP DOI BibTeX RDF
1	Anbu Yue, Yue Ma, Zuoquan Lin	Four-Valued Semantics for Default Logic.	Canadian Conference on AI	2006	DBLP DOI BibTeX RDF
1	Chen Zhao, NuerMaimaiti Heilili, Shengping Liu, Zuoquan Lin	Representation and Reasoning on RBAC: A Description Logic Approach.	ICTAC	2005	DBLP DOI BibTeX RDF
1	Jing Mei, Elena Paslaru Bontas, Zuoquan Lin	OWL2Jess: A Transformational Implementation of the OWL Semantics.	ISPA Workshops	2005	DBLP DOI BibTeX RDF	ontologies, Semantic Web, reasoning, rules
1	Chen Zhao, NuerMaimaiti Heilili, Shengping Liu, Zuoquan Lin	Using Description Logic to Formalize Role-Based Access Control Model.	Description Logics	2005	DBLP BibTeX RDF
1	Chong Zhang, Zhangang Lin, Zuoquan Lin	Variable Neighborhood Search with Permutation Distance for QAP.	KES	2005	DBLP DOI BibTeX RDF
1	Xinyu Zhao, Zuoquan Lin	Modeling Belief, Capability and Promise for Cognitive Agents - A Modal Logic Approach.	ICNC	2005	DBLP DOI BibTeX RDF
1	Xinyu Zhao, Shaofeng Fan, Runjie Zhang, Anbu Yue, Zuoquan Lin	Toward a Formal Theory of Belief, Capability and Promise Incorporating Temporal Aspect.	CEEMAS	2005	DBLP DOI BibTeX RDF
1	Chen Zhao, Yang Chen, Dawei Xu, NuerMaimaiti Heilili, Zuoquan Lin	Integrative Security Management for Web-Based Enterprise Applications.	WAIM	2005	DBLP DOI BibTeX RDF
1	Jing Mei, Shengping Liu, Anbu Yue, Zuoquan Lin	An Extension to OWL with General Rules.	RuleML	2004	DBLP DOI BibTeX RDF
1	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	DBLP BibTeX RDF
1	Shengping Liu, Jing Mei, Anbu Yue, Zuoquan Lin	XSDL: Making XML Semantics Explicit.	SWDB	2004	DBLP DOI BibTeX RDF
1	Jianqing Li, Shengping Liu, Zuoquan Lin, Cen Wu	A Real-Time Information Gathering Agent Based on Ontology.	WAIM	2004	DBLP DOI BibTeX RDF
1	Qing Han, Zuoquan Lin	Paraconsistent default reasoning.	NMR	2004	DBLP BibTeX RDF
1	Zuoquan Lin	Tableau systems for paraconsistency and minimal inconsistency.	J. Comput. Sci. Technol.	1998	DBLP DOI BibTeX RDF
1	Zuoquan Lin	Paraconsistent Circumscription: Preliminary Report.	IJPRAI	1996	DBLP BibTeX RDF
1	Zuoquan Lin	Paraconsistent Circumscription.	Canadian Conference on AI	1996	DBLP DOI BibTeX RDF
1	Zuoquan Lin	Paraconsistent Circumscription: First-Order Case. (PDF / PS)	ISMVL	1995	DBLP DOI BibTeX RDF	paraconsistent circumscription, predicate circumscription, minimal semantics, nonmonotonic reasoning, formal logic, paraconsistent logic, nonmonotonic logic, classical logic
1	Zuoquan Lin, Wei Li	On Logic of Paradox. (PDF / PS)	ISMVL	1995	DBLP DOI BibTeX RDF	logic of paradox, minimal semantics, satisfactory proof theory, signed tableaux, completeness theorems, theorem proving, soundness, nonmonotonic reasoning, proof theory, paraconsistent logic, nonmonotonicity
1	Zuoquan Lin, Wei Li 0022	A Note on Tableaux of Logic of Paradox.	KI	1994	DBLP DOI BibTeX RDF
1	Zuoquan Lin	Three-Valued Nonmonotonic Logic.	ISMVL	1993	DBLP BibTeX RDF
1	Zuoquan Lin	Experiential Logic.	IWAR	1992	DBLP BibTeX RDF

Publications of "Zuoquan Lin" ( http://dblp.L3S.de/Authors/Zuoquan_Lin )