Learn More
TFL, the Task Formal Language, has been developed for integrating the static and dynamic aspects of Knowledge Based Systems. This paper focuses on the formal speciication of dynamic behaviour. Although fundamental in Knowledge Based System, the strategic reasoning was rather neglected until now b y the existing formal speciications. Most languages were(More)
  • 1