ALPS: a logic for program synthesis (motivated by fuzzy logic) | IEEE Conference Publication | IEEE Xplore