Yan Zhang

发表

Millimeter-Wave–Based IEEE 802.16 Wireless MAN

Emma E. Regentova, Jun Zheng, Yan Zhang, 2008 .

Arch and Cable-Supported Hybrid Pedestrian Bridges

Yan Zhang, Shao-Zhen Chen, Yao-Jun Ge, 2008 .

Deriving Invariants and Constraints from Action Theories

Norman Y. Foo, Yan Zhang, N. Foo, 1997, Fundam. Informaticae.

Towards a Generic Logic for Analysing Network Protocols

Vijay Varadharajan, Yan Zhang, Hongxue Wang, 2000, ICDCS Workshop on Internet.

On Propositional Knowledge Base Updates

Yan Zhang, Yan Zhang, 1995 .

Forgetting in Logic Programs under Strong Equivalence

Yi Zhou, Yan Zhang, Mingyi Zhang, 2012, KR.

Logic Programs with Ordered Disjunction: First-Order Semantics and Expressiveness

Yan Zhang, Heng Zhang, Vernon Asuncion, 2014, KR.

RDL: Enhancing Description Logic with Rules

Yi Zhou, Yan Zhang, 2012, Australasian Conference on Artificial Intelligence.

A Multiphase Active Contour Model with Dynamic Medial Axis Constraint for Medical Image Segmentation

Bogdan J. Matuszewski, Yan Zhang, B. Matuszewski, 2016, VISAPP.

Constraints, Causal Rules and Minimal Change in Model-based Update

Yan Zhang, 1997, ISMIS.

A Logic Model for Temporal Authorization Delegation with Negation

Vijay Varadharajan, Yan Zhang, Chun Ruan, 2003, ISC.

Towards Generalized Rule-based Updates

Norman Y. Foo, Yan Zhang, N. Foo, 1997, IJCAI.

Updates with Disjunctive Information: From Syntactical and Semantical Perspectives

Norman Y. Foo, Yan Zhang, 2000, Comput. Intell..

Apparent Nondeterminism in Actions

Norman Y. Foo, Yan Zhang, Rex Bing Hung Kwok, 2001, J. Res. Pract. Inf. Technol..

Foundations of Tree-like Local Model Updates

Yi Zhou, Yan Zhang, Michael Kelly, 2010, ECAI.

Boundary Delineation in Prostate Imaging Using Active Contour Segmentation Method with Interactively Defined Object Regions

Aymeric Histace, Frédéric Precioso, Bogdan J. Matuszewski, 2010, Prostate Cancer Imaging.

Evaluation of Authorization with Delegation and Negation

Vijay Varadharajan, Yan Zhang, Chun Ruan, 2003, IIS.

Constraints from STRIPS - Preliminary Report

Norman Y. Foo, Yan Zhang, Pavlos Peppas, 2004, Australian Conference on Artificial Intelligence.

Translating Preferred Answer Set Programs to Propositional Logic

Yan Zhang, Vernon Asuncion, 2009, LPNMR.

Study on Ontology-based Semantic Extraction Method for Heterogeneous Data

Yan Zhang, Gaihai Li, Wangli Yang, 2015 .

Knowledge Forgetting in Answer Set Programming

Yi Zhou, Yan Zhang, Mingyi Zhang, 2014, J. Artif. Intell. Res..

Existential Rule Languages with Finite Chase: Complexity and Expressiveness pdf

Jia-Huai You, Yan Zhang, Heng Zhang, 2014, AAAI.

Updating Epistemic Logic Programs

Yan Zhang, 2009, J. Log. Comput..

dl2asp: Implementing Default Logic via Answer Set Programming

Hai Wan, Yi Zhou, Yin Chen, 2010, JELIA.

Compliance Checking for Usage-Constrained Credentials in Trust Negotiation Systems

Khaled M. Khan, Yan Zhang, Yun Bai, 2012, ISC.

Polynomially Bounded Logic Programs with Function Symbols: A New Decidable

Yan Zhang, Heng Zhang, Vernon Asuncion, 2017, AAAI.

Uncertainty-resistant stochastic MPC approach for optimal operation of CHP microgrid

Yan Zhang, Behzad Kazemtabrizi, Rui Wang, 2019, Energy.

Constructive Circumscription

Yi Zhou, Yan Zhang, Heng Zhang, 2013, Theory Pract. Log. Program..

Query Answering with Inconsistent Existential Rules under Stable Model Semantics pdf

Hai Wan, Yan Zhang, Peng Xiao, 2016, AAAI.

An Improved PWM Strategy for Z-Source Inverter With Maximum Boost Capability and Minimum Switching Frequency

Jinjun Liu, Xinying Li, Yan Zhang, 2018, IEEE Transactions on Power Electronics.

First-Order Indefinability of Answer Set Programs on Finite Structures

Yi Zhou, Yin Chen, Yan Zhang, 2010, AAAI.

Computational Properties of Epistemic Logic Programs

Yan Zhang, 2006, KR.

Reducing Long‐Term Remedial Costs by Transport Modeling Optimization

Yan Zhang, Karla Harre, Richard Peralta, 2006, Ground water.

Common Capacitor Multiphase LLC Converter With Passive Current Sharing Ability

Yan Zhang, Yang Chen, Peng Fang, 2018, IEEE Transactions on Power Electronics.

Encoding Solutions of the Frame Problem in Dynamic Logic

Norman Y. Foo, Dongmo Zhang, Yan Zhang, 2001, LPNMR.

Epistemic Reasoning in Logic Programs

Yan Zhang, Yan Zhang, 2007, IJCAI.

Semantical Considerations for Knowledge Base Updates

Yan Zhang, Yan Zhang, 1996, ISMIS.

Reasoning About the State Change of Authorization Policies

Yan Zhang, Yun Bai, Edward Caprin, 2015, IEA/AIE.

Artificial Intelligence In Database Security

Yan Zhang, Yun Bai, 2004, Int. J. Pattern Recognit. Artif. Intell..

Updating Knowledge Bases with Disjunctive Information

Norman Y. Foo, Yan Zhang, 1996, AAAI/IAAI, Vol. 1.

Expressive Completeness of Existential Rule Languages for Ontology-based Query Answering

Jia-Huai You, Yan Zhang, Heng Zhang, 2016, IJCAI.

Representing Actions over Dynamic Domains

Norman Y. Foo, Yan Zhang, 2002, PRICAI.

Reasoning About Persistence: A Theory of Actions

Norman Y. Foo, Yan Zhang, N. Foo, 1993, IJCAI.

Computing General First-Order Parallel and Prioritized Circumscription

Hai Wan, Yan Zhang, Zhanhao Xiao, 2014, AAAI.

Loop-separable programs and their first-order definability

Yi Zhou, Fangzhen Lin, Yin Chen, 2011, Artif. Intell..

Segmentation of Myocardial Boundaries in Tagged Cardiac MRI Using Active Contours: A Gradient-Based Approach Integrating Texture Analysis

Aymeric Histace, Bogdan J. Matuszewski, Yan Zhang, 2009, Int. J. Biomed. Imaging.

Updating Logic Programs

Norman Y. Foo, Yan Zhang, N. Foo, 1998, ECAI.

Statistical Shape Model of Legendre Moments with Active Contour Evolution for Shape Detection and Segmentation

Aymeric Histace, Frédéric Precioso, Bogdan J. Matuszewski, 2011, CAIP.

A Secure Communication Scheme for Multiagent Systems

Vijay Varadharajan, Yan Zhang, Hongxue Wang, 1998, PRIMA.

On the Computational Aspect of Rule Based Database Updates

Yan Zhang, Yun Bai, 2001, IEA/AIE.

Automizing home environments and supervising patients at home with the hydra middleware: application scenarios using the hydra middleware for embedded systems

Yan Zhang, Andreas Zimmermann, Marc Jentsch, 2009, CASTA '09.

Dynamics Modeling and Evaluation of Deterministic Dynamics in Advanced Avionics Networks

Yan Zhang, Qi-ming Yang, Qi-feng Ren, 2016 .

Tracking and Constraining Authorization Provenance

Khaled M. Khan, Yan Zhang, Yun Bai, 2012, IEA/AIE.

Constraint-enhanced role engineering via answer set programming

Khaled M. Khan, Yan Zhang, Yun Bai, 2012, ASIACCS '12.

Handling defeasibilities in action domains

Yan Zhang, 2003, Theory Pract. Log. Program..

Disjunctive Logic Programs versus Normal Logic Programs pdf

Yan Zhang, Heng Zhang, 2013, ArXiv.

REQUIREMENTS OF COMPUTER-BASED MODELLING AND MANAGEMENT FOR PRODUCT KNOWLEDGE EVOLUTION SUPPORT

Alex H. B. Duffy, Yan Zhang, Ken MacCallum, 1997 .

Inductive Properties of States

Norman Y. Foo, Yan Zhang, Pavlos Peppas, 1997, Australian Joint Conference on Artificial Intelligence.

Role updating in information systems using model checking

Ruixuan Li, Khaled M. Khan, Yan Zhang, 2016, Knowledge and Information Systems.

A New Approach to Reasoning About Accountability in Cryptographic Protocols for E-Commerce

Vijay Varadharajan, Yan Zhang, Hongxue Wang, 2001, E-Commerce Security and Privacy.

A Unified Framework for Representing Logic Program Updates

Norman Y. Foo, Yan Zhang, 2005, AAAI.

Disjunctive Update, Minimal Change, and Default Reasoning

Yan Zhang, Yan Zhang, 1997, ECSQARU-FAPR.

Monotonicity in Rule Based Update

Yan Zhang, Yan Zhang, 1999, ICLP.

Answer Sets for Prioritized Logic Programs

Norman Y. Foo, Yan Zhang, N. Foo, 1997, ILPS.

On the sequence of authorization policy transformations

Vijay Varadharajan, Yan Zhang, Yun Bai, 2005, International Journal of Information Security.

Specifying Causality in Action Theories: A Default Logic Approach

Yan Zhang, 1999, Theor. Comput. Sci..

A persistence-based formalization of actions

Yan Zhang, 1993 .

Representing Defeasible Constraints and Observations in Action Theories

Yan Zhang, 1998, Australian Joint Conference on Artificial Intelligence.

Logic program-based updates

Yan Zhang, Yan Zhang, 2006, TOCL.

Minimal Change and Maximal Coherence for Epistemic Logic Program Updates

Yan Zhang, 2003, IJCAI.

Bounded Forgetting

Yi Zhou, Yan Zhang, 2011, AAAI.

A New Decidable Class of Tuple Generating Dependencies: The Triangularly-Guarded Class pdf

Yan Zhang, Vernon Asuncion, 2018, ArXiv.

Compiling Causality into Action Theories

Yan Zhang, 1996 .

Action Localness, Genericity and Invariants in STRIPS

Norman Y. Foo, Yan Zhang, Maurice Pagnucco, 1997, IJCAI.

Disjunctive logic programs with existential quantification in rule heads

Jia-Huai You, Yan Zhang, Heng Zhang, 2013, Theory and Practice of Logic Programming.

Statistical Model of Shape Moments with Active Contour Evolution for Shape Detection and Segmentation

Aymeric Histace, Frédéric Precioso, Bogdan J. Matuszewski, 2013, Journal of Mathematical Imaging and Vision.

The Characterization on the Uniqueness of Answer Set for Prioritized Logic Programs

Yan Zhang, Yun Bai, Yan Zhang, 2003, ISMIS.

Multiphase active contour segmentation constrained by evolving medial axes

Bogdan J. Matuszewski, Yan Zhang, B. Matuszewski, 2009, 2009 16th IEEE International Conference on Image Processing (ICIP).

An Enhanced Control Strategy for Multiparalleled Grid-Connected Single-Phase Converters With Load Harmonic Current Compensation Capability

Yan Zhang, Wanjun Lei, Yue Wang, 2018, IEEE Transactions on Industrial Electronics.

Preferred First-Order Answer Set Programs

Yi Zhou, Yan Zhang, Vernon Asuncion, 2014, TOCL.

A logic for modeling the dynamics of beliefs in cryptographic protocols

Vijay Varadharajan, Yan Zhang, 2001, Proceedings 24th Australian Computer Science Conference. ACSC 2001.

The Complexity of Logic Program Updates

Yan Zhang, Yan Zhang, 2001, Australian Joint Conference on Artificial Intelligence.

Applying the persistent set approach in temporal reasoning

Norman Y. Foo, Yan Zhang, N. Foo, 1995, Annals of Mathematics and Artificial Intelligence.

Delegatable Authorization Program and Its Application

Vijay Varadharajan, Yan Zhang, Chun Ruan, 2003, Security and Management.

Two results for prioritized logic programming

Yan Zhang, Yan Zhang, 2002, Theory and Practice of Logic Programming.

Ordered completion for first-order logic programs on finite structures

Yi Zhou, Fangzhen Lin, Yan Zhang, 2010, Artif. Intell..

Logic-Based Reasoning on Delegatable Authorizations

Vijay Varadharajan, Yan Zhang, Chun Ruan, 2002, ISMIS.

Expressiveness of Logic Programs under the General Stable Model Semantics

Yan Zhang, Heng Zhang, 2017, ACM Trans. Comput. Log..

Translating First-Order Theories into Logic Programs

Yi Zhou, Yan Zhang, Mingsheng Ying, 2011, IJCAI.

First-Order Expressibility and Boundedness of Disjunctive Logic Programs

Yan Zhang, Heng Zhang, 2013, IJCAI.

Progression Semantics for Disjunctive Logic Programs

Yi Zhou, Yan Zhang, 2011, AAAI.

Application of flow and transport optimization codes to groundwater pump and treat system optimization

Yan Zhang, Barbara S. Minsker, Robert Greenwald, 2003 .

Component Recovery , Protocol Recovery and Validation in Bauhaus

Rainer Koschke, Yan Zhang, .

Image denoising via expected patch log likelihood with Gaussian model identification

Ying Chen, Yan Zhang, Yibin Tang, 2016, 2016 IEEE International Conference on Consumer Electronics-Taiwan (ICCE-TW).