Mostrar o rexistro simple do ítem
Equilibrium graphs
dc.contributor.author | Cabalar, Pedro | |
dc.contributor.author | Pérez Ramil, Carlos | |
dc.contributor.author | Pérez, Gilberto | |
dc.date.accessioned | 2024-01-09T10:17:12Z | |
dc.date.issued | 2019 | |
dc.identifier.citation | 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 | es_ES |
dc.identifier.uri | http://hdl.handle.net/2183/34773 | |
dc.description.abstract | [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. | es_ES |
dc.description.sponsorship | This research was partially supported by MINECO projects TIN2013-42149-P and TIN2017-84453-P, Spain. | es_ES |
dc.language.iso | eng | es_ES |
dc.publisher | Springer | es_ES |
dc.relation | info:eu-repo/grantAgreement/MINECO/Plan Estatal de Investigación Científica y Técnica y de Innovación 2013-2016/TIN2013-42149-P/ES/MERLOT: RAZONAMIENTO MEDICO CON HERRAMIENTAS LOGICAS | es_ES |
dc.relation | info:eu-repo/grantAgreement/AEI/Plan Estatal de Investigación Científica y Técnica y de Innovación 2013-2016/TIN2017-84453-P/ES/RAZONAMIENTO AUTOMATICO TEMPORAL PARA SISTEMAS INTELIGENTES DINAMICOS | es_ES |
dc.relation.uri | https://doi.org/10.1007/s10472-018-9615-9 | es_ES |
dc.rights | Copyright © 2019, Springer Nature Switzerland AG | es_ES |
dc.subject | Logic programming | es_ES |
dc.subject | Answer set programming | es_ES |
dc.subject | Diagrammatic reasoning | es_ES |
dc.subject | Existential graphs | es_ES |
dc.subject | Equilibrium logic | es_ES |
dc.title | Equilibrium graphs | es_ES |
dc.type | info:eu-repo/semantics/article | es_ES |
dc.rights.access | info:eu-repo/semantics/embargoedAccess | es_ES |
dc.date.embargoEndDate | 9999-99-99 | es_ES |
dc.date.embargoLift | 10007-06-07 | |
UDC.journalTitle | Annals of Mathematics and Artificial Intelligence | es_ES |
UDC.volume | 86 | es_ES |
UDC.startPage | 3 | es_ES |
UDC.endPage | 9 | es_ES |
dc.identifier.doi | 10.1007/s10472-018-9615-9 |
Ficheiros no ítem
Este ítem aparece na(s) seguinte(s) colección(s)
-
GI-IRlab-Artigos [27]