Abstract
AbstractCharacterizations of semi-stable and stage extensions in terms of two-valued logical models are presented. To this end, the so-called GL-supported and GL-stage models are defined. These two classes of logical models are logic programming counterparts of the notion of range which is an established concept in argumentation semantics.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have