McGuinness Oct 17, 2002
7
Plans/People cont.
nTeknowledge - Contact – Adam Pease
lProof pruning, coordination
nUWF/IMHC -
Contact - Pat Hayes
lDesigning proofs for good explanation
nNortheastern University - Contact - Mitch Kokar
lOntology for inconsistencies in DAML
nget pointer from pat on lcf….
nMcGuinness will maintain list – send mail to