A-System: Problem Solving through Abduction.

Antonis C. Kakas, Bert Van Nuffelen, Marc Denecker

Browse the full IJCAI paper archive.