The Mona tool provides an implementation of the decision procedures for the logics WS1S and WS2S. It has been used for numerous applications, and it is remarkably efficient in prac...
Supplier Relationship Management (SRM) is an application that gives support to a company in the task of deciding which supplier to choose when a new supply has to be ordered. It i...