PPT Slide

Plan-space Refinement: Example 2

At(A,E)@ ?

At(B,M)@ ?

At(A,E)@ ?

?

At(A,E)

?

At(A,E)

?

At(A,E)

¬ In(A)@1

Promotion

Demotion

Confrontation

At(A,E)

Establishment

Arbitration

Previous slide

Next slide

Back to first slide

View graphic version