Package org.tweetyproject.action.description.reasoner

package org.tweetyproject.action.description.reasoner

Class Summary

Class	Description
CTransitionSystemCalculator	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].