Cheng-Min Wu

Learn More
Connict resolution is an important issue in knowledge representation and reasoning. A common idea of solving connicts in reasoning is to introduce priorities in the underlying reasoning mechanism. This paper describes an implementation of prioritized logic programs (PLPs) proposed by Zhang and Foo recently 4]. PLPs is a non-trivial extension of Gelfond and(More)
Repeated adhesion frequency assay is the only published method for measuring the kinetic rates of cell adhesion. Cell adhesion plays an important role in many physiological and pathological processes. Traditional analysis of adhesion frequency experiments assumes that the adhesion test cycles are independent Bernoulli trials. This assumption can often be(More)
  • 1