Repositorio
Cómo publicar
Recursos
FAQs

Mostrar el registro sencillo del ítem

Reasoning About Strong Inconsistency in ASP

dc.contributor.authorMencía Cascallana, Carlos 
dc.contributor.authorMarqués Silva, J.
dc.date.accessioned2021-01-27T10:19:42Z
dc.date.available2021-01-27T10:19:42Z
dc.date.issued2020
dc.identifier.isbn978-3-030-51824-0
dc.identifier.issn0302-9743
dc.identifier.urihttp://hdl.handle.net/10651/57518
dc.descriptionInternational Conference (23rd. Alghero. 2020)
dc.description.sponsorshipThis research is supported by the Spanish Government under project TIN2016-79190-R, by the Principality of Asturias under grant IDI/2018/000176, and by AN-ITI, funded by the French program “Investing for the Future – PIA3” under Grant agreement no ANR-19-PI3A-0004.
dc.format.extentp. 332-342
dc.language.isoeng
dc.relation.ispartofTheory and Applications of Satisfiability Testing – SAT 2020. SAT 2020
dc.relation.ispartofseriesLecture Notes in Computer Science; 12178
dc.rights© Springer Nature Switzerland AG 2020
dc.rightsCC Reconocimiento - No comercial - Sin obras derivadas 4.0 Internacional
dc.rights.urihttp://creativecommons.org/licenses/by-nc-nd/4.0/
dc.sourceScopus
dc.source.urihttps://www.scopus.com/inward/record.uri?eid=2-s2.0-85088261005&doi=10.1007%2f978-3-030-51825-7_24&partnerID=40&md5=5d8c12d0471d26a76b72166feaeb147d
dc.titleReasoning About Strong Inconsistency in ASP
dc.typeconference outputspa
dc.identifier.doi10.1007/978-3-030-51825-7_24
dc.relation.projectIDTIN2016-79190-R
dc.relation.projectIDIDI/2018/000176
dc.relation.publisherversionhttp://dx.doi.org/10.1007/978-3-030-51825-7_24
dc.rights.accessRightsopen access
dc.type.hasVersionAM


Ficheros en el ítem

untranslated
Nombre:
Mencia-SAT2020-postprint-1.pdf
Tamaño:
816.4Kb
Formato:
PDF
Descripción:
postprint

Este ítem aparece en la(s) siguiente(s) colección(ones)

Mostrar el registro sencillo del ítem

© Springer Nature Switzerland AG 2020
Este ítem está sujeto a una licencia Creative Commons