01203nas a2200121 4500008004100000245007000041210006800111260002200179300001200201520080300213100003201016856003301048 1992 eng d00aAbduction in Annotated Logic Programming, In: Proceedings of IEEE0 aAbduction in Annotated Logic Programming In Proceedings of IEEE aChicago, IL, USA a682-6873 aThe author investigates techniques to make the logic programming paradigm more expressive for knowledge representation, while simultaneously retaining the computational advantages of efficiency and simplicity. He extends the annotated language of K. Thirunarayan and K. Kifer (1989) in various directions to obtain an enriched representation language. In particular, rule bodies are permitted to be a conjunction of literals, and the rules to be recursive. A class of annotated logic programs called the stratified programs is identified which can be given a unique supported minimal Herbrand model as their meaning. Abductive reasoning is integrated into this annotated logic framework. The notion of an explanation is formalized, and when an explanation can be regarded as acceptable is specified1 aThirunarayan, Krishnaprasad uhttp://knoesis.org/node/1187