n Teknowledge - Contact – Adam Pease l Proof pruning, coordination n UWF/IMHC   - Contact - Pat Hayes l Designing proofs for good explanation n Northeastern University - Contact - Mitch Kokar l Ontology for inconsistencies in DAML n get pointer from pat on lcf…. n McGuinness will maintain list – send mail to [email protected] to update.