Reasoning About Persistence: A Theory of Actions. - Yan Zhang 003; Norman Y. Foo (IJCAI, 1993)

Applying the persistent set approach in temporal reasoning. - Yan Zhang 003; Norman Y. Foo (Ann. Math. Artif. Intell., 1995)

Updating Knowledge Bases with Disjunctive Information. - Yan Zhang 003; Norman Y. Foo (AAAI/IAAI, Vol. 1, 1996)

Semantical Considerations for Knowledge Base Updates. - Yan Zhang 003 (ISMIS, 1996)

Inductive Properties of States. - Norman Y. Foo; Pavlos Peppas; Yan Zhang 003 (Australian Joint Conference on Artificial Intelligence, 1997)

Disjunctive Update, Minimal Change, and Default Reasoning. - Yan Zhang 003 (ECSQARU-FAPR, 1997)

Action Localness, Genericity and Invariants in STRIPS. - Norman Y. Foo; Abhaya C. Nayak; Maurice Pagnucco; Pavlos Peppas; Yan Zhang 003 (IJCAI (1), 1997)

Towards Generalized Rule-based Updates. - Yan Zhang 003; Norman Y. Foo (IJCAI (1), 1997)

Constraints, Causal Rules and Minimal Change in Model-based Update. - Yan Zhang 003 (ISMIS, 1997)

Answer Sets for Prioritized Logic Programs. - Yan Zhang 003; Norman Y. Foo (ILPS, 1997)

Deriving Invariants and Constraints from Action Theories. - Yan Zhang 003; Norman Y. Foo (Fundam. Informaticae, 1997)

Representing Defeasible Constraints and Observations in Action Theories. - Yan Zhang 003 (Australian Joint Conference on Artificial Intelligence, 1998)

Updating Logic Programs. - Yan Zhang 003; Norman Y. Foo (ECAI, 1998)

A Secure Communication Scheme for Multiagent Systems. - Hongxue Wang; Vijay Varadharajan; Yan Zhang 003 (PRIMA, 1998)

Monotonicity in Rule Based Update. - Yan Zhang 003 (ICLP, 1999)

On logical semantics of hybrid symbolic-neural networks for commonsense reasoning. - Yan Zhang 003 (IJCNN, 1999)

Specifying Causality in Action Theories: A Default Logic Approach. - Yan Zhang 003 (Theor. Comput. Sci., 1999)

Towards a Generic Logic for Analysing Network Protocols. - Hongxue Wang; Vijay Varadharajan; Yan Zhang 003 (ICDCS Workshop on Internet, 2000)

Rule Based Abduction. - Sai Kiran Lakkaraju; Yan Zhang 003 (ISMIS, 2000)

Updates with Disjunctive Information: From Syntactical and Semantical Perspectives. - Yan Zhang 003; Norman Y. Foo (Comput. Intell., 2000)

A Logic for Modeling the Dynamics of Beliefs in Cryptographic Protocols. - Yan Zhang 003; Vijay Varadharajan (ACSC, 2001)

The Complexity of Logic Program Updates. - Yan Zhang 003 (Australian Joint Conference on Artificial Intelligence, 2001)

On the Computational Aspect of Rule Based Database Updates. - Yun Bai 001; Yan Zhang 003 (IEA/AIE, 2001)

Encoding Solutions of the Frame Problem in Dynamic Logic. - Norman Y. Foo; Dongmo Zhang; Yan Zhang 003; Samir Chopra; Quoc Bao Vo (LPNMR, 2001)

Apparent Nondeterminism in Actions. - Norman Y. Foo; Rex Bing Hung Kwok; Yan Zhang 003 (J. Res. Pract. Inf. Technol., 2001)

Implementing prioritized logic programming. - Yan Zhang 003; Cheng-Min Wu; Yun Bai 001 (AI Commun., 2001)

A New Approach to Reasoning About Accountability in Cryptographic Protocols for E-Commerce. - Hongxue Wang; Vijay Varadharajan; Yan Zhang 003 (E-Commerce Security and Privacy, 2001)

Logic-Based Reasoning on Delegatable Authorizations. - Chun Ruan; Vijay Varadharajan; Yan Zhang 003 (ISMIS, 2002)

Representing Actions over Dynamic Domains. - Yan Zhang 003; Norman Y. Foo (PRICAI, 2002)

Two results for proiritized logic programming - Yan Zhang 003 (CoRR, 2002)

Delegatable Authorization Program and Its Application. - Chun Ruan; Vijay Varadharajan; Yan Zhang 003 (Security and Management, 2003)

Evaluation of Authorization with Delegation and Negation. - Chun Ruan; Vijay Varadharajan; Yan Zhang 003 (IIS, 2003)

Minimal Change and Maximal Coherence for Epistemic Logic Program Updates. - Yan Zhang 003 (IJCAI, 2003)

The Characterization on the Uniqueness of Answer Set for Prioritized Logic Programs. - Yan Zhang 003; Yun Bai 001 (ISMIS, 2003)

A Logic Model for Temporal Authorization Delegation with Negation. - Chun Ruan; Vijay Varadharajan; Yan Zhang 003 (ISC, 2003)

Two results for prioritized logic programming. - Yan Zhang 003 (Theory Pract. Log. Program., 2003)

Handling defeasibilities in action domains. - Yan Zhang 003 (Theory Pract. Log. Program., 2003)

A Logic Based Approach for Dynamic Access Control. - Vino Fernando Crescini; Yan Zhang 003 (Australian Conference on Artificial Intelligence, 2004)

Constraints from STRIPS - Preliminary Report. - Norman Y. Foo; Pavlos Peppas; Yan Zhang 003 (Australian Conference on Artificial Intelligence, 2004)

An extended logic programming based multi-agent system formalization in mobile environments. - Jianwen Chen; Yan Zhang 003 (CIKM, 2004)

Dual space drawing methods for cones. - Rena Ding; Yan Zhang 003 (GRAPHITE, 2004)

A Multi-Agent System for Mobile Environments. - Jianwen Chen; Yan Zhang 003 (IIP, 2004)

Reasoning about Knowledge by Variable Forgetting. - Kaile Su; Guanfeng Lv; Yan Zhang 003 (KR, 2004)

Artificial Intelligence In Database Security. - Yun Bai 001; Yan Zhang 003 (Int. J. Pattern Recognit. Artif. Intell., 2004)

A Unified Framework for Representing Logic Program Updates. - Yan Zhang 003; Norman Y. Foo (AAAI, 2005)

A Formalization of Distributed Authorization with Delegation. - Shujing Wang 001; Yan Zhang 003 (ACISP, 2005)

Model Updating CTL Systems. - Yulin Ding; Yan Zhang 003 (Australian Conference on Artificial Intelligence, 2005)

Answer Set Programming for Distributed Authorization: The Language, Computations, and Application. - Shujing Wang 001; Yan Zhang 003 (Australian Conference on Artificial Intelligence, 2005)

Solving Logic Program Conflict through Strong and Weak Forgettings. - Yan Zhang 003; Norman Y. Foo; Kewen Wang 001 (IJCAI, 2005)

A Logic Approach for LTL System Modification. - Yulin Ding; Yan Zhang 003 (ISMIS, 2005)

Algorithms for CTL System Modification. - Yulin Ding; Yan Zhang 003 (KES (2), 2005)

Specifying Distributed Authorization with Delegation Using Logic Programming. - Shujing Wang 001; Yan Zhang 003 (KES (2), 2005)

Nested Epistemic Logic Programs. - Kewen Wang 001; Yan Zhang 003 (LPNMR, 2005)

Knowledge updates: Semantics and complexity issues. - Chitta Baral; Yan Zhang 003 (Artif. Intell., 2005)

On the sequence of authorization policy transformations. - Yun Bai 001; Yan Zhang 003; Vijay Varadharajan (Int. J. Inf. Sec., 2005)

A Computational Model of Logic-Based Negotiation. - Dongmo Zhang; Yan Zhang 003 (AAAI, 2006)

Logical Properties of Belief-Revision-Based Bargaining Solution. - Dongmo Zhang; Yan Zhang 003 (Australian Conference on Artificial Intelligence, 2006)

Computational Properties of Epistemic Logic Programs. - Yan Zhang 003 (KR, 2006)

A Case Study for CTL Model Update. - Yulin Ding; Yan Zhang 003 (KSEM, 2006)

Solving logic program conflict through strong and weak forgettings. - Yan Zhang 003; Norman Y. Foo (Artif. Intell., 2006)

PolicyUpdater: a system for dynamic access control. - Vino Fernando Crescini; Yan Zhang 003 (Int. J. Inf. Sec., 2006)

A rule based knowledge transaction model for mobile environments. - Jianwen Chen; Yan Zhang 003 (Inf. Sci., 2006)

Logic program-based updates. - Yan Zhang 003 (ACM Trans. Comput. Log., 2006)

Epistemic Reasoning in Logic Programs. - Yan Zhang 003 (IJCAI, 2007)

Handling distributed authorization with delegation through answer set programming. - Shujing Wang 001; Yan Zhang 003 (Int. J. Inf. Sec., 2007)

A Logic Programming Based Framework for Security Protocol Verification. - Shujing Wang 001; Yan Zhang 003 (ISMIS, 2008)

Meta Level Reasoning and Default Reasoning. - Yi Zhou 013; Yan Zhang 003 (JELIA, 2008)

Rule Calculus: Semantics, Axioms and Applications. - Yi Zhou 013; Yan Zhang 003 (JELIA, 2008)

CTL Model Update for System Modifications. - Yan Zhang 003; Yulin Ding (J. Artif. Intell. Res., 2008)

An Ordinal Bargaining Solution with Fixed-Point Property. - Dongmo Zhang; Yan Zhang 003 (J. Artif. Intell. Res., 2008)

Modeling Abstract Behavior: A Dynamic Logic Approach. - Yi Zhou 013; Yan Zhang 003 (Australasian Conference on Artificial Intelligence, 2009)

A Formal Language for Specifying Complex XML Authorisations with Temporal Constraints. - Sean Policarpio; Yan Zhang 003 (Inscrypt, 2009)

Managing Authorization Provenance: A Modal Logic Based Approach. - Jinwei Hu; Yan Zhang 003; Ruixuan Li 001; Zhengding Lu (ICTAI, 2009)

Translating Preferred Answer Set Programs to Propositional Logic. - Vernon Asuncion; Yan Zhang 003 (LPNMR, 2009)

Knowledge forgetting: Properties and applications. - Yan Zhang 003; Yi Zhou 013 (Artif. Intell., 2009)

General default logic. - Yi Zhou 013; Fangzhen Lin; Yan Zhang 003 (Ann. Math. Artif. Intell., 2009)

Variable Forgetting in Reasoning about Knowledge. - Kaile Su; Abdul Sattar 001; Guanfeng Lv; Yan Zhang 003 (J. Artif. Intell. Res., 2009)

Updating Epistemic Logic Programs. - Yan Zhang 003 (J. Log. Comput., 2009)

First-Order Indefinability of Answer Set Programs on Finite Structures. - Yin Chen 005; Yan Zhang 003; Yi Zhou 013 (AAAI, 2010)

A logic for authorization provenance. - Jinwei Hu; Yan Zhang 003; Ruixuan Li 001; Zhengding Lu (AsiaCCS, 2010)

Foundations of Tree-like Local Model Updates. - Yan Zhang 003; Michael Kelly; Yi Zhou 013 (ECAI, 2010)

dl2asp: Implementing Default Logic via Answer Set Programming. - Yin Chen 005; Hai Wan; Yan Zhang 003; Yi Zhou 013 (JELIA, 2010)

ACTL Local Model Update with Constraints. - Michael Kelly; Fei Pu; Yan Zhang 003; Yi Zhou 013 (KES (4), 2010)

Towards Automatic Update of Access Control Policy. - Jinwei Hu; Yan Zhang 003; Ruixuan Li 001 (LISA, 2010)

Bargain over Joint Plans. - Wei Huang; Dongmo Zhang; Yan Zhang 003; Laurent Perrussel (PRICAI, 2010)

Role updating for assignments. - Jinwei Hu; Yan Zhang 003; Ruixuan Li 001; Zhengding Lu (SACMAT, 2010)

Bounded Forgetting. - Yi Zhou 013; Yan Zhang 003 (AAAI, 2011)

Progression Semantics for Disjunctive Logic Programs. - Yi Zhou 013; Yan Zhang 003 (AAAI, 2011)

Translating First-Order Theories into Logic Programs. - Heng Zhang 006; Yan Zhang 003; Mingsheng Ying; Yi Zhou 013 (IJCAI, 2011)

Loop-separable programs and their first-order definability. - Yin Chen 005; Fangzhen Lin; Yan Zhang 003; Yi Zhou 013 (Artif. Intell., 2011)

A Formal Language for XML Authorisations Based on Answer Set Programming and Temporal Interval Logic Constraints. - Sean Policarpio; Yan Zhang 003 (Int. J. Secur. Softw. Eng., 2011)

A Logical Study of Partial Entailment. - Yi Zhou 013; Yan Zhang 003 (J. Artif. Intell. Res., 2011)

Ordered Completion for Logic Programs with Aggregates. - Vernon Asuncion; Yan Zhang 003; Yi Zhou 013 (AAAI, 2012)

RDL: Enhancing Description Logic with Rules. - Yi Zhou 013; Yan Zhang 003 (Australasian Conference on Artificial Intelligence, 2012)

Constraint-enhanced role engineering via answer set programming. - Jinwei Hu; Khaled M. Khan; Yun Bai 001; Yan Zhang 003 (AsiaCCS, 2012)

Tracking and Constraining Authorization Provenance. - Jinwei Hu; Khaled M. Khan; Yun Bai 001; Yan Zhang 003 (IEA/AIE, 2012)

Compliance Checking for Usage-Constrained Credentials in Trust Negotiation Systems. - Jinwei Hu; Khaled M. Khan; Yun Bai 001; Yan Zhang 003 (ISC, 2012)

Forgetting in Logic Programs under Strong Equivalence. - Yisong Wang; Yan Zhang 003; Yi Zhou 013; Mingyi Zhang 002 (KR, 2012)

Ordered completion for first-order logic programs on finite structures. - Vernon Asuncion; Fangzhen Lin; Yan Zhang 003; Yi Zhou 013 (Artif. Intell., 2012)

SocACL: An ASP-Based Access Control Language for Online Social Networks. - Edward Caprin; Yan Zhang 003 (Communications and Multimedia Security, 2013)

First-Order Expressibility and Boundedness of Disjunctive Logic Programs. - Heng Zhang 006; Yan Zhang 003 (IJCAI, 2013)

Definability of Horn Revision from Horn Contraction. - Zhi Qiang Zhuang; Maurice Pagnucco; Yan Zhang 003 (IJCAI, 2013)

Social access control language (SocACL). - Edward Caprin; Yan Zhang 003; Khaled M. Khan (SIN, 2013)

Disjunctive Logic Programs versus Normal Logic Programs - Heng Zhang 006; Yan Zhang 003 (CoRR, 2013)

Constructive Circumscription. - Vernon Asuncion; Yan Zhang 003; Heng Zhang 006; Yi Zhou 013 (Theory Pract. Log. Program., 2013)

Disjunctive logic programs with existential quantification in rule heads. - Jia-Huai You; Heng Zhang 006; Yan Zhang 003 (Theory Pract. Log. Program., 2013)

Computing General First-Order Parallel and Prioritized Circumscription. - Hai Wan; Zhanhao Xiao; Zhenfeng Yuan; Heng Zhang 006; Yan Zhang 003 (AAAI, 2014)

Logic Programs with Ordered Disjunction: First-Order Semantics and Expressiveness. - Vernon Asuncion; Yan Zhang 003; Heng Zhang 006 (KR, 2014)

Negotiation Based Framework for Attribute-Based Access Control Policy Evaluation. - Edward Caprin; Yan Zhang 003 (SIN, 2014)

Knowledge Forgetting in Answer Set Programming. - Yisong Wang; Yan Zhang 003; Yi Zhou 013; Mingyi Zhang 002 (J. Artif. Intell. Res., 2014)

Preferred First-Order Answer Set Programs. - Vernon Asuncion; Yan Zhang 003; Yi Zhou 013 (ACM Trans. Comput. Log., 2014)

Existential Rule Languages with Finite Chase: Complexity and Expressiveness. - Heng Zhang 006; Yan Zhang 003; Jia-Huai You (AAAI, 2015)

Reasoning About the State Change of Authorization Policies. - Yun Bai 001; Edward Caprin; Yan Zhang 003 (IEA/AIE, 2015)

Ordered completion for logic programs with aggregates. - Vernon Asuncion; Yin Chen 005; Yan Zhang 003; Yi Zhou 013 (Artif. Intell., 2015)

Query Answering with Inconsistent Existential Rules under Stable Model Semantics. - Hai Wan; Heng Zhang 006; Peng Xiao 009; Haoran Huang; Yan Zhang 003 (AAAI, 2016)

Expressive Completeness of Existential Rule Languages for Ontology-Based Query Answering. - Heng Zhang 006; Yan Zhang 003; Jia-Huai You (IJCAI, 2016)

Polynomially Bounded Logic Programs with Function Symbols: A New Decidable. - Vernon Asuncion; Yan Zhang 003; Heng Zhang 006 (AAAI, 2017)

A progression semantics for first-order logic programs. - Yi Zhou 013; Yan Zhang 003 (Artif. Intell., 2017)

Inter-Definability of Horn Contraction and Horn Revision. - Zhiqiang Zhuang; Maurice Pagnucco; Yan Zhang 003 (J. Philos. Log., 2017)

Role updating in information systems using model checking. - Jinwei Hu; Khaled M. Khan; Yan Zhang 003; Yun Bai 001; Ruixuan Li 001 (Knowl. Inf. Syst., 2017)

Expressiveness of Logic Programs under the General Stable Model Semantics. - Heng Zhang 006; Yan Zhang 003 (ACM Trans. Comput. Log., 2017)

Blockchain Based Data Integrity Verification in P2P Cloud Storage. - Dongdong Yue; Ruixuan Li 001; Yan Zhang 003; Wenlong Tian; Chengyi Peng (ICPADS, 2018)

Loop Restricted Existential Rules and First-Order Rewritability for Query Answering. - Vernon Asuncion; Yan Zhang 003; Heng Zhang 006; Yun Bai 001; Weisheng Si (KR, 2018)

A New Decidable Class of Tuple Generating Dependencies: The Triangularly-Guarded Class. - Vernon Asuncion; Yan Zhang 003 (CoRR, 2018)

Loop Restricted Existential Rules and First-order Rewritability for Query Answering. - Vernon Asuncion; Yan Zhang 003; Heng Zhang 006 (CoRR, 2018)

A New Finitely Controllable Class of Tuple Generating Dependencies: The Triangularly-Guarded Class. - Vernon Asuncion; Yan Zhang 003 (CoRR, 2018)

Polynomial and Exponential Bounded Logic Programs with Function Symbols: Some New Decidable Classes. - Vernon Asuncion; Yan Zhang 003; Heng Zhang 006; Ruixuan Li 001 (J. Artif. Intell. Res., 2019)

Towards Universal Languages for Tractable Ontology Mediated Query Answering. - Heng Zhang 006; Yan Zhang 003; Jia-Huai You; Zhiyong Feng 002; Guifei Jiang (AAAI, 2020)

Model-theoretic Characterizations of Existential Rule Languages. - Heng Zhang 006; Yan Zhang 003; Guifei Jiang (IJCAI, 2020)

Blockchain-based verification framework for data integrity in edge-cloud storage. - Dongdong Yue; Ruixuan Li 001; Yan Zhang 003; Wenlong Tian; Yongfeng Huang 001 (J. Parallel Distributed Comput., 2020)

A Blockchain-Based Secure Searching Strategy for Metadata in Mobile Edge Computing. - Wenlong Tian; Qi Liu 003; Ruixuan Li 001; Zhiyong Xu 003; Yan Zhang 003; Yongfeng Huang 001 (IEEE Internet Things J., 2023)