Prakken and Sartor

Assumption-type defeat and step-type defeat

No accrual of reasons

Previous slide

Next slide

Back to first slide

View graphic version