Cheng-Min Wu

  • Citations Per Year
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)
  • 1