Conclusions: Patternsof Prophecy—Needs, Ambitions, and Doubts

Verifying the implementation of concurrent objects essentially proves the fine-grained implementation of object methods refines the corresponding abstract atomic operations. To simplify the specifications and proofs, we usually need auxiliary history ...

Uncertainty may be taken to characterize inferences, their conclusions, their premises or all three. Under some treatments of uncertainty, the inference itself is never characterized by uncertainty. We explore both the significance of uncertainty in the ...

In this paper we discuss contrastive explanations for formal argumentation - the question why one argument (the fact) can be accepted, whilst another argument (the foil) cannot be accepted. We show under which conditions contrastive explanations in ...