This paper discussed how to handle the fairness conditions in partial Kripke structures. The partial Krip-ke structures were used for partial state spaces model
Coordinating all the activities among all the parties involved in supply chain can be a daunting task. This paper put forth the viewpoint of applying agent tech
Let MPT (v,λ) denote a maximum packing of triples of order v with index λ and TS (u,λ) denote a triple system of order u with index λ. In this paper, for v
This paper described an approach to make inferences on Chinese information using first order predicate logic, which could be used in the semantic query of Chine