An incremental curative learning approach for planning with incorrect domain theories