Automatically Synthesising Domain Constraints from Operator Descriptions.

Gerry Kelleher, Anthony G. Cohn

Browse the full ECAI paper archive.