An Abductive Framework for General Logic Programs and other Nonmonotonic Systems

Gerhard Brewka, Kurt Konolige. An Abductive Framework for General Logic Programs and other Nonmonotonic Systems. In IJCAI. pages 9-17, 1993.

Abstract

Abstract is missing.