Seguir
Sri Harikrishnan
Sri Harikrishnan
Vienna University of Business and Economics
Dirección de correo verificada de wu.ac.at - Página principal
Título
Citado por
Citado por
Año
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
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–4