Stem abduc$ (all stems)
2 papers:
- KR-2002-HazarikaC
- Abducing Qualitative Spatio-Temporal Histories from Partial Observations (SMH, AGC), pp. 14–25.
- JICSLP-1996-WetzelKT #constraints #logic #named #programming
- PROCALOG — Programming with Constraints and Abducibles in Logic (Poster Abstract) (GW, RAK, FT), p. 535.