A logical argumentation framework is described in Prakken (1993), where two conflicting arguments, represented as formal proofs, can be compared using one or ...
確定! 回上一頁