well-founded semantics (WFS) of Ross et al. disjunctive WFS of Baral disjunctive WFS of Minker et al. disjunctive WFS of DisLog generalized disjunctive WFS of Minker et al.
Help