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.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have