Reasoning Tools Supporting DAML+OIL
different groups are using a variety of reasoning tools with DAML+OIL
JESS
XSB
cwm
JTP
TRIPLE
...
we'll cover each of these in some detail
Mike Dean
102 of 130