Zuoquan Lin

Publication Activity (10 Years)

Years Active: 1991-2024
Publications (10 Years): 14

Top Topics

Default Reasoning

Dependency Directed Backtracking

Valued Semantics

Top Venues

Ann. Math. Artif. Intell.

Publications

Jiqun Chu, Zuoquan Lin
Incorporating Exponential Smoothing into MLP: A Simple but Effective Sequence Model. CoRR (2024)
Zuoquan Lin, Xinyi Shen
Local and Global Contexts for Conversation. CoRR (2024)
Zuoquan Lin, Xinyi Shen
Local and Global Contexts for Conversation. EACL (Findings) (2024)
Xinyi Shen, Zuoquan Lin
An Empirical Study on Context Length for Open-Domain Dialog Generation. PRICAI (2) (2023)
Jiqun Chu, Zuoquan Lin
Entangled Representation Learning: A Bidirectional Encoder Decoder Model. ACAI (2022)
Jiehu Song, Zuoquan Lin
Neural Machine Translating from XML to RDF. ICMAI (2021)
Hanxuan Chen, Zuoquan Lin
A Hybrid Neural Network and Hidden Markov Model for Time-aware Recommender Systems. ICAART (2) (2019)
Zuoquan Lin, Jiehu Song
Neural Hidden Markov Model. ICAART (Revised Selected Papers) (2019)
Zuoquan Lin, Hanxuan Chen
A Probabilistic Model for Collaborative Filtering. WIMS (2019)
Zuoquan Lin, Hanxuan Chen
Recommendation over time: a probabilistic model of time-aware recommender systems. Sci. China Inf. Sci. 62 (11) (2019)
Zuoquan Lin, Chen Chen
Restricted semantics for default reasoning. Ann. Math. Artif. Intell. 84 (3-4) (2018)
Zuoquan Lin, Zhaocong Jia
Another Useful Four-Valued Logic. KSEM (2) (2018)
Fangfang Xie, Zuoquan Lin
Group-Based Argumentation. ISCID (1) (2016)
Chen Chen, Zuoquan Lin
Restricted Four-Valued Semantics for Answer Set Programming. PRICAI (2016)
Chen Chen, Zuoquan Lin
Restricted Four-Valued Logic for Default Reasoning. KSEM (2015)
Xiaowang Zhang, Guohui Xiao, Zuoquan Lin, Jan Van den Bussche
Inconsistency-tolerant reasoning with OWL DL. Int. J. Approx. Reason. 55 (2) (2014)
Xin Liang, Zuoquan Lin
Measuring Formula-Variable Relevance in Four-Valued Logic by Forgetting. KSEM (2013)
Xiaowang Zhang, Zuoquan Lin
An argumentation framework for description logic ontology reasoning and management. J. Intell. Inf. Syst. 40 (3) (2013)
Wei Zhang, Zuoquan Lin
Representation and Reasoning on RBAC: A Nonmonotonic Approach. KSEM (2013)
Dai Xu, Xiaowang Zhang, Zuoquan Lin
A Forgetting-based Approach to Merging Knowledge Bases CoRR (2013)
Chaosheng Fan, Zuoquan Lin
Collaborative Ranking with Ranking-Based Neighborhood. APWeb (2013)
Xin Liang, Zuoquan Lin, Jan Van den Bussche
Quantitatively Evaluating Formula-Variable Relevance by Forgetting. Canadian Conference on AI (2013)
Xiaowang Zhang, Guohui Xiao, Zuoquan Lin
A Paraconsistent Tableau Algorithm Based on Sign Transformation in Semantic Web CoRR (2013)
Chaosheng Fan, Yanyan Lan, Jiafeng Guo, Zuoquan Lin, Xueqi Cheng
Collaborative factorization for recommender systems. SIGIR (2013)
Xiaowang Zhang, Zuoquan Lin
An Approach to Generating Arguments over DL-Lite Ontologies. Comput. Informatics 32 (5) (2013)
Geng Wang, Zuoquan Lin
An Argumentation Framework for Non-monotonic Reasoning in Description Logic. RSKT (2012)
Wei Zhang, Zuoquan Lin
A Logic-Based RBAC Framework for Flexible Policies. SKG (2012)
Geng Wang, Zuoquan Lin
A Model-Theoretic Semantics for Two-Sided Argumentation. FLAIRS Conference (2012)
Xiaowang Zhang, Zuoquan Lin
Quasi-Classical Description Logic. J. Multiple Valued Log. Soft Comput. 18 (3-4) (2012)
Zhihu Zhang, Zuoquan Lin
Minimal hypotheses: extension-based semantics to argumentation. Ann. Math. Artif. Intell. 65 (2-3) (2012)
Xiaowang Zhang, Zuoquan Lin, Kewen Wang
A Tableau Algorithm for Paraconsistent and Nonmonotonic Reasoning in Description Logic-Based System. APWeb (2011)
Xiaowang Zhang, Zuoquan Lin, Kewen Wang
Towards a Paradoxical Description Logic for the Semantic Web. FoIKS (2010)
Yue Ma, Guilin Qi, Guohui Xiao, Pascal Hitzler, Zuoquan Lin
Computational Complexity and Anytime Algorithm for Inconsistency Measurement. Int. J. Softw. Informatics 4 (1) (2010)
Zhihu Zhang, Zuoquan Lin
Enhancing Dung's Preferred Semantics. FoIKS (2010)
Xiaowang Zhang, Zhihu Zhang, Dai Xu, Zuoquan Lin
Argumentation-Based Reasoning with Inconsistent Knowledge Bases. Canadian Conference on AI (2010)
Guohui Xiao, Zuoquan Lin, Yue Ma, Guilin Qi
Computing Inconsistency Measurements under Multi-Valued Semantics by Partial Max-SAT Solvers. KR (2010)
Yue Ma, Guilin Qi, Guohui Xiao, Pascal Hitzler, Zuoquan Lin
An Anytime Algorithm for Computing Inconsistency Measurement. KSEM (2009)
Zhihu Zhang, Zuoquan Lin, Shuang Ren
Quasi-Classical Model Semantics for Logic Programs - A Paraconsistent Approach. ISMIS (2009)
Xiaowang Zhang, Guohui Xiao, Zuoquan Lin
A Tableau Algorithm for Handling Inconsistency in OWL. ESWC (2009)
Xiaowang Zhang, Zhihu Zhang, Zuoquan Lin
An Argumentative Semantics for Paraconsistent Reasoning in Description Logic ALC. Description Logics (2009)
Xiaowang Zhang, Zuoquan Lin
An Argumentation-Based Approach to Handling Inconsistencies in DL-Lite. KI (2009)
Xiaowang Zhang, Guilin Qi, Yue Ma, Zuoquan Lin
Quasi-Classical Semantics for Expressive Description Logics. Description Logics (2009)
Zhenxing Luo, Jing Chen, Zuoquan Lin
Hybrid role hierarchy for the extended role based access control model. LCN (2008)
Xiaowang Zhang, Zuoquan Lin
Paraconsistent Reasoning with Quasi-classical Semantic in . RR (2008)
Yue Ma, Pascal Hitzler, Zuoquan Lin
Paraconsistent Reasoning for Expressive and Tractable Description Logics. Description Logics (2008)
Yue Ma, Guilin Qi, Pascal Hitzler, Zuoquan Lin
An Algorithm for Computing Inconsistency Measurement by Paraconsistent Semantics. ECSQARU (2007)
Yue Ma, Pascal Hitzler, Zuoquan Lin
Algorithms for Paraconsistent Reasoning with OWL. ESWC (2007)
Yue Ma, Pascal Hitzler, Zuoquan Lin
Paraconsistent Resolution for Four-valued Description Logics. Description Logics (2007)
Yue Ma, Guilin Qi, Pascal Hitzler, Zuoquan Lin
Measuring Inconsistency for Description Logics Based on Paraconsistent Semantics. Description Logics (2007)
Jing Mei, Zuoquan Lin, Harold Boley
: An Integration of Description Logic and General Rules. RR (2007)
Zhangang Lin, Zuoquan Lin
Handling Contradictions in Default Theories. KSEM (2007)
Anbu Yue, Zuoquan Lin
A Coherent and Paraconsistent Variant of the Default Logic. AAAI Spring Symposium: Logical Formalizations of Commonsense Reasoning (2007)
Yue Ma, Guilin Qi, Pascal Hitzler, Zuoquan Lin
Measuring Inconsistency for Description Logics Based on Paraconsistent Semantics. ECSQARU (2007)
Jing Mei, Zuoquan Lin, Harold Boley, Jie Li, Virendrakumar C. Bhavsar
Combination of Deduction Rules and Description Logics. Comput. Intell. 23 (3) (2007)
Zhenxing Luo, NuerMaimaiti Heilili, Zuoquan Lin
A Flexible Applicable RBAC Model and Its Administration. DEXA Workshops (2007)
Kedian Mu, Zuoquan Lin, Zhi Jin, Ruqian Lu
Reasoning About Hybrid Probabilistic Knowledge Bases. PRICAI (2006)
Zhangang Lin, Yue Ma, Zuoquan Lin
A Fault-Tolerant Default Logic. JELIA (2006)
NuerMaimaiti Heilili, Yang Chen, Chen Zhao, Zhenxing Luo, Zuoquan Lin
An OWL-Based Approach for RBAC with Negative Authorization. KSEM (2006)
Geguang Pu, Chong Zhang, Zongyan Qiu, Zuoquan Lin, Jifeng He
A Hybrid Heuristic Algorithm for HW-SW Partitioning Within Timed Automata. KES (1) (2006)
Yue Ma, Zuoquan Lin, Zhangang Lin
Inferring with Inconsistent OWL DL Ontology: A Multi-valued Logic Approach. EDBT Workshops (2006)
Jing Mei, Harold Boley, Jie Li, Virendrakumar C. Bhavsar, Zuoquan Lin
: Datalog Rules Parameterized by Description Logics. CSWWS (2006)
Anbu Yue, Yue Ma, Zuoquan Lin
Four-Valued Semantics for Default Logic. Canadian Conference on AI (2006)
Zhenxing Luo, NuerMaimaiti Heilili, Dawei Xu, Chen Zhao, Zuoquan Lin
Web Application Security Gateway with Java Non-blocking IO. NGITS (2006)
Xinyu Zhao, Shaofeng Fan, Runjie Zhang, Anbu Yue, Zuoquan Lin
Toward a Formal Theory of Belief, Capability and Promise Incorporating Temporal Aspect. CEEMAS (2005)
Chen Zhao, Yang Chen, Dawei Xu, NuerMaimaiti Heilili, Zuoquan Lin
Integrative Security Management for Web-Based Enterprise Applications. WAIM (2005)
Chen Zhao, NuerMaimaiti Heilili, Shengping Liu, Zuoquan Lin
Using Description Logic to Formalize Role-Based Access Control Model. Description Logics (2005)
Chong Zhang, Zhangang Lin, Zuoquan Lin
Variable Neighborhood Search with Permutation Distance for QAP. KES (4) (2005)
Chen Zhao, NuerMaimaiti Heilili, Shengping Liu, Zuoquan Lin
Representation and Reasoning on RBAC: A Description Logic Approach. ICTAC (2005)
Jing Mei, Elena Paslaru Bontas, Zuoquan Lin
OWL2Jess: A Transformational Implementation of the OWL Semantics. ISPA Workshops (2005)
Xinyu Zhao, Zuoquan Lin
Modeling Belief, Capability and Promise for Cognitive Agents - A Modal Logic Approach. ICNC (1) (2005)
Jing Mei, Shengping Liu, Anbu Yue, Zuoquan Lin
An Extension to OWL with General Rules. RuleML (2004)
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)
Shengping Liu, Jing Mei, Anbu Yue, Zuoquan Lin
XSDL: Making XML Semantics Explicit. SWDB (2004)
Qing Han, Zuoquan Lin
Paraconsistent default reasoning. NMR (2004)
Jianqing Li, Shengping Liu, Zuoquan Lin, Cen Wu
A Real-Time Information Gathering Agent Based on Ontology. WAIM (2004)
Zuoquan Lin
Tableau systems for paraconsistency and minimal inconsistency. J. Comput. Sci. Technol. 13 (2) (1998)
Zuoquan Lin
Paraconsistent Circumscription: Preliminary Report. Int. J. Pattern Recognit. Artif. Intell. 10 (6) (1996)
Zuoquan Lin
Paraconsistent Circumscription. Canadian Conference on AI (1996)
Zuoquan Lin
Paraconsistent Circumscription: First-Order Case. ISMVL (1995)
Zuoquan Lin, Wei Li
On Logic of Paradox. ISMVL (1995)
Zuoquan Lin, Wei Li
A Note on Tableaux of Logic of Paradox. KI (1994)
Zuoquan Lin
Three-Valued Nonmonotonic Logic. ISMVL (1993)
Zuoquan Lin
Experiential Logic. IWAR (1992)
Zuoquan Lin
An experiential logic for nonmonotonic reasoning (abstract and regerences only). ACM Conference on Computer Science (1991)