David FUENMAYOR PELAEZ
|
|
||||
| Department | Département Informatique | ||||
| Adresse postale |
Université du Luxembourg Maison du Nombre 6, Avenue de la Fonte L-4364 Esch-sur-Alzette |
||||
| Bureau sur le campus | MNO, E03 0345-090 | ||||
|
|||||
| Téléphone | (+352) 46 66 44 5055 | ||||
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)
