Equilibrium graphs
| UDC.coleccion | Investigación | es_ES |
| UDC.departamento | Ciencias da Computación e Tecnoloxías da Información | es_ES |
| UDC.endPage | 9 | es_ES |
| UDC.grupoInv | Information Retrieval Lab (IRlab) | es_ES |
| UDC.journalTitle | Annals of Mathematics and Artificial Intelligence | es_ES |
| UDC.startPage | 3 | es_ES |
| UDC.volume | 86 | es_ES |
| 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.embargoEndDate | 9999-12-31 | es_ES |
| dc.date.embargoLift | 9999-12-31 | |
| dc.date.issued | 2019 | |
| 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.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.doi | 10.1007/s10472-018-9615-9 | |
| dc.identifier.uri | http://hdl.handle.net/2183/34773 | |
| dc.language.iso | eng | es_ES |
| dc.publisher | Springer | es_ES |
| dc.relation.projectID | 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.projectID | 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.rights.accessRights | embargoed access | 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 | journal article | es_ES |
| dspace.entity.type | Publication | |
| relation.isAuthorOfPublication | 2ca73277-6667-4009-adaf-0f7462a65880 | |
| relation.isAuthorOfPublication | 9cf9fbba-f2d3-4c25-8691-9aff6d3099c1 | |
| relation.isAuthorOfPublication.latestForDiscovery | 2ca73277-6667-4009-adaf-0f7462a65880 |
Files
Original bundle
1 - 1 of 1
Loading...
- Name:
- Cabalar_Pedro_2019_Equilibrium_graphs.pdf
- Size:
- 1.05 MB
- Format:
- Adobe Portable Document Format
- Description: