Strong Admissibility, a Tractable Algorithmic Approach (proofs)

Martin Caminada, Sri Harikrishnan

Much like admissibility is the key concept underlying preferred semantics, strong admissibility is the key concept underlying grounded semantics, as membership of a strongly admiss…