Some logic and related formalisms, programming paradigms, and development environments for the (new) AI | IEEE Conference Publication | IEEE Xplore