Characterizations of semi-stable and stage extensions in terms of 2-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.
from cs.AI updates on arXiv.org http://ift.tt/1oUlYWl
via IFTTT
No comments:
Post a Comment