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

David FUENMAYOR PELAEZ

David FUENMAYOR PELAEZ

Research and Development Specialist

Department Department of Computer Science
Postal Address Université du Luxembourg
Maison du Nombre
6, Avenue de la Fonte
L-4364 Esch-sur-Alzette
Campus Office MNO, E03 0345-090
Email
Telephone (+352) 46 66 44 5055
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