- On the Progression Semantics and Boundedness of Answer Set Programs Yan Zhang and Yi Zhou
- Implementing Prioritized Logic Programming
- Computational Intelligence, Volume 16, Number 1, 2000 UPDATES WITH DISJUNCTIVE INFORMATION: FROM
- Solving Logic Program Conflict through Strong and Weak Forgettings School of Computing & IT
- Ordered Completion for First-Order Logic Programs on Finite Structures Vernon Asuncion
- Forgetting Revisited Yan Zhang and Yi Zhou
- Knowledge Forgetting: Properties and Applications Yan Zhang and Yi Zhou
- A Unified Framework for Representing Logic Program Updates School of Computing & Information Technology
- Under consideration for publication in Theory and Practice of Logic Programming 1 Two Results for Prioritized Logic Programming
- A Formal Language for XML Authorisations Based on Answer Set Programming and
- A Logic for Authorization Provenance Zhengding Lu
- Persistence, Invariants, and Constraints Yan Zhang and Norman Y. Foo
- Reasoning about Knowledge by Variable Forgetting Kaile Su and Guanfeng Lv
- Reasoning about Persistence: A Theory of Actions Yan Zhang and Norman Y. Foo
- Towards Generalized Rulebased Updates Department of Computing
- Specifying causality in action theories: A default logic approach ?
- Progression Semantics for Disjunctive Logic Programs Intelligent Systems Laboratory
- Computational Properties of Epistemic Logic Programs Intelligent Systems Laboratory
- Answer Sets for Prioritized Logic Department of Computing
- Bounded Forgetting Intelligent Systems Laboratory
- Translating First-Order Theories into Logic Programs , Yan Zhang
- A Logical Study of Partial Entailment Yi Zhou yzhou@scm.uws.edu.au
- dl2asp: Implementing Default Logic via Answer Set Programming
- First-order Indefinability of Answer Set Programs on Finite Structures Department of Computer Science
- Role Updating for Assignments , Yan Zhang
- Translating Preferred Answer Set Programs to Propositional Logic
- Variable Forgetting in Reasoning about Knowledge Kaile Su sukl@pku.edu.cn
- Meta Level Reasoning and Default Reasoning Yi Zhou, Yan Zhang
- Rule Calculus: Semantics, Axioms and Applications Yi Zhou, Yan Zhang
- Journal of Artificial Intelligence Research 31 (2008) 113-155 Submitted 08/07; published 01/08 CTL Model Update for System Modifications
- Partial Goal Satisfaction and Goal Change Weak and Strong Partial Implication, Logical Properties, Complexity
- International Journal of Information Security manuscript No. (will be inserted by the editor)
- A Computational Model of Logic-Based Negotiation Dongmo Zhang and Yan Zhang
- CTL Model Update: Semantics, Computations and Implementation
- Solving logic program conflict through strong and weak forgettings
- International Journal of Information Security manuscript No. (will be inserted by the editor)
- Logic Program Based Updates University of Western Sydney
- A Rule Based Knowledge Transaction Model for Mobile Environments Jianwen Chen1,2
- A Formalization of Distributed Authorization with Trust management is a promising approach for the authorization in distributed environ-
- Action Invariants and System Constraints in STRIPS Computer Science and Engineering
- Under consideration for publication in Theory and Practice of Logic Programming 1 Handling Defeasibilities in Action Domains
- On Propositional Knowledge Base Updates Department of Mathematics, Statistics and Computer Science
- Baltzer Journals Applying the Persistent Set Approach in
- A Logic Based Approach for Dynamic Access Control Vino Fernando Crescini and Yan Zhang
- Minimal Change and Maximal Coherence for Epistemic Logic Program Updates School of Computing & IT
- International Journal of Information Security manuscript No. (will be inserted by the editor)
- A Case Study for CTL Model Update Yulin Ding and Yan Zhang
- Epistemic Reasoning in Logic Programs Intelligent Systems Laboratory
- Towards Automatic Update of Access Control Policy , Yan Zhang
- Managing Authorization Provenance: A Modal Logic based Approach Jinwei Hu, Yan Zhang, Ruixuan Li and Zhengding Lu
- General Default Logic , FangZhen Lin2
- Updating Logic Programs Yan Zhang 1 and Norman N. Foo 2
- Knowledge updates: Semantics and complexity issues
- Loop-separable Programs and Their First-order Definability
- Fundamenta Informaticae 30 (1997) 23--41 1 Deriving Invariants and Constraints from Action
- A Formal Language for Specifying Complex XML Authorisations with Temporal Constraints
- Noname manuscript No. (will be inserted by the editor)
