Home // Research // FSTM // Interdiscipl... // Members // David FUENMAYOR PELAEZ

David FUENMAYOR PELAEZ

David FUENMAYOR PELAEZ
Postal Address Université du Luxembourg
2, Avenue de l'Université
L-4365 Esch-sur-Alzette
powered by
orbilu.uni.lu

2021

Full Text
See detailValue-oriented Legal Argumentation in Isabelle/HOL
Benzmüller, Christoph; Fuenmayor Pelaez, David

in International Conference on Interactive Theorem Proving (ITP-2021) - Proceedings (2021)

Full Text
See detailLogics of Formal Inconsistency enriched with replacement: an algebraic and modal account
Carnielli, Walter; Coniglio, Marcelo; Fuenmayor Pelaez, David

in Review of Symbolic Logic (2021), online first

Full Text
See detailA Flexible Approach to Argumentation Framework Analysis using Theorem Proving
Fuenmayor Pelaez, David; Steen, Alexander

in First International Workshop on Logics for New-Generation Artificial Intelligence (2021)

Full Text
See detailA Formalisation of Abstract Argumentation in Higher-Order Logic
Steen, Alexander; Fuenmayor Pelaez, David

E-print/Working paper (2021)

Top of Page