AI-ESTATE: a declarative based logic calculator | IEEE Conference Publication | IEEE Xplore