Equilibrium graphs
![Thumbnail](/dspace/bitstream/handle/2183/34773/Cabalar_Pedro_2019_Equilibrium_graphs.pdf.jpg?sequence=4&isAllowed=y)
No accesible hasta 9999-99-99
Use este enlace para citar
http://hdl.handle.net/2183/34773Colecciones
- GI-IRlab-Artigos [27]
Metadatos
Mostrar el registro completo del ítemTítulo
Equilibrium graphsFecha
2019Cita bibliográfica
Cabalar, P., Pérez, C. & Pérez, G. Equilibrium graphs. Ann Math Artif Intell 86, 3–19 (2019). https://doi.org/10.1007/s10472-018-9615-9
Resumen
[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 are replaced by encircled regions (circles and squares) and quantified variables are represented as “identity” lines. Although the expressive power is equivalent to that of QEL, the new representation can be useful for illustrative or educational purposes.
Palabras clave
Logic programming
Answer set programming
Diagrammatic reasoning
Existential graphs
Equilibrium logic
Answer set programming
Diagrammatic reasoning
Existential graphs
Equilibrium logic
Versión del editor
Derechos
Copyright © 2019, Springer Nature Switzerland AG