DisLog - Stable Model 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

      stable models
      disjunctive stable model state
      negative stable model state
      general stable model state

Program

      Help