DisLog - Well-Founded Semantics

This graphical user interface allows to apply a DisLog operator to a disjunctive logic program. You can choose an Operator, fill out the Program field, and then click on the Submit Query button.

Operators

      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.      

Program

      Help