ListarGI-IRlab-Artigos por tema "Diagrammatic reasoning"
Mostrando ítems 1-1 de 1
-
Equilibrium graphs
(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 ...