We present a formal model of argumentation based on situation calculus which captures both the logical and the procedural aspects of argumentation processes. The logic is used to determine what is ...

The purpose of this paper is the formal verification of temporal properties of system-level descriptions that include both a control part, which corresponds to a finite set of symbolic states, and a ...