Automatic construction of domain theory for attack planning | IEEE Conference Publication | IEEE Xplore