This paper presents the relationship between disjunctive logic programs and default theories. We first show that Bidoit and Froidevaux's positivist default theory causes a problem in the presence of ...

This paper presents mathematical results that can sometimes be used to simplify the task of reasoning about a default theory, by "splitting it into parts." These so-called Splitting Theorems for ...

Programming paradigms are ways of organizing and expressing the logic and structure of computer programs. They reflect different perspectives, assumptions, and goals of the programmers and the ...