A defeasible logic programming system for the Web | IEEE Conference Publication | IEEE Xplore