N. Kamide and K. Kaneiwa, “Resource-Sensitive Reasoning with Sequential Information,” Proceedings of the 23rd Australasian Joint Conference on Artificial Intelligence (AI’10), Lecture Notes in Artificial Intelligence 6464, Adelaide, 7-10 December 2010, pp. 22-31.

has been cited by the following article:

• TITLE: Reasoning about Context Information in Cloud Computing Environments

  AUTHORS: Norihiro Kamide, Yishui Zhu

  KEYWORDS: Context Information; Context-Mixture Rule; Sequent Calculus; Resource-Sensitive Reasoning; Context-Aware Reasoning

  JOURNAL NAME: Journal of Software Engineering and Applications, Vol.5 No.11A, November 30, 2012

  ABSTRACT: The notion of context provides flexibility and adaptation to cloud computing services. Location, time identity and activity of users are examples of primary context types. The motivation of this paper is to formalize reasoning about context information in cloud computing environments. To formalize such context-aware reasoning, the logic LCM of context-mixture is introduced based on a Gentzen-type sequent calculus for an extended resource-sensitive logic. LCM has a specific inference rule called the context-mixture rule, which can naturally represent a mechanism for merging formulas with context information. Moreover, LCM has a specific modal operator called the sequence modal operator, which can suitably represent context information. The cut-elimination and embedding theorems for LCM are proved, and a fragment of LCM is shown to be decidable. These theoretical results are intended to provide a logical justification of context-aware cloud computing service models such as a flowable service model.