Mostrar el registro sencillo del ítem

dc.contributor.author
Areces, Carlos Eduardo  
dc.contributor.author
Orbe, Alejandro Ezequiel  
dc.date.available
2019-02-04T18:34:52Z  
dc.date.issued
2015-11  
dc.identifier.citation
Areces, Carlos Eduardo; Orbe, Alejandro Ezequiel; Symmetric Blocking; Elsevier Science; Theoretical Computer Science; 606; 11-2015; 25-41  
dc.identifier.issn
0304-3975  
dc.identifier.uri
http://hdl.handle.net/11336/69330  
dc.description.abstract
We 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.  
dc.format
application/pdf  
dc.language.iso
eng  
dc.publisher
Elsevier Science  
dc.rights
info:eu-repo/semantics/openAccess  
dc.rights.uri
https://creativecommons.org/licenses/by-nc-sa/2.5/ar/  
dc.subject
Blocking  
dc.subject
Detection  
dc.subject
Evaluation  
dc.subject
Modal Logics  
dc.subject
Symmetry  
dc.subject.classification
Ciencias de la Computación  
dc.subject.classification
Ciencias de la Computación e Información  
dc.subject.classification
CIENCIAS NATURALES Y EXACTAS  
dc.title
Symmetric Blocking  
dc.type
info:eu-repo/semantics/article  
dc.type
info:ar-repo/semantics/artículo  
dc.type
info:eu-repo/semantics/publishedVersion  
dc.date.updated
2019-02-04T13:11:40Z  
dc.journal.volume
606  
dc.journal.pagination
25-41  
dc.journal.pais
Países Bajos  
dc.journal.ciudad
Amsterdam  
dc.description.fil
Fil: 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.fil
Fil: 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.journal.title
Theoretical Computer Science  
dc.relation.alternativeid
info:eu-repo/semantics/altIdentifier/url/http://www.sciencedirect.com/science/article/pii/S0304397515005307  
dc.relation.alternativeid
info:eu-repo/semantics/altIdentifier/doi/https://doi.org/10.1016/j.tcs.2015.06.020  

Archivos asociados
Thumbnail
 
Tamaño: 614.6Kb
Formato: PDF
.