David FUENMAYOR PELAEZ
|
|
||||
| Postal Address |
Université du Luxembourg 2, Avenue de l'Université L-4365 Esch-sur-Alzette |
||||
powered by
2021
Value-oriented Legal Argumentation in Isabelle/HOL;
in International Conference on Interactive Theorem Proving (ITP-2021) - Proceedings (2021)
Logics of Formal Inconsistency enriched with replacement: an algebraic and modal account; ;
in Review of Symbolic Logic (2021), online first
A Flexible Approach to Argumentation Framework Analysis using Theorem Proving;
in First International Workshop on Logics for New-Generation Artificial Intelligence (2021)
