Formalization and Application of Algebraic Methods in Automated Intelligent Systems | IEEE Conference Publication | IEEE Xplore