[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