Yan Zhang - RankMe

143 papers A* 26A 5B 14C 16Misc 2Journal 53Unranked 26

Year	Rank	Type	Title / Venue / Authors
2023	J	`jnl`	A Blockchain-Based Secure Searching Strategy for Metadata in Mobile Edge Computing. IEEE Internet Things J. Wenlong Tian, Qi Liu, Ruixuan Li, Zhiyong Xu, Yan Zhang, Yongfeng Huang
2020	J	`jnl`	Blockchain-based verification framework for data integrity in edge-cloud storage. J. Parallel Distributed Comput. Dongdong Yue, Ruixuan Li, Yan Zhang, Wenlong Tian, Yongfeng Huang
2020	A*	`conf`	Model-theoretic Characterizations of Existential Rule Languages. IJCAI Heng Zhang, Yan Zhang, Guifei Jiang
2020	J	`jnl`	Model-theoretic Characterizations of Existential Rule Languages. CoRR Heng Zhang, Yan Zhang, Guifei Jiang
2020	A*	`conf`	Towards Universal Languages for Tractable Ontology Mediated Query Answering. AAAI Heng Zhang, Yan Zhang, Jia-Huai You, Zhiyong Feng, Guifei Jiang
2019	J	`jnl`	Polynomial and Exponential Bounded Logic Programs with Function Symbols: Some New Decidable Classes. J. Artif. Intell. Res. Vernon Asuncion, Yan Zhang, Heng Zhang, Ruixuan Li
2019	J	`jnl`	Towards Universal Languages for Tractable Ontology Mediated Query Answering. CoRR Heng Zhang, Yan Zhang, Jia-Huai You, Zhiyong Feng, Guifei Jiang
2018	J	`jnl`	A New Decidable Class of Tuple Generating Dependencies: The Triangularly-Guarded Class. CoRR Vernon Asuncion, Yan Zhang
2018	J	`jnl`	A New Finitely Controllable Class of Tuple Generating Dependencies: The Triangularly-Guarded Class. CoRR Vernon Asuncion, Yan Zhang
2018	B	`conf`	Blockchain Based Data Integrity Verification in P2P Cloud Storage. ICPADS Dongdong Yue, Ruixuan Li, Yan Zhang, Wenlong Tian, Chengyi Peng
2018	A*	`conf`	Loop Restricted Existential Rules and First-Order Rewritability for Query Answering. KR Vernon Asuncion, Yan Zhang, Heng Zhang, Yun Bai, Weisheng Si
2018	J	`jnl`	Loop Restricted Existential Rules and First-order Rewritability for Query Answering. CoRR Vernon Asuncion, Yan Zhang, Heng Zhang
2017	J	`jnl`	A progression semantics for first-order logic programs. Artif. Intell. Yi Zhou, Yan Zhang
2017	J	`jnl`	Expressiveness of Logic Programs under the General Stable Model Semantics. ACM Trans. Comput. Log. Heng Zhang, Yan Zhang
2017	J	`jnl`	Inter-Definability of Horn Contraction and Horn Revision. J. Philos. Log. Zhiqiang Zhuang, Maurice Pagnucco, Yan Zhang
2017	A*	`conf`	Polynomially Bounded Logic Programs with Function Symbols: A New Decidable. AAAI Vernon Asuncion, Yan Zhang, Heng Zhang
2017	J	`jnl`	Role updating in information systems using model checking. Knowl. Inf. Syst. Jinwei Hu, Khaled M. Khan, Yan Zhang, Yun Bai, Ruixuan Li
2016	A*	`conf`	Expressive Completeness of Existential Rule Languages for Ontology-Based Query Answering. IJCAI Heng Zhang, Yan Zhang, Jia-Huai You
2016	J	`jnl`	Expressive Completeness of Existential Rule Languages for Ontology-based Query Answering. CoRR Heng Zhang, Yan Zhang, Jia-Huai You
2016	A*	`conf`	Query Answering with Inconsistent Existential Rules under Stable Model Semantics. AAAI Hai Wan, Heng Zhang, Peng Xiao, Haoran Huang, Yan Zhang
2016	J	`jnl`	Query Answering with Inconsistent Existential Rules under Stable Model Semantics. CoRR Hai Wan, Heng Zhang, Peng Xiao, Haoran Huang, Yan Zhang
2015	A*	`conf`	Existential Rule Languages with Finite Chase: Complexity and Expressiveness. AAAI Heng Zhang, Yan Zhang, Jia-Huai You
2015	J	`jnl`	Ordered completion for logic programs with aggregates. Artif. Intell. Vernon Asuncion, Yin Chen, Yan Zhang, Yi Zhou
2015	C	`conf`	Reasoning About the State Change of Authorization Policies. IEA/AIE Yun Bai, Edward Caprin, Yan Zhang
2014	J	`jnl`	A Logical Study of Partial Entailment. CoRR Yi Zhou, Yan Zhang
2014	J	`jnl`	An Ordinal Bargaining Solution with Fixed-Point Property. CoRR Dongmo Zhang, Yan Zhang
2014	A*	`conf`	Computing General First-Order Parallel and Prioritized Circumscription. AAAI Hai Wan, Zhanhao Xiao, Zhenfeng Yuan, Heng Zhang, Yan Zhang
2014	J	`jnl`	Existential Rule Languages with Finite Chase: Complexity and Expressiveness. CoRR Heng Zhang, Yan Zhang, Jia-Huai You
2014	J	`jnl`	Expressiveness of Logic Programs under General Stable Model Semantics. CoRR Heng Zhang, Yan Zhang
2014	J	`jnl`	Knowledge Forgetting in Answer Set Programming. J. Artif. Intell. Res. Yisong Wang, Yan Zhang, Yi Zhou, Mingyi Zhang
2014	A*	`conf`	Logic Programs with Ordered Disjunction: First-Order Semantics and Expressiveness. KR Vernon Asuncion, Yan Zhang, Heng Zhang
2014	C	`conf`	Negotiation Based Framework for Attribute-Based Access Control Policy Evaluation. SIN Edward Caprin, Yan Zhang
2014	J	`jnl`	Preferred First-Order Answer Set Programs. ACM Trans. Comput. Log. Vernon Asuncion, Yan Zhang, Yi Zhou
2014	J	`jnl`	Variable Forgetting in Reasoning about Knowledge. CoRR Kaile Su, Abdul Sattar, Guanfeng Lv, Yan Zhang
2013	J	`jnl`	Constructive Circumscription. Theory Pract. Log. Program. Vernon Asuncion, Yan Zhang, Heng Zhang, Yi Zhou
2013	A*	`conf`	Definability of Horn Revision from Horn Contraction. IJCAI Zhi Qiang Zhuang, Maurice Pagnucco, Yan Zhang
2013	J	`jnl`	Disjunctive Logic Programs versus Normal Logic Programs CoRR Heng Zhang, Yan Zhang
2013	J	`jnl`	Disjunctive logic programs with existential quantification in rule heads. Theory Pract. Log. Program. Jia-Huai You, Heng Zhang, Yan Zhang
2013	A*	`conf`	First-Order Expressibility and Boundedness of Disjunctive Logic Programs. IJCAI Heng Zhang, Yan Zhang
2013	—	`conf`	SocACL: An ASP-Based Access Control Language for Online Social Networks. Communications and Multimedia Security Edward Caprin, Yan Zhang
2013	C	`conf`	Social access control language (SocACL). SIN Edward Caprin, Yan Zhang, Khaled M. Khan
2012	C	`conf`	Compliance Checking for Usage-Constrained Credentials in Trust Negotiation Systems. ISC Jinwei Hu, Khaled M. Khan, Yun Bai, Yan Zhang
2012	A	`conf`	Constraint-enhanced role engineering via answer set programming. AsiaCCS Jinwei Hu, Khaled M. Khan, Yun Bai, Yan Zhang
2012	A*	`conf`	Forgetting in Logic Programs under Strong Equivalence. KR Yisong Wang, Yan Zhang, Yi Zhou, Mingyi Zhang
2012	A*	`conf`	Ordered Completion for Logic Programs with Aggregates. AAAI Vernon Asuncion, Yan Zhang, Yi Zhou
2012	J	`jnl`	Ordered completion for first-order logic programs on finite structures. Artif. Intell. Vernon Asuncion, Fangzhen Lin, Yan Zhang, Yi Zhou
2012	—	`conf`	RDL: Enhancing Description Logic with Rules. Australasian Conference on Artificial Intelligence Yi Zhou, Yan Zhang
2012	C	`conf`	Tracking and Constraining Authorization Provenance. IEA/AIE Jinwei Hu, Khaled M. Khan, Yun Bai, Yan Zhang
2011	J	`jnl`	A Formal Language for XML Authorisations Based on Answer Set Programming and Temporal Interval Logic Constraints. Int. J. Secur. Softw. Eng. Sean Policarpio, Yan Zhang
2011	J	`jnl`	A Logical Study of Partial Entailment. J. Artif. Intell. Res. Yi Zhou, Yan Zhang
2011	A*	`conf`	Bounded Forgetting. AAAI Yi Zhou, Yan Zhang
2011	J	`jnl`	Loop-separable programs and their first-order definability. Artif. Intell. Yin Chen, Fangzhen Lin, Yan Zhang, Yi Zhou
2011	A*	`conf`	Progression Semantics for Disjunctive Logic Programs. AAAI Yi Zhou, Yan Zhang
2011	A*	`conf`	Translating First-Order Theories into Logic Programs. IJCAI Heng Zhang, Yan Zhang, Mingsheng Ying, Yi Zhou
2010	A	`conf`	A logic for authorization provenance. AsiaCCS Jinwei Hu, Yan Zhang, Ruixuan Li, Zhengding Lu
2010	—	`conf`	ACTL Local Model Update with Constraints. KES (4) Michael Kelly, Fei Pu, Yan Zhang, Yi Zhou
2010	B	`conf`	Bargain over Joint Plans. PRICAI Wei Huang, Dongmo Zhang, Yan Zhang, Laurent Perrussel
2010	A*	`conf`	First-Order Indefinability of Answer Set Programs on Finite Structures. AAAI Yin Chen, Yan Zhang, Yi Zhou
2010	A	`conf`	Foundations of Tree-like Local Model Updates. ECAI Yan Zhang, Michael Kelly, Yi Zhou
2010	A*	`conf`	Ordered Completion for First-Order Logic Programs on Finite Structures. AAAI Vernon Asuncion, Fangzhen Lin, Yan Zhang, Yi Zhou
2010	C	`conf`	Role updating for assignments. SACMAT Jinwei Hu, Yan Zhang, Ruixuan Li, Zhengding Lu
2010	—	`conf`	Towards Automatic Update of Access Control Policy. LISA Jinwei Hu, Yan Zhang, Ruixuan Li
2010	B	`conf`	dl2asp: Implementing Default Logic via Answer Set Programming. JELIA Yin Chen, Hai Wan, Yan Zhang, Yi Zhou
2009	Misc	`conf`	A Formal Language for Specifying Complex XML Authorisations with Temporal Constraints. Inscrypt Sean Policarpio, Yan Zhang
2009	J	`jnl`	General default logic. Ann. Math. Artif. Intell. Yi Zhou, Fangzhen Lin, Yan Zhang
2009	J	`jnl`	Knowledge forgetting: Properties and applications. Artif. Intell. Yan Zhang, Yi Zhou
2009	B	`conf`	Managing Authorization Provenance: A Modal Logic Based Approach. ICTAI Jinwei Hu, Yan Zhang, Ruixuan Li, Zhengding Lu
2009	—	`conf`	Modeling Abstract Behavior: A Dynamic Logic Approach. Australasian Conference on Artificial Intelligence Yi Zhou, Yan Zhang
2009	B	`conf`	Translating Preferred Answer Set Programs to Propositional Logic. LPNMR Vernon Asuncion, Yan Zhang
2009	J	`jnl`	Updating Epistemic Logic Programs. J. Log. Comput. Yan Zhang
2009	J	`jnl`	Variable Forgetting in Reasoning about Knowledge. J. Artif. Intell. Res. Kaile Su, Abdul Sattar, Guanfeng Lv, Yan Zhang
2008	C	`conf`	A Logic Programming Based Framework for Security Protocol Verification. ISMIS Shujing Wang, Yan Zhang
2008	J	`jnl`	An Ordinal Bargaining Solution with Fixed-Point Property. J. Artif. Intell. Res. Dongmo Zhang, Yan Zhang
2008	J	`jnl`	CTL Model Update for System Modifications. J. Artif. Intell. Res. Yan Zhang, Yulin Ding
2008	B	`conf`	Meta Level Reasoning and Default Reasoning. JELIA Yi Zhou, Yan Zhang
2008	B	`conf`	Rule Calculus: Semantics, Axioms and Applications. JELIA Yi Zhou, Yan Zhang
2007	A*	`conf`	Epistemic Reasoning in Logic Programs. IJCAI Yan Zhang
2007	B	`conf`	General Default Logic. LPNMR Yi Zhou, Fangzhen Lin, Yan Zhang
2007	J	`jnl`	Handling distributed authorization with delegation through answer set programming. Int. J. Inf. Sec. Shujing Wang, Yan Zhang
2006	C	`conf`	A Case Study for CTL Model Update. KSEM Yulin Ding, Yan Zhang
2006	A*	`conf`	A Computational Model of Logic-Based Negotiation. AAAI Dongmo Zhang, Yan Zhang
2006	J	`jnl`	A rule based knowledge transaction model for mobile environments. Inf. Sci. Jianwen Chen, Yan Zhang
2006	A*	`conf`	Computational Properties of Epistemic Logic Programs. KR Yan Zhang
2006	J	`jnl`	Logic program-based updates. ACM Trans. Comput. Log. Yan Zhang
2006	—	`conf`	Logical Properties of Belief-Revision-Based Bargaining Solution. Australian Conference on Artificial Intelligence Dongmo Zhang, Yan Zhang
2006	J	`jnl`	PolicyUpdater: a system for dynamic access control. Int. J. Inf. Sec. Vino Fernando Crescini, Yan Zhang
2006	J	`jnl`	Solving logic program conflict through strong and weak forgettings. Artif. Intell. Yan Zhang, Norman Y. Foo
2005	Misc	`conf`	A Formalization of Distributed Authorization with Delegation. ACISP Shujing Wang, Yan Zhang
2005	C	`conf`	A Logic Approach for LTL System Modification. ISMIS Yulin Ding, Yan Zhang
2005	A*	`conf`	A Unified Framework for Representing Logic Program Updates. AAAI Yan Zhang, Norman Y. Foo
2005	—	`conf`	Algorithms for CTL System Modification. KES (2) Yulin Ding, Yan Zhang
2005	—	`conf`	Answer Set Programming for Distributed Authorization: The Language, Computations, and Application. Australian Conference on Artificial Intelligence Shujing Wang, Yan Zhang
2005	J	`jnl`	Knowledge updates: Semantics and complexity issues. Artif. Intell. Chitta Baral, Yan Zhang
2005	—	`conf`	Model Updating CTL Systems. Australian Conference on Artificial Intelligence Yulin Ding, Yan Zhang
2005	B	`conf`	Nested Epistemic Logic Programs. LPNMR Kewen Wang, Yan Zhang
2005	J	`jnl`	On the sequence of authorization policy transformations. Int. J. Inf. Sec. Yun Bai, Yan Zhang, Vijay Varadharajan
2005	A*	`conf`	Solving Logic Program Conflict through Strong and Weak Forgettings. IJCAI Yan Zhang, Norman Y. Foo, Kewen Wang
2005	—	`conf`	Specifying Distributed Authorization with Delegation Using Logic Programming. KES (2) Shujing Wang, Yan Zhang
2004	—	`conf`	A Logic Based Approach for Dynamic Access Control. Australian Conference on Artificial Intelligence Vino Fernando Crescini, Yan Zhang
2004	—	`conf`	A Multi-Agent System for Mobile Environments. IIP Jianwen Chen, Yan Zhang
2004	A	`conf`	An extended logic programming based multi-agent system formalization in mobile environments. CIKM Jianwen Chen, Yan Zhang
2004	J	`jnl`	Artificial Intelligence In Database Security. Int. J. Pattern Recognit. Artif. Intell. Yun Bai, Yan Zhang
2004	—	`conf`	Constraints from STRIPS - Preliminary Report. Australian Conference on Artificial Intelligence Norman Y. Foo, Pavlos Peppas, Yan Zhang
2004	—	`conf`	Dual space drawing methods for cones. GRAPHITE Rena Ding, Yan Zhang
2004	A*	`conf`	Reasoning about Knowledge by Variable Forgetting. KR Kaile Su, Guanfeng Lv, Yan Zhang
2003	C	`conf`	A Logic Model for Temporal Authorization Delegation with Negation. ISC Chun Ruan, Vijay Varadharajan, Yan Zhang
2003	—	`conf`	Delegatable Authorization Program and Its Application. Security and Management Chun Ruan, Vijay Varadharajan, Yan Zhang
2003	—	`conf`	Evaluation of Authorization with Delegation and Negation. IIS Chun Ruan, Vijay Varadharajan, Yan Zhang
2003	J	`jnl`	Handling defeasibilities in action domains. Theory Pract. Log. Program. Yan Zhang
2003	A*	`conf`	Minimal Change and Maximal Coherence for Epistemic Logic Program Updates. IJCAI Yan Zhang
2003	C	`conf`	The Characterization on the Uniqueness of Answer Set for Prioritized Logic Programs. ISMIS Yan Zhang, Yun Bai
2003	J	`jnl`	Two results for prioritized logic programming. Theory Pract. Log. Program. Yan Zhang
2002	J	`jnl`	Handling Defeasibilities in Action Domains CoRR Yan Zhang
2002	C	`conf`	Logic-Based Reasoning on Delegatable Authorizations. ISMIS Chun Ruan, Vijay Varadharajan, Yan Zhang
2002	B	`conf`	Representing Actions over Dynamic Domains. PRICAI Yan Zhang, Norman Y. Foo
2002	J	`jnl`	Two results for proiritized logic programming CoRR Yan Zhang
2001	—	`conf`	A Logic for Modeling the Dynamics of Beliefs in Cryptographic Protocols. ACSC Yan Zhang, Vijay Varadharajan
2001	—	`ch.`	A New Approach to Reasoning About Accountability in Cryptographic Protocols for E-Commerce. E-Commerce Security and Privacy Hongxue Wang, Vijay Varadharajan, Yan Zhang
2001	J	`jnl`	Apparent Nondeterminism in Actions. J. Res. Pract. Inf. Technol. Norman Y. Foo, Rex Bing Hung Kwok, Yan Zhang
2001	B	`conf`	Encoding Solutions of the Frame Problem in Dynamic Logic. LPNMR Norman Y. Foo, Dongmo Zhang, Yan Zhang, Samir Chopra, Quoc Bao Vo
2001	J	`jnl`	Implementing prioritized logic programming. AI Commun. Yan Zhang, Cheng-Min Wu, Yun Bai
2001	C	`conf`	On the Computational Aspect of Rule Based Database Updates. IEA/AIE Yun Bai, Yan Zhang
2001	—	`conf`	The Complexity of Logic Program Updates. Australian Joint Conference on Artificial Intelligence Yan Zhang
2000	C	`conf`	Rule Based Abduction. ISMIS Sai Kiran Lakkaraju, Yan Zhang
2000	—	`conf`	Towards a Generic Logic for Analysing Network Protocols. ICDCS Workshop on Internet Hongxue Wang, Vijay Varadharajan, Yan Zhang
2000	J	`jnl`	Updates with Disjunctive Information: From Syntactical and Semantical Perspectives. Comput. Intell. Yan Zhang, Norman Y. Foo
1999	B	`conf`	Monotonicity in Rule Based Update. ICLP Yan Zhang
1999	B	`conf`	On logical semantics of hybrid symbolic-neural networks for commonsense reasoning. IJCNN Yan Zhang
1999	J	`jnl`	Specifying Causality in Action Theories: A Default Logic Approach. Theor. Comput. Sci. Yan Zhang
1998	B	`conf`	A Secure Communication Scheme for Multiagent Systems. PRIMA Hongxue Wang, Vijay Varadharajan, Yan Zhang
1998	—	`conf`	Representing Defeasible Constraints and Observations in Action Theories. Australian Joint Conference on Artificial Intelligence Yan Zhang
1998	A	`conf`	Updating Logic Programs. ECAI Yan Zhang, Norman Y. Foo
1997	—	`conf`	Action Localness, Genericity and Invariants in STRIPS. IJCAI (1) Norman Y. Foo, Abhaya C. Nayak, Maurice Pagnucco, Pavlos Peppas, Yan Zhang
1997	—	`conf`	Answer Sets for Prioritized Logic Programs. ILPS Yan Zhang, Norman Y. Foo
1997	C	`conf`	Constraints, Causal Rules and Minimal Change in Model-based Update. ISMIS Yan Zhang
1997	J	`jnl`	Deriving Invariants and Constraints from Action Theories. Fundam. Informaticae Yan Zhang, Norman Y. Foo
1997	—	`conf`	Disjunctive Update, Minimal Change, and Default Reasoning. ECSQARU-FAPR Yan Zhang
1997	—	`conf`	Inductive Properties of States. Australian Joint Conference on Artificial Intelligence Norman Y. Foo, Pavlos Peppas, Yan Zhang
1997	—	`conf`	Towards Generalized Rule-based Updates. IJCAI (1) Yan Zhang, Norman Y. Foo
1996	C	`conf`	Semantical Considerations for Knowledge Base Updates. ISMIS Yan Zhang
1996	—	`conf`	Updating Knowledge Bases with Disjunctive Information. AAAI/IAAI, Vol. 1 Yan Zhang, Norman Y. Foo
1995	J	`jnl`	Applying the persistent set approach in temporal reasoning. Ann. Math. Artif. Intell. Yan Zhang, Norman Y. Foo
1993	A*	`conf`	Reasoning About Persistence: A Theory of Actions. IJCAI Yan Zhang, Norman Y. Foo