Abstract
The aim of the paper is to analyse non-monotonic reasoning for universal theories and logic programs within the framework of inference operations based on model operators. Several results and approaches in logic programming are surveyed and classified within this framework. The ideas presented here are aimed at a unified approach to a theory of non-monotonic reasoning for logic programs.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have