An Abductive Framework for General Logic Programs and other Nonmonotonic Systems.

Gerhard Brewka, Kurt Konolige

Browse the full IJCAI paper archive.