Yan Zhang

Proceedings of the AI 2005: Advances in Artificial Intelligence, 2005

Model Updating CTL Systems.

[BibT_eX]

[DOI]

Yulin Ding

Proceedings of the AI 2005: Advances in Artificial Intelligence, 2005

A Formalization of Distributed Authorization with Delegation.

[BibT_eX]

[DOI]

Shujing Wang

Proceedings of the Information Security and Privacy, 10th Australasian Conference, 2005

A Unified Framework for Representing Logic Program Updates.

[BibT_eX]

[DOI]

Proceedings of the Proceedings, 2005

2004

Artificial Intelligence In Database Security.

[BibT_eX]

[DOI]

Int. J. Pattern Recognit. Artif. Intell., 2004

Reasoning about Knowledge by Variable Forgetting.

[BibT_eX]

[DOI]

Kaile Su

Guanfeng Lv

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Ninth International Conference (KR2004), 2004

A Multi-Agent System for Mobile Environments.

[BibT_eX]

[DOI]

Jianwen Chen

Proceedings of the Intelligent Information Processing II, 2004

Dual space drawing methods for cones.

[BibT_eX]

[DOI]

Rena Ding

Proceedings of the 2nd International Conference on Computer Graphics and Interactive Techniques in Australasia and Southeast Asia 2004, 2004

An extended logic programming based multi-agent system formalization in mobile environments.

[BibT_eX]

[DOI]

Jianwen Chen

Proceedings of the 2004 ACM CIKM International Conference on Information and Knowledge Management, 2004

Constraints from STRIPS - Preliminary Report.

[BibT_eX]

[DOI]

Pavlos Peppas

Proceedings of the AI 2004: Advances in Artificial Intelligence, 2004

A Logic Based Approach for Dynamic Access Control.

[BibT_eX]

[DOI]

Vino Fernando Crescini

Proceedings of the AI 2004: Advances in Artificial Intelligence, 2004

2003

Handling defeasibilities in action domains.

[BibT_eX]

[DOI]

Theory Pract. Log. Program., 2003

Two results for prioritized logic programming.

[BibT_eX]

[DOI]

Theory Pract. Log. Program., 2003

A Logic Model for Temporal Authorization Delegation with Negation.

[BibT_eX]

[DOI]

Proceedings of the Information Security, 6th International Conference, 2003

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

[BibT_eX]

[DOI]

Proceedings of the Foundations of Intelligent Systems, 14th International Symposium, 2003

Minimal Change and Maximal Coherence for Epistemic Logic Program Updates.

[BibT_eX]

[DOI]

Proceedings of the IJCAI-03, 2003

Evaluation of Authorization with Delegation and Negation.

[BibT_eX]

Proceedings of the Intelligent Information Processing and Web Mining, 2003

Delegatable Authorization Program and Its Application.

[BibT_eX]

Proceedings of the International Conference on Security and Management, 2003

2002

Two results for proiritized logic programming

[BibT_eX]

[DOI]

CoRR, 2002

Representing Actions over Dynamic Domains.

[BibT_eX]

[DOI]

Proceedings of the PRICAI 2002: Trends in Artificial Intelligence, 2002

Logic-Based Reasoning on Delegatable Authorizations.

[BibT_eX]

[DOI]

Proceedings of the Foundations of Intelligent Systems, 13th International Symposium, 2002

2001

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

[BibT_eX]

[DOI]

Hongxue Wang

Proceedings of the E-Commerce Security and Privacy, 2001

Implementing prioritized logic programming.

[BibT_eX]

[DOI]

Cheng-Min Wu

AI Commun., 2001

Apparent Nondeterminism in Actions.

[BibT_eX]

Rex Bing Hung Kwok

J. Res. Pract. Inf. Technol., 2001

Encoding Solutions of the Frame Problem in Dynamic Logic.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2001

On the Computational Aspect of Rule Based Database Updates.

[BibT_eX]

[DOI]

Proceedings of the Engineering of Intelligent Systems, 2001

The Complexity of Logic Program Updates.

[BibT_eX]

[DOI]

Proceedings of the AI 2001: Advances in Artificial Intelligence, 2001

A Logic for Modeling the Dynamics of Beliefs in Cryptographic Protocols.

[BibT_eX]

[DOI]

Proceedings of the 24th Australasian Computer Science Conference (ACSC 2001), 29 January, 2001

2000

Updates with Disjunctive Information: From Syntactical and Semantical Perspectives.

[BibT_eX]

[DOI]

Comput. Intell., 2000

Rule Based Abduction.

[BibT_eX]

[DOI]

Sai Kiran Lakkaraju

Proceedings of the Foundations of Intelligent Systems, 12th International Symposium, 2000

Towards a Generic Logic for Analysing Network Protocols.

[BibT_eX]

Hongxue Wang

Proceedings of the 2000 ICDCS Workshops, April 10, 2000, Taipei, Taiwan, ROC, 2000

1999

Specifying Causality in Action Theories: A Default Logic Approach.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 1999

On logical semantics of hybrid symbolic-neural networks for commonsense reasoning.

[BibT_eX]

[DOI]

Proceedings of the International Joint Conference Neural Networks, 1999

Monotonicity in Rule Based Update.

[BibT_eX]

Proceedings of the Logic Programming: The 1999 International Conference, Las Cruces, New Mexico, USA, November 29, 1999

1998

A Secure Communication Scheme for Multiagent Systems.

[BibT_eX]

[DOI]

Hongxue Wang

Proceedings of the Multiagent Platforms, 1998

Updating Logic Programs.

[BibT_eX]

Proceedings of the 13th European Conference on Artificial Intelligence, 1998

Representing Defeasible Constraints and Observations in Action Theories.

[BibT_eX]

[DOI]

Proceedings of the Advanced Topics in Artificial Intelligence, 1998

1997

Deriving Invariants and Constraints from Action Theories.

[BibT_eX]

[DOI]

Fundam. Informaticae, 1997

Answer Sets for Prioritized Logic Programs.

[BibT_eX]

Proceedings of the Logic Programming, 1997

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

[BibT_eX]

[DOI]

Proceedings of the Foundations of Intelligent Systems, 10th International Symposium, 1997

Towards Generalized Rule-based Updates.

[BibT_eX]

[DOI]

Proceedings of the Fifteenth International Joint Conference on Artificial Intelligence, 1997

Action Localness, Genericity and Invariants in STRIPS.

[BibT_eX]

Proceedings of the Fifteenth International Joint Conference on Artificial Intelligence, 1997

Disjunctive Update, Minimal Change, and Default Reasoning.

[BibT_eX]

[DOI]

Proceedings of the Qualitative and Quantitative Practical Reasoning, 1997

Inductive Properties of States.

[BibT_eX]

[DOI]

Pavlos Peppas

Proceedings of the Advanced Topics in Artificial Intelligence, 1997

1996

Semantical Considerations for Knowledge Base Updates.

[BibT_eX]

[DOI]

Proceedings of the Foundations of Intelligent Systems, 9th International Symposium, 1996

Updating Knowledge Bases with Disjunctive Information.

[BibT_eX]

[DOI]

Proceedings of the Thirteenth National Conference on Artificial Intelligence and Eighth Innovative Applications of Artificial Intelligence Conference, 1996

1995

Applying the persistent set approach in temporal reasoning.

[BibT_eX]

[DOI]

Ann. Math. Artif. Intell., 1995

1993

Reasoning About Persistence: A Theory of Actions.

[BibT_eX]

[DOI]