Publications



M.W.A. Caminada and S. Harikrishnan and S. Sá. Comparing Logic Programming and Formal Argumentation; the case of Ideal and Eager Semantics. Argument & Computation 13(1):91-120 (2022) 


M.W.A. Caminada and S. Harikrishnan Strong Admissibility, a Tractable Algorithmic Approach. SAFA 2022, pages 33-44. 


M.W.A. Caminada and S. Harikrishnan. Strong Admissibility, a Tractable Algorithmic Approach (proofs). Cardiff University (2022).