Synthesis and Analysis in Artificial Intelligence: The Role of Theory in Agent Implementation | IEEE Conference Publication | IEEE Xplore