2008 |
38 | EE | Yue Ma,
Pascal Hitzler,
Zuoquan Lin:
Paraconsistent Reasoning for Expressive and Tractable Description Logics.
Description Logics 2008 |
37 | EE | Zhenxing Luo,
Jing Chen,
Zuoquan Lin:
Hybrid role hierarchy for the extended role based access control model.
LCN 2008: 566-567 |
36 | EE | Xiaowang Zhang,
Zuoquan Lin:
Paraconsistent Reasoning with Quasi-classical Semantic in .
RR 2008: 222-229 |
2007 |
35 | EE | Zhenxing Luo,
NuerMaimaiti Heilili,
Zuoquan Lin:
A Flexible Applicable RBAC Model and Its Administration.
DEXA Workshops 2007: 192-196 |
34 | EE | Yue Ma,
Guilin Qi,
Pascal Hitzler,
Zuoquan Lin:
Measuring Inconsistency for Description Logics Based on Paraconsistent Semantics.
Description Logics 2007 |
33 | EE | Yue Ma,
Pascal Hitzler,
Zuoquan Lin:
Paraconsistent Resolution for Four-valued Description Logics.
Description Logics 2007 |
32 | EE | Yue Ma,
Guilin Qi,
Pascal Hitzler,
Zuoquan Lin:
Measuring Inconsistency for Description Logics Based on Paraconsistent Semantics.
ECSQARU 2007: 30-41 |
31 | EE | Yue Ma,
Guilin Qi,
Pascal Hitzler,
Zuoquan Lin:
An Algorithm for Computing Inconsistency Measurement by Paraconsistent Semantics.
ECSQARU 2007: 91-102 |
30 | EE | Yue Ma,
Pascal Hitzler,
Zuoquan Lin:
Algorithms for Paraconsistent Reasoning with OWL.
ESWC 2007: 399-413 |
29 | EE | Zhangang Lin,
Zuoquan Lin:
Handling Contradictions in Default Theories.
KSEM 2007: 556-561 |
28 | EE | Jing Mei,
Zuoquan Lin,
Harold Boley:
ALCuP: An Integration of Description Logic and General Rules.
RR 2007: 163-177 |
2006 |
27 | EE | Jing Mei,
Harold Boley,
Jie Li,
Virendrakumar C. Bhavsar,
Zuoquan Lin:
DatalogDL: Datalog Rules Parameterized by Description Logics.
CSWWS 2006: 171-187 |
26 | EE | Anbu Yue,
Yue Ma,
Zuoquan Lin:
Four-Valued Semantics for Default Logic.
Canadian Conference on AI 2006: 195-205 |
25 | EE | Yue Ma,
Zuoquan Lin,
Zhangang Lin:
Inferring with Inconsistent OWL DL Ontology: A Multi-valued Logic Approach.
EDBT Workshops 2006: 535-553 |
24 | EE | Zhangang Lin,
Yue Ma,
Zuoquan Lin:
A Fault-Tolerant Default Logic.
JELIA 2006: 253-265 |
23 | EE | 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 |
22 | EE | NuerMaimaiti Heilili,
Yang Chen,
Chen Zhao,
Zhenxing Luo,
Zuoquan Lin:
An OWL-Based Approach for RBAC with Negative Authorization.
KSEM 2006: 164-175 |
21 | EE | Zhenxing Luo,
NuerMaimaiti Heilili,
Dawei Xu,
Chen Zhao,
Zuoquan Lin:
Web Application Security Gateway with Java Non-blocking IO.
NGITS 2006: 96-105 |
20 | EE | Kedian Mu,
Zuoquan Lin,
Zhi Jin,
Ruqian Lu:
Reasoning About Hybrid Probabilistic Knowledge Bases.
PRICAI 2006: 130-139 |
2005 |
19 | EE | 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 |
18 | EE | Chen Zhao,
NuerMaimaiti Heilili,
Shengping Liu,
Zuoquan Lin:
Using Description Logic to Formalize Role-Based Access Control Model.
Description Logics 2005 |
17 | EE | Xinyu Zhao,
Zuoquan Lin:
Modeling Belief, Capability and Promise for Cognitive Agents - A Modal Logic Approach.
ICNC (1) 2005: 825-834 |
16 | EE | Chen Zhao,
NuerMaimaiti Heilili,
Shengping Liu,
Zuoquan Lin:
Representation and Reasoning on RBAC: A Description Logic Approach.
ICTAC 2005: 381-393 |
15 | EE | Jing Mei,
Elena Paslaru Bontas,
Zuoquan Lin:
OWL2Jess: A Transformational Implementation of the OWL Semantics.
ISPA Workshops 2005: 599-608 |
14 | EE | Chong Zhang,
Zhangang Lin,
Zuoquan Lin:
Variable Neighborhood Search with Permutation Distance for QAP.
KES (4) 2005: 81-88 |
13 | EE | Chen Zhao,
Yang Chen,
Dawei Xu,
NuerMaimaiti Heilili,
Zuoquan Lin:
Integrative Security Management for Web-Based Enterprise Applications.
WAIM 2005: 618-625 |
2004 |
12 | | 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 |
11 | EE | Qing Han,
Zuoquan Lin:
Paraconsistent default reasoning.
NMR 2004: 197-203 |
10 | EE | Jing Mei,
Shengping Liu,
Anbu Yue,
Zuoquan Lin:
An Extension to OWL with General Rules.
RuleML 2004: 155-169 |
9 | EE | Shengping Liu,
Jing Mei,
Anbu Yue,
Zuoquan Lin:
XSDL: Making XML Semantics Explicit.
SWDB 2004: 64-83 |
8 | EE | Jianqing Li,
Shengping Liu,
Zuoquan Lin,
Cen Wu:
A Real-Time Information Gathering Agent Based on Ontology.
WAIM 2004: 696-701 |
1996 |
7 | | Zuoquan Lin:
Paraconsistent Circumscription.
Canadian Conference on AI 1996: 296-308 |
6 | | Zuoquan Lin:
Paraconsistent Circumscription: Preliminary Report.
IJPRAI 10(6): 679-686 (1996) |
1995 |
5 | EE | Zuoquan Lin:
Paraconsistent Circumscription: First-Order Case.
ISMVL 1995: 112-116 |
4 | EE | Zuoquan Lin,
Wei Li:
On Logic of Paradox.
ISMVL 1995: 248- |
1994 |
3 | | Zuoquan Lin,
Wei Li:
A Note on Tableaux of Logic of Paradox.
KI 1994: 296-307 |
1993 |
2 | | Zuoquan Lin:
Three-Valued Nonmonotonic Logic.
ISMVL 1993: 42-47 |
1992 |
1 | | Zuoquan Lin:
Experiential Logic.
IWAR 1992: 65-74 |