Representing structurally adaptive systems with state variables and logic programs | IEEE Conference Publication | IEEE Xplore