About modus ponens and aggregation of rules | IEEE Conference Publication | IEEE Xplore