Följ
Sri Harikrishnan
Sri Harikrishnan
Vienna University of Business and Economics
Verifierad e-postadress på wu.ac.at - Startsida
Titel
Citeras av
Citeras av
År
Comparing logic programming and formal argumentation; the case of ideal and eager semantics
M Caminada, S Harikrishnan, S Sá
Argument & Computation 13 (1), 93-120, 2022
32022
Strong Admissibility, a Tractable Algorithmic Approach (proofs)
M Caminada, S Harikrishnan
arXiv preprint arXiv:2204.03551, 2022
12022
Tractable algorithms for strong admissibility
M Caminada, S Harikrishnan
Argument & Computation, 1-31, 2024
2024
Strong admissibility, a tractable algorithmic approach
M Caminada, M Harikrishnan
CEUR, 2022
2022
Systemet kan inte utföra åtgärden just nu. Försök igen senare.
Artiklar 1–4