Modeling Variations of First-Order Horn Abduction in Answer Set Programming

Open in new window