is on how objects may be transformed (rewritten) into others.

Extensions

In model checking, a transition system is sometimes defined to include an additional labeling function for the states as well, resulting in a notion that encompasses that of Kripke structure.

Action languages are extensions of transition systems, adding a set of fluents F, a set of values V, and a function that maps F ×

1.Previous
3.Next