Segui
Sri Harikrishnan
Sri Harikrishnan
Vienna University of Business and Economics
Email verificata su wu.ac.at - Home page
Titolo
Citata da
Citata da
Anno
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
Il sistema al momento non può eseguire l'operazione. Riprova più tardi.
Articoli 1–4