Listar GI-IRlab-Artigos por autor "Pérez Ramil, Carlos"
Mostrando ítems 1-1 de 1
-
Equilibrium graphs
Cabalar, Pedro; Pérez Ramil, Carlos; Pérez, Gilberto (Springer, 2019)[Abstract]: In this paper we present an extension of Peirce’s existential graphs to provide a diagrammatic representation of expressions in Quantified Equilibrium Logic (QEL). Using this formalisation, logical connectives ...