Labels

Labels are associated to nodes in the ATMS. They specify the set of consistent environments E, such that:

So the label of a node describes the sets of assumptions from which the node depends.

The label is computed by the ATMS on the basis of the justifications providede by the PS.

E,J n

Diapositiva precedente

Diapositiva successiva

Torna alla prima diapositiva

Visualizza versione grafica