[Attempto] (How?) Can attempto describe these concepts?

Norbert E. Fuchs fuchs at ifi.uzh.ch
Mon Mar 26 23:38:55 CEST 2012


On 26 Mar 2012, at 22:24 , Joshua TAYLOR wrote:

> As an aside, I was very pleased when ACE introduced
> obligation/requirement.  I'm glad to see someone else using it, too.

Joshua

To describe clinical practice guidelines we added to "can" and "must" – introduced for other purposes – also "may" and "should" that, however, cannot be mapped to FOL.

   --- nef



More information about the attempto mailing list