Startseite // Forschung // FSTM // DCS // Mitglieder // David FUENMAYOR PELAEZ

David FUENMAYOR PELAEZ

David FUENMAYOR PELAEZ

Research and Development Specialist

Department Fachbereich Informatik
Postadresse Université du Luxembourg
Maison du Nombre
6, Avenue de la Fonte
L-4364 Esch-sur-Alzette
Büroadresse MNO, E03 0345-090
E-Mail
Telefon (+352) 46 66 44 5055
Fax (+352) 46 66 44 35055
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