Package net.sf.tweety.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: Representing Transition Systems by Logic Programs.