of thousands) of PubMed abstracts covering literature relevant to the domain of interest. For instance, This method uses the scientific literature to establish functional relations...
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...
We formally verify aspects of the rule-based expert system of IBM's System Automation software for IBM's zSeries mainframes. Starting with a formalization of the expert ...