Abstract

This survey paper is concerned with a unifying approach to non-monotonic reasoning in clause logic programming. An outline of a general theory of non-monotonic reasoning is given that synthesizes several semantical and syntactical approaches that are aimed at a foundation of this area. Some typical results are presented within this framework and problems related to logic programming are discussed.

Full Text
Published version (Free)

Talk to us

Join us for a 30 min session where you can share your feedback and ask us any queries you have

Schedule a call