DisLog - Possible 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

      possible models
      disjunctive possible model state
      negative possible model state
      general possible model state

Program

      Help