Abstract. We apply model checking of knowledge properties to the design of distributed controllers that enforce global constraints on concurrent systems. We calculate when processe...
: Knowledge-Based (KB) Strategies are being recognised as a vital factor of business strategy. Still, a complete taxonomy of KB strategies is absent. This research proposes such a ...
: Knowledge-Based (KB) strategies are being recognised as a vital factor of business strategy. Still, there is limited empirical research in this young academic field. This researc...
Peculiarity rules are a new type of useful knowledge that can be discovered by searching the relevance among peculiar data. A main task in mining such knowledge is peculiarity iden...
Muneaki Ohshima, Ning Zhong, Yiyu Yao, Chunnian Li...
One of the main problems facing the development of ontology-aware authoring systems (OAS) is to link well-designed domain-independent knowledge (ontologies) with domain content. Su...