An Agent-based Logic Description Language for Dynamic Evolution | IEEE Conference Publication | IEEE Xplore