We present a software system for evaluating ‘dynamic’ protocol specifications for open multi-agent systems, that is, specifications that are developed at design-time but may...
In this paper, we describe the rationale behind and architecture of a conversational agent capable of speech enabling multiple applications Categories and Subject Descriptors H5.2...
Graph processes are used in order to formalize the relation between global requirement specifications of multi-agent systems by means of message sequence charts, and implementatio...
ABL is a reactive planning language, based on the Oz Project language Hap, designed specifically for authoring believable agents - characters which express rich personality, and w...
Overweight and obesity are a global epidemic, with over one billion overweight adults worldwide (300+ million of whom are obese). Obesity is linked to several serious health probl...
Sunny Consolvo, Katherine Everitt, Ian E. Smith, J...