id	author	title	date	pages	extension	mime	words	sentence	flesch	summary	cache	txt
bracis-19040	Silva, Rafael; Alcântara, João	ASPIC? and the Postulates of Non-interference and Crash-Resistance	2021		.htm	text/html	9791	533	61	$$ Given a \( SAF SA \) defined by an argumentation theory \( AT \) and an \( AF _2\, AF \) corresponding to \( SA \), we will refer to \( AF \) as the resulting \( AF _2\) from \( AT \). For a compatible set S in \( AF \), we say 1) S is an admissible set of \( AF \) iff \(S \subseteq F_ AF (S)\); 2) S is a complete extension of \( AF \) iff \(f_ AF (S) = S\); 3) S is a preferred extension of \( AF \) iff it is a set inclusion maximal complete extension of \( AF \); 4) S is the grounded extension iff it is the set inclusion minimal complete extension of \( AF \); 5) S is a stable extension iff S is complete extension of \( AF \) and \(\forall Y \not \in S\), \(\exists X \in S\) s.t. \((X, Y )	cache/bracis-19040.htm	txt/bracis-19040.txt