Package org.tweetyproject.action.description.reasoner


package org.tweetyproject.action.description.reasoner
  • Class Summary
    Class
    Description
    This class calculates the transition system as it is described by an action description in the action language C using extended logic programming with an approach from [1].