PPT Slide

Modeling Action Reduction

t1: Getin(B,Phx)

t2: BuyTickt(B)

t3: Getout(B,Msn)

In(B)

Hv-Tkt

Hv-Money

At(D)

Get(Money)

Buy(WiscCheese)

Previous slide

Next slide

Back to first slide

View graphic version