On the other hand, in the credulous approach we accept conclusions which are included in at least one extension.
The three opening chapters expertly sift the credible from the credulous.
In a credulous system, a conclusion is considered acceptable if it follows from some acceptable argument.
Alternately, it may stand for credulous humanity or even for the poet himself.
The final example shows that if we do not allow any rebuts as attacks, then we obtain a strictly more credulous semantics.
Interestingly, this calculus is not derived from credulous inference; also, it does not need the given program to be instantiated before reasoning.
Second, we provide methods of computing both credulous and skeptical (minimal) explanations through update programs.
Throughout the paper, a skeptical/credulous (anti-)explanation is simply called an (anti-)explanation when such a distinction is not important.