A Nonmonotonic Logical Approach for Modelling and Revising Metabolic Networks | IEEE Conference Publication | IEEE Xplore