Symmetric Blocking

Volver a la Vista simple
dc.conicet.fuenteunificacion
dc.conicet.organizacionConsejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - Córdoba
dc.conicet.organizacionUniversidad Nacional de Córdoba. Facultad de Matemática, Astronomía y Física
dc.conicet.organizacionConsejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - Córdoba
dc.conicet.organizacionConsejo Nacional de Investigaciones Científicas y Técnicas
dc.conicet.paisOrganizacionArgentina
dc.conicet.paisOrganizacionArgentina
dc.conicet.paisOrganizacionArgentina
dc.conicet.paisOrganizacionArgentina
dc.conicet.produccionid6552344
dc.contributor.authorAreces, Carlos Eduardo
dc.contributor.authorOrbe, Alejandro Ezequiel
dc.date.accessioned2019-02-04T18:34:52Z
dc.date.available2019-02-04T18:34:52Z
dc.date.issued2015-11
dc.date.updated2019-02-04T13:11:40Z
dc.description.abstractWe present three different techniques that use information about symmetries detected in the input formula to block the expansion of diamonds in a modal tableau. We show how these blocking techniques can be included in a standard tableaux calculus for the basic modal logic, and prove that they preserve soundness and completeness. We empirically evaluate these blocking mechanisms in different modal benchmarks.es
dc.description.filFil: Areces, Carlos Eduardo. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - Córdoba; Argentina. Universidad Nacional de Córdoba. Facultad de Matemática, Astronomía y Física; Argentina
dc.description.filFil: Orbe, Alejandro Ezequiel. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - Córdoba; Argentina. Consejo Nacional de Investigaciones Científicas y Técnicas; Argentina
dc.formatapplication/pdfes
dc.identifier.citationAreces, Carlos Eduardo; Orbe, Alejandro Ezequiel; Symmetric Blocking; Elsevier Science; Theoretical Computer Science; 606; 11-2015; 25-41es
dc.identifier.institucionalCONICET
dc.identifier.issn0304-3975es
dc.identifier.repoCONICET Digital
dc.identifier.urihttp://hdl.handle.net/11336/69330
dc.journal.ciudadAmsterdames
dc.journal.pagination25-41es
dc.journal.paisPaíses Bajoses
dc.journal.titleTheoretical Computer Sciencees
dc.journal.volume606es
dc.language.isoenges
dc.publisherElsevier Sciencees
dc.relation.alternativeidinfo:eu-repo/semantics/altIdentifier/url/http://www.sciencedirect.com/science/article/pii/S0304397515005307
dc.relation.alternativeidinfo:eu-repo/semantics/altIdentifier/doi/https://doi.org/10.1016/j.tcs.2015.06.020
dc.rightsinfo:eu-repo/semantics/openAccess*
dc.rights.urihttps://creativecommons.org/licenses/by-nc-sa/2.5/ar/*
dc.subjectBlockinges
dc.subjectDetectiones
dc.subjectEvaluationes
dc.subjectModal Logicses
dc.subjectSymmetryes
dc.subject.classificationCiencias de la Computaciónes
dc.subject.classificationCiencias de la Computación e Informaciónes
dc.subject.classificationCIENCIAS NATURALES Y EXACTASes
dc.titleSymmetric Blockinges
dc.typeinfo:eu-repo/semantics/article
dc.typeinfo:ar-repo/semantics/artículo
dc.typeinfo:eu-repo/semantics/publishedVersion

Archivos

Bloque original

Miniatura
Nombre:
CONICET_Digital_Nro.da4ae0f6-cb17-49bf-a654-d5768d81e6dc_D.pdf
Tamaño:
614.63 KB
Formato:
Adobe Portable Document Format
Descargar

Colecciones

Articulos(CCT - CORDOBA)
Volver a la Vista simple