Yan Zhang

Publication Activity (10 Years)

Years Active: 1993-2020
Publications (10 Years): 22

Top Venues

CoRR

AAAI

IJCAI

Publications

Heng Zhang, Yan Zhang, Guifei Jiang
Model-theoretic Characterizations of Existential Rule Languages. CoRR (2020)
Heng Zhang, Yan Zhang, Jia-Huai You, Zhiyong Feng, Guifei Jiang
Towards Universal Languages for Tractable Ontology Mediated Query Answering. AAAI (2020)
Dongdong Yue, Ruixuan Li, Yan Zhang, Wenlong Tian, Yongfeng Huang
Blockchain-based verification framework for data integrity in edge-cloud storage. J. Parallel Distributed Comput. 146 (2020)
Heng Zhang, Yan Zhang, Guifei Jiang
Model-theoretic Characterizations of Existential Rule Languages. IJCAI (2020)
Heng Zhang, Yan Zhang, Jia-Huai You, Zhiyong Feng, Guifei Jiang
Towards Universal Languages for Tractable Ontology Mediated Query Answering. CoRR (2019)
Vernon Asuncion, Yan Zhang, Heng Zhang, Ruixuan Li
Polynomial and Exponential Bounded Logic Programs with Function Symbols: Some New Decidable Classes. J. Artif. Intell. Res. 64 (2019)
Vernon Asuncion, Yan Zhang, Heng Zhang
Loop Restricted Existential Rules and First-order Rewritability for Query Answering. CoRR (2018)
Vernon Asuncion, Yan Zhang
A New Finitely Controllable Class of Tuple Generating Dependencies: The Triangularly-Guarded Class. CoRR (2018)
Vernon Asuncion, Yan Zhang, Heng Zhang, Yun Bai, Weisheng Si
Loop Restricted Existential Rules and First-Order Rewritability for Query Answering. KR (2018)
Dongdong Yue, Ruixuan Li, Yan Zhang, Wenlong Tian, Chengyi Peng
Blockchain Based Data Integrity Verification in P2P Cloud Storage. ICPADS (2018)
Vernon Asuncion, Yan Zhang
A New Decidable Class of Tuple Generating Dependencies: The Triangularly-Guarded Class. CoRR (2018)
Zhiqiang Zhuang, Maurice Pagnucco, Yan Zhang
Inter-Definability of Horn Contraction and Horn Revision. J. Philos. Log. 46 (3) (2017)
Vernon Asuncion, Yan Zhang, Heng Zhang
Polynomially Bounded Logic Programs with Function Symbols: A New Decidable. AAAI (2017)
Jinwei Hu, Khaled M. Khan, Yan Zhang, Yun Bai, Ruixuan Li
Role updating in information systems using model checking. Knowl. Inf. Syst. 51 (1) (2017)
Heng Zhang, Yan Zhang
Expressiveness of Logic Programs under the General Stable Model Semantics. ACM Trans. Comput. Log. 18 (2) (2017)
Heng Zhang, Yan Zhang, Jia-Huai You
Expressive Completeness of Existential Rule Languages for Ontology-Based Query Answering. IJCAI (2016)
Heng Zhang, Yan Zhang, Jia-Huai You
Expressive Completeness of Existential Rule Languages for Ontology-based Query Answering. CoRR (2016)
Hai Wan, Heng Zhang, Peng Xiao, Haoran Huang, Yan Zhang
Query Answering with Inconsistent Existential Rules under Stable Model Semantics. AAAI (2016)
Hai Wan, Heng Zhang, Peng Xiao, Haoran Huang, Yan Zhang
Query Answering with Inconsistent Existential Rules under Stable Model Semantics. CoRR (2016)
Yun Bai, Edward Caprin, Yan Zhang
Reasoning About the State Change of Authorization Policies. IEA/AIE (2015)
Heng Zhang, Yan Zhang, Jia-Huai You
Existential Rule Languages with Finite Chase: Complexity and Expressiveness. AAAI (2015)
Vernon Asuncion, Yin Chen, Yan Zhang, Yi Zhou
Ordered completion for logic programs with aggregates. Artif. Intell. 224 (2015)
Kaile Su, Abdul Sattar, Guanfeng Lv, Yan Zhang
Variable Forgetting in Reasoning about Knowledge. CoRR (2014)
Vernon Asuncion, Yan Zhang, Heng Zhang
Logic Programs with Ordered Disjunction: First-Order Semantics and Expressiveness. KR (2014)
Yisong Wang, Yan Zhang, Yi Zhou, Mingyi Zhang
Knowledge Forgetting in Answer Set Programming. J. Artif. Intell. Res. 50 (2014)
Yi Zhou, Yan Zhang
A Logical Study of Partial Entailment. CoRR (2014)
Dongmo Zhang, Yan Zhang
An Ordinal Bargaining Solution with Fixed-Point Property. CoRR (2014)
Vernon Asuncion, Yan Zhang, Yi Zhou
Preferred First-Order Answer Set Programs. ACM Trans. Comput. Log. 15 (2) (2014)
Hai Wan, Zhanhao Xiao, Zhenfeng Yuan, Heng Zhang, Yan Zhang
Computing General First-Order Parallel and Prioritized Circumscription. AAAI (2014)
Edward Caprin, Yan Zhang
Negotiation Based Framework for Attribute-Based Access Control Policy Evaluation. SIN (2014)
Heng Zhang, Yan Zhang, Jia-Huai You
Existential Rule Languages with Finite Chase: Complexity and Expressiveness. CoRR (2014)
Heng Zhang, Yan Zhang
Expressiveness of Logic Programs under General Stable Model Semantics. CoRR (2014)
Jia-Huai You, Heng Zhang, Yan Zhang
Disjunctive logic programs with existential quantification in rule heads. Theory Pract. Log. Program. 13 (4-5) (2013)
Heng Zhang, Yan Zhang
First-Order Expressibility and Boundedness of Disjunctive Logic Programs. IJCAI (2013)
Vernon Asuncion, Yan Zhang, Heng Zhang, Yi Zhou
Constructive Circumscription. Theory Pract. Log. Program. 13 (4-5-Online-Supplement) (2013)
Edward Caprin, Yan Zhang, Khaled M. Khan
Social access control language (SocACL). SIN (2013)
Edward Caprin, Yan Zhang
SocACL: An ASP-Based Access Control Language for Online Social Networks. Communications and Multimedia Security (2013)
Heng Zhang, Yan Zhang
Disjunctive Logic Programs versus Normal Logic Programs CoRR (2013)
Vernon Asuncion, Fangzhen Lin, Yan Zhang, Yi Zhou
Ordered completion for first-order logic programs on finite structures. Artif. Intell. (2012)
Yisong Wang, Yan Zhang, Yi Zhou, Mingyi Zhang
Forgetting in Logic Programs under Strong Equivalence. KR (2012)
Yi Zhou, Yan Zhang
RDL: Enhancing Description Logic with Rules. Australasian Conference on Artificial Intelligence (2012)
Vernon Asuncion, Yan Zhang, Yi Zhou
Ordered Completion for Logic Programs with Aggregates. AAAI (2012)
Jinwei Hu, Khaled M. Khan, Yun Bai, Yan Zhang
Constraint-enhanced role engineering via answer set programming. AsiaCCS (2012)
Jinwei Hu, Khaled M. Khan, Yun Bai, Yan Zhang
Tracking and Constraining Authorization Provenance. IEA/AIE (2012)
Jinwei Hu, Khaled M. Khan, Yun Bai, Yan Zhang
Compliance Checking for Usage-Constrained Credentials in Trust Negotiation Systems. ISC (2012)
Heng Zhang, Yan Zhang, Mingsheng Ying, Yi Zhou
Translating First-Order Theories into Logic Programs. IJCAI (2011)
Yi Zhou, Yan Zhang
A Logical Study of Partial Entailment. J. Artif. Intell. Res. 40 (2011)
Yin Chen, Fangzhen Lin, Yan Zhang, Yi Zhou
Loop-separable programs and their first-order definability. Artif. Intell. 175 (3-4) (2011)
Yi Zhou, Yan Zhang
Bounded Forgetting. AAAI (2011)
Yi Zhou, Yan Zhang
Progression Semantics for Disjunctive Logic Programs. AAAI (2011)
Sean Policarpio, Yan Zhang
A Formal Language for XML Authorisations Based on Answer Set Programming and Temporal Interval Logic Constraints. Int. J. Secur. Softw. Eng. 2 (1) (2011)
Vernon Asuncion, Fangzhen Lin, Yan Zhang, Yi Zhou
Ordered Completion for First-Order Logic Programs on Finite Structures. AAAI (2010)
Jinwei Hu, Yan Zhang, Ruixuan Li, Zhengding Lu
A logic for authorization provenance. AsiaCCS (2010)
Wei Huang, Dongmo Zhang, Yan Zhang, Laurent Perrussel
Bargain over Joint Plans. PRICAI (2010)
Yan Zhang, Michael Kelly, Yi Zhou
Foundations of Tree-like Local Model Updates. ECAI (2010)
Yin Chen, Hai Wan, Yan Zhang, Yi Zhou
dl2asp: Implementing Default Logic via Answer Set Programming. JELIA (2010)
Jinwei Hu, Yan Zhang, Ruixuan Li, Zhengding Lu
Role updating for assignments. SACMAT (2010)
Yin Chen, Yan Zhang, Yi Zhou
First-Order Indefinability of Answer Set Programs on Finite Structures. AAAI (2010)
Yi Zhou, Yan Zhang
Modeling Abstract Behavior: A Dynamic Logic Approach. Australasian Conference on Artificial Intelligence (2009)
Kaile Su, Abdul Sattar, Guanfeng Lv, Yan Zhang
Variable Forgetting in Reasoning about Knowledge. J. Artif. Intell. Res. 35 (2009)
Sean Policarpio, Yan Zhang
A Formal Language for Specifying Complex XML Authorisations with Temporal Constraints. Inscrypt (2009)
Vernon Asuncion, Yan Zhang
Translating Preferred Answer Set Programs to Propositional Logic. LPNMR (2009)
Yi Zhou, Fangzhen Lin, Yan Zhang
General default logic. Ann. Math. Artif. Intell. 57 (2) (2009)
Yan Zhang
Updating Epistemic Logic Programs. J. Log. Comput. 19 (2) (2009)
Yan Zhang, Yi Zhou
Knowledge forgetting: Properties and applications. Artif. Intell. 173 (16-17) (2009)
Shujing Wang, Yan Zhang
A Logic Programming Based Framework for Security Protocol Verification. ISMIS (2008)
Yi Zhou, Yan Zhang
Rule Calculus: Semantics, Axioms and Applications. JELIA (2008)
Yi Zhou, Yan Zhang
Meta Level Reasoning and Default Reasoning. JELIA (2008)
Yan Zhang, Yulin Ding
CTL Model Update for System Modifications. J. Artif. Intell. Res. 31 (2008)
Dongmo Zhang, Yan Zhang
An Ordinal Bargaining Solution with Fixed-Point Property. J. Artif. Intell. Res. 33 (2008)
Yi Zhou, Fangzhen Lin, Yan Zhang
General Default Logic. LPNMR (2007)
Yan Zhang
Epistemic Reasoning in Logic Programs. IJCAI (2007)
Shujing Wang, Yan Zhang
Handling distributed authorization with delegation through answer set programming. Int. J. Inf. Sec. 6 (1) (2007)
Yan Zhang
Computational Properties of Epistemic Logic Programs. KR (2006)
Jianwen Chen, Yan Zhang
A rule based knowledge transaction model for mobile environments. Inf. Sci. 176 (18) (2006)
Yan Zhang
Logic program-based updates. ACM Trans. Comput. Log. 7 (3) (2006)
Dongmo Zhang, Yan Zhang
A Computational Model of Logic-Based Negotiation. AAAI (2006)
Yulin Ding, Yan Zhang
A Case Study for CTL Model Update. KSEM (2006)
Yan Zhang, Norman Y. Foo
Solving logic program conflict through strong and weak forgettings. Artif. Intell. 170 (8-9) (2006)
Vino Fernando Crescini, Yan Zhang
PolicyUpdater: a system for dynamic access control. Int. J. Inf. Sec. 5 (3) (2006)
Dongmo Zhang, Yan Zhang
Logical Properties of Belief-Revision-Based Bargaining Solution. Australian Conference on Artificial Intelligence (2006)
Shujing Wang, Yan Zhang
A Formalization of Distributed Authorization with Delegation. ACISP (2005)
Chitta Baral, Yan Zhang
Knowledge updates: Semantics and complexity issues. Artif. Intell. 164 (1-2) (2005)
Yulin Ding, Yan Zhang
A Logic Approach for LTL System Modification. ISMIS (2005)
Yulin Ding, Yan Zhang
Model Updating CTL Systems. Australian Conference on Artificial Intelligence (2005)
Yan Zhang, Norman Y. Foo, Kewen Wang
Solving Logic Program Conflict through Strong and Weak Forgettings. IJCAI (2005)
Shujing Wang, Yan Zhang
Answer Set Programming for Distributed Authorization: The Language, Computations, and Application. Australian Conference on Artificial Intelligence (2005)
Kewen Wang, Yan Zhang
Nested Epistemic Logic Programs. LPNMR (2005)
Shujing Wang, Yan Zhang
Specifying Distributed Authorization with Delegation Using Logic Programming. KES (2) (2005)
Yulin Ding, Yan Zhang
Algorithms for CTL System Modification. KES (2) (2005)
Yun Bai, Yan Zhang, Vijay Varadharajan
On the sequence of authorization policy transformations. Int. J. Inf. Sec. 4 (1-2) (2005)
Yan Zhang, Norman Y. Foo
A Unified Framework for Representing Logic Program Updates. AAAI (2005)
Yun Bai, Yan Zhang
Artificial Intelligence In Database Security. Int. J. Pattern Recognit. Artif. Intell. 18 (1) (2004)
Rena Ding, Yan Zhang
Dual space drawing methods for cones. GRAPHITE (2004)
Jianwen Chen, Yan Zhang
An extended logic programming based multi-agent system formalization in mobile environments. CIKM (2004)
Vino Fernando Crescini, Yan Zhang
A Logic Based Approach for Dynamic Access Control. Australian Conference on Artificial Intelligence (2004)
Norman Y. Foo, Pavlos Peppas, Yan Zhang
Constraints from STRIPS - Preliminary Report. Australian Conference on Artificial Intelligence (2004)
Kaile Su, Guanfeng Lv, Yan Zhang
Reasoning about Knowledge by Variable Forgetting. KR (2004)
Jianwen Chen, Yan Zhang
A Multi-Agent System for Mobile Environments. Intelligent Information Processing (2004)
Chun Ruan, Vijay Varadharajan, Yan Zhang
Evaluation of Authorization with Delegation and Negation. IIS (2003)

Yan Zhang.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Yan Zhang