Back
  1. Home
  2. Profile of David FUENMAYOR PELAEZ (Unilu)
Profil

FUENMAYOR PELAEZ David

Main Referenced Co-authors
STEEN, Alexander  (2)
Benzmüller, Christoph (1)
Carnielli, Walter (1)
Coniglio, Marcelo (1)
Main Referenced Keywords
abstract argumentation (1); Automated Theorem Proving (1); Higher-Order Logic (1); Isabelle/HOL (1);
Main Referenced Disciplines
Computer science (3)
Mathematics (1)

Publications (total 4)

The most downloaded
115 downloads
Fuenmayor Pelaez, D., & Steen, A. (2021). A Flexible Approach to Argumentation Framework Analysis using Theorem Proving. In First International Workshop on Logics for New-Generation Artificial Intelligence (pp. 18-32). London, United Kingdom: College Publications. https://hdl.handle.net/10993/47770

The most cited

1 citations (WOS)

Carnielli, W., Coniglio, M., & Fuenmayor Pelaez, D. (2021). Logics of Formal Inconsistency enriched with replacement: an algebraic and modal account. Review of Symbolic Logic, online first. doi:10.1017/S1755020321000277 https://hdl.handle.net/10993/49074

Steen, A., & Fuenmayor Pelaez, D. (2021). A Formalisation of Abstract Argumentation in Higher-Order Logic. ORBilu-University of Luxembourg. https://orbilu.uni.lu/handle/10993/48438.

Fuenmayor Pelaez, D., & Steen, A. (2021). A Flexible Approach to Argumentation Framework Analysis using Theorem Proving. In First International Workshop on Logics for New-Generation Artificial Intelligence (pp. 18-32). London, United Kingdom: College Publications.
Peer reviewed

Carnielli, W., Coniglio, M., & Fuenmayor Pelaez, D. (2021). Logics of Formal Inconsistency enriched with replacement: an algebraic and modal account. Review of Symbolic Logic, online first. doi:10.1017/S1755020321000277
Peer reviewed

Benzmüller, C., & Fuenmayor Pelaez, D. (2021). Value-oriented Legal Argumentation in Isabelle/HOL. In International Conference on Interactive Theorem Proving (ITP-2021) - Proceedings. doi:10.4230/LIPIcs.ITP.2021.0
Peer reviewed

Contact ORBilu