Abstract
This paper concentrates on the complexity of the decision problem deciding whether a literal belongs to at least one extension of a default theory 〈D,W〉 in which D is a set of Horn defaults and W is a definite Horn formula or a Bi‐Horn formula.
Get full access to this article
View all access options for this article.