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

      minimal models          
      disjunctive minimal model state MS
      extended generalized closed world assumption EGCWA
      general minimal model state  

Transitive Closure with Disjunctive Arcs

      Help