References of "Fuenmayor Pelaez, David 50043731"
     in
Bookmark and Share    
Full Text
See detailA Formalisation of Abstract Argumentation in Higher-Order Logic
Steen, Alexander UL; Fuenmayor Pelaez, David UL

E-print/Working paper (2021)

We present an approach for representing abstract argumentation frameworks based on an encoding into classical higher-order logic. This provides a uniform framework for computer-assisted assessment of ... [more ▼]

We present an approach for representing abstract argumentation frameworks based on an encoding into classical higher-order logic. This provides a uniform framework for computer-assisted assessment of abstract argumentation frameworks using interactive and automated reasoning tools. This enables the formal analysis and verification of meta-theoretical properties as well as the flexible generation of extensions and labellings with respect to well-known argumentation semantics. [less ▲]

Detailed reference viewed: 120 (4 UL)
Full Text
Peer Reviewed
See detailLogics of Formal Inconsistency enriched with replacement: an algebraic and modal account
Carnielli, Walter; Coniglio, Marcelo; Fuenmayor Pelaez, David UL

in Review of Symbolic Logic (2021), online first

Detailed reference viewed: 52 (1 UL)
Full Text
Peer Reviewed
See detailValue-oriented Legal Argumentation in Isabelle/HOL
Benzmüller, Christoph; Fuenmayor Pelaez, David UL

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

Detailed reference viewed: 59 (1 UL)
Full Text
Peer Reviewed
See detailA Flexible Approach to Argumentation Framework Analysis using Theorem Proving
Fuenmayor Pelaez, David UL; Steen, Alexander UL

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

Argumentation frameworks constitute the central concept of argumentation theory of Dung. In this paper we present a novel and flexible approach of analyzing argumen- tation frameworks and their semantics ... [more ▼]

Argumentation frameworks constitute the central concept of argumentation theory of Dung. In this paper we present a novel and flexible approach of analyzing argumen- tation frameworks and their semantics based on an encoding into extensional type theory (classical higher-order logic). This representation enables the use of a wide range of interactive and automated higher-order reasoning tools for assessing argu- mentation frameworks. This includes the generation of labellings (and extensions), the assessment of meta-theoretic properties, the conduction of interactive empirical experiments, and the flexible analysis of argumentation frameworks with interpreted arguments. [less ▲]

Detailed reference viewed: 100 (1 UL)