Package org.tweetyproject.logics.rdl.syntax


package org.tweetyproject.logics.rdl.syntax
  • Class Summary
    Class
    Description
    Models a default rule in Reiter's default logic, see [R.
    Models a default theory in Reiter's default logic, see [R.