Zuoquan Lin

According to our database1, Zuoquan Lin authored at least 73 papers between 1991 and 2019.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2019
A Probabilistic Model for Collaborative Filtering.
Proceedings of the 9th International Conference on Web Intelligence, Mining and Semantics, 2019

A Hybrid Neural Network and Hidden Markov Model for Time-aware Recommender Systems.
Proceedings of the 11th International Conference on Agents and Artificial Intelligence, 2019

2018
Restricted semantics for default reasoning.
Ann. Math. Artif. Intell., 2018

Another Useful Four-Valued Logic.
Proceedings of the Knowledge Science, Engineering and Management, 2018

2016
Restricted Four-Valued Semantics for Answer Set Programming.
Proceedings of the PRICAI 2016: Trends in Artificial Intelligence, 2016

2015
Restricted Four-Valued Logic for Default Reasoning.
Proceedings of the Knowledge Science, Engineering and Management, 2015

2014
Inconsistency-tolerant reasoning with OWL DL.
Int. J. Approx. Reasoning, 2014

2013
An argumentation framework for description logic ontology reasoning and management.
J. Intell. Inf. Syst., 2013

An Approach to Generating Arguments over DL-Lite Ontologies.
Computing and Informatics, 2013

Collaborative factorization for recommender systems.
Proceedings of the 36th International ACM SIGIR conference on research and development in Information Retrieval, 2013

Representation and Reasoning on RBAC: A Nonmonotonic Approach.
Proceedings of the Knowledge Science, Engineering and Management, 2013

Measuring Formula-Variable Relevance in Four-Valued Logic by Forgetting.
Proceedings of the Knowledge Science, Engineering and Management, 2013

Collaborative Ranking with Ranking-Based Neighborhood.
Proceedings of the Web Technologies and Applications - 15th Asia-Pacific Web Conference, 2013

Quantitatively Evaluating Formula-Variable Relevance by Forgetting.
Proceedings of the Advances in Artificial Intelligence, 2013

2012
Quasi-Classical Description Logic.
Multiple-Valued Logic and Soft Computing, 2012

Minimal hypotheses: extension-based semantics to argumentation.
Ann. Math. Artif. Intell., 2012

A Logic-Based RBAC Framework for Flexible Policies.
Proceedings of the Eighth International Conference on Semantics, Knowledge and Grids, 2012

An Argumentation Framework for Non-monotonic Reasoning in Description Logic.
Proceedings of the Rough Sets and Knowledge Technology - 7th International Conference, 2012

A Model-Theoretic Semantics for Two-Sided Argumentation.
Proceedings of the Twenty-Fifth International Florida Artificial Intelligence Research Society Conference, 2012

2011
A Tableau Algorithm for Paraconsistent and Nonmonotonic Reasoning in Description Logic-Based System.
Proceedings of the Web Technologies and Applications - 13th Asia-Pacific Web Conference, 2011

2010
Computational Complexity and Anytime Algorithm for Inconsistency Measurement.
Int. J. Software and Informatics, 2010

Computing Inconsistency Measurements under Multi-Valued Semantics by Partial Max-SAT Solvers.
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Twelfth International Conference, 2010

Towards a Paradoxical Description Logic for the Semantic Web.
Proceedings of the Foundations of Information and Knowledge Systems, 2010

Enhancing Dung's Preferred Semantics.
Proceedings of the Foundations of Information and Knowledge Systems, 2010

Argumentation-Based Reasoning with Inconsistent Knowledge Bases.
Proceedings of the Advances in Artificial Intelligence, 2010

2009
An Anytime Algorithm for Computing Inconsistency Measurement.
Proceedings of the Knowledge Science, 2009

An Argumentation-Based Approach to Handling Inconsistencies in DL-Lite.
Proceedings of the KI 2009: Advances in Artificial Intelligence, 2009

Quasi-Classical Model Semantics for Logic Programs - A Paraconsistent Approach.
Proceedings of the Foundations of Intelligent Systems, 18th International Symposium, 2009

A Tableau Algorithm for Handling Inconsistency in OWL.
Proceedings of the Semantic Web: Research and Applications, 2009

An Argumentative Semantics for Paraconsistent Reasoning in Description Logic ALC.
Proceedings of the 22nd International Workshop on Description Logics (DL 2009), 2009

Quasi-Classical Semantics for Expressive Description Logics.
Proceedings of the 22nd International Workshop on Description Logics (DL 2009), 2009

2008
Paraconsistent Reasoning with Quasi-classical Semantic in .
Proceedings of the Web Reasoning and Rule Systems, Second International Conference, 2008

Hybrid role hierarchy for the extended role based access control model.
Proceedings of the LCN 2008, 2008

Paraconsistent Reasoning for Expressive and Tractable Description Logics.
Proceedings of the 21st International Workshop on Description Logics (DL2008), 2008

2007
The DATALOGDL Combination of Deduction Rules and Description Logics.
Computational Intelligence, 2007

ALCuP: An Integration of Description Logic and General Rules.
Proceedings of the Web Reasoning and Rule Systems, First International Conference, 2007

Handling Contradictions in Default Theories.
Proceedings of the Knowledge Science, 2007

Algorithms for Paraconsistent Reasoning with OWL.
Proceedings of the Semantic Web: Research and Applications, 2007

An Algorithm for Computing Inconsistency Measurement by Paraconsistent Semantics.
Proceedings of the Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 2007

Measuring Inconsistency for Description Logics Based on Paraconsistent Semantics.
Proceedings of the Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 2007

Measuring Inconsistency for Description Logics Based on Paraconsistent Semantics.
Proceedings of the 2007 International Workshop on Description Logics (DL2007), 2007

Paraconsistent Resolution for Four-valued Description Logics.
Proceedings of the 2007 International Workshop on Description Logics (DL2007), 2007

A Flexible Applicable RBAC Model and Its Administration.
Proceedings of the 18th International Workshop on Database and Expert Systems Applications (DEXA 2007), 2007

A Coherent and Paraconsistent Variant of the Default Logic.
Proceedings of the Logical Formalizations of Commonsense Reasoning, 2007

2006
Reasoning About Hybrid Probabilistic Knowledge Bases.
Proceedings of the PRICAI 2006: Trends in Artificial Intelligence, 2006

Web Application Security Gateway with Java Non-blocking IO.
Proceedings of the Next Generation Information Technologies and Systems, 2006

An OWL-Based Approach for RBAC with Negative Authorization.
Proceedings of the Knowledge Science, 2006

A Hybrid Heuristic Algorithm for HW-SW Partitioning Within Timed Automata.
Proceedings of the Knowledge-Based Intelligent Information and Engineering Systems, 2006

A Fault-Tolerant Default Logic.
Proceedings of the Logics in Artificial Intelligence, 10th European Conference, 2006

Inferring with Inconsistent OWL DL Ontology: A Multi-valued Logic Approach.
Proceedings of the Current Trends in Database Technology - EDBT 2006, 2006

DatalogDL: Datalog Rules Parameterized by Description Logics.
Proceedings of the Canadian Semantic Web, 2006

Four-Valued Semantics for Default Logic.
Proceedings of the Advances in Artificial Intelligence, 2006

2005
Integrative Security Management for Web-Based Enterprise Applications.
Proceedings of the Advances in Web-Age Information Management, 2005

Variable Neighborhood Search with Permutation Distance for QAP.
Proceedings of the Knowledge-Based Intelligent Information and Engineering Systems, 2005

OWL2Jess: A Transformational Implementation of the OWL Semantics.
Proceedings of the Parallel and Distributed Processing and Applications, 2005

Representation and Reasoning on RBAC: A Description Logic Approach.
Proceedings of the Theoretical Aspects of Computing, 2005

Modeling Belief, Capability and Promise for Cognitive Agents - A Modal Logic Approach.
Proceedings of the Advances in Natural Computation, First International Conference, 2005

Using Description Logic to Formalize Role-Based Access Control Model.
Proceedings of the 2005 International Workshop on Description Logics (DL2005), 2005

Toward a Formal Theory of Belief, Capability and Promise Incorporating Temporal Aspect.
Proceedings of the Multi-Agent Systems and Applications IV, 2005

2004
A Real-Time Information Gathering Agent Based on Ontology.
Proceedings of the Advances in Web-Age Information Management: 5th International Conference, 2004

XSDL: Making XML Semantics Explicit.
Proceedings of the Semantic Web and Databases, Second International Workshop, 2004

An Extension to OWL with General Rules.
Proceedings of the Rules and Rule Markup Languages for the Semantic Web: Third International Workshop, 2004

Paraconsistent default reasoning.
Proceedings of the 10th International Workshop on Non-Monotonic Reasoning (NMR 2004), 2004

A Multi-Agent System for E-Business Processes Monitoring in a Web-Based Environment.
Proceedings of the Fourth International Conference on Electronic Business, 2004

1998
Tableau systems for paraconsistency and minimal inconsistency.
J. Comput. Sci. Technol., 1998

1996
Paraconsistent Circumscription: Preliminary Report.
IJPRAI, 1996

Paraconsistent Circumscription.
Proceedings of the Advances in Artificial Intelligence, 1996

1995
On Logic of Paradox.
Proceedings of the 25th IEEE International Symposium on Multiple-Valued Logic, 1995

Paraconsistent Circumscription: First-Order Case.
Proceedings of the 25th IEEE International Symposium on Multiple-Valued Logic, 1995

1994
A Note on Tableaux of Logic of Paradox.
Proceedings of the KI-94: Advances in Artificial Intelligence, 1994

1993
Three-Valued Nonmonotonic Logic.
Proceedings of the 23rd IEEE International Symposium on Multiple-Valued Logic, 1993

1992
Experiential Logic.
Proceedings of the Automated Reasoning, 1992

1991
An experiential logic for nonmonotonic reasoning (abstract and regerences only).
Proceedings of the 19th annual conference on Computer Science, 1991


  Loading...