Peirce: a tool for experimenting with abduction | IEEE Journals & Magazine | IEEE Xplore