Package org.tweetyproject.logics.rdl.reasoner


package org.tweetyproject.logics.rdl.reasoner
  • Classes
    Class
    Description
    Implements a naive reasoner for default logic based on exhaustive application of defaults in process trees.