Mostrando 5 resultados de: 5
Publisher
CEUR Workshop Proceedings(1)
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)(1)
Logic Journal of the IGPL(1)
Logical Methods in Computer Science(1)
Proceedings of the National Conference on Artificial Intelligence(1)
Área temáticas
Ciencias de la computación(2)
Lingüística(2)
Programación informática, programas, datos, seguridad(2)
Dirección general(1)
Inglés e inglés antiguo (anglosajón)(1)
Área de conocimiento
Algoritmo(2)
Optimización matemática(2)
Ciencias de la computación(1)
Lingüística(1)
Software(1)
Origen
scopus(5)
Compilation of query-rewriting problems into tractable fragments of prepositional logic
Conference ObjectAbstract: We consider the problem of rewriting a query efficiently using materialized views. In the context ofPalabras claves:Autores:Arvelo Y., Bonet B., María-Esther VidalFuentes:scopusAn expressive and efficient solution to the service selection problem
Conference ObjectAbstract: Given the large number of Semantic Web Services that can be created from online sources by using exiPalabras claves:Autores:Bonet B., Izquierdo D., María-Esther VidalFuentes:scopusUniversal first-order logic is superfluous for NL, P, NP and CO NP
ArticleAbstract: In this work we continue the syntactic study of completeness that began with the works of Immerman aPalabras claves:Complexity classes, descriptive complexity, First order projections, NP completeness, Problems and reductionsAutores:Bonet B., Nerio BorgesFuentes:scopusSTEREO: A SaT-based tool for an optimal solution of the service selection problem
Conference ObjectAbstract: We present STEREO, a system that offers an expressive formalism and implements techniques firmly groPalabras claves:Autores:Bonet B., Izquierdo D., María-Esther VidalFuentes:scopusSyntactic characterizations of completeness using duals and operators
ArticleAbstract: This article extends the work laid down by Medina and Immerman for the syntactic characterization ofPalabras claves:Canonical forms, completeness, descriptive complexity, Dual operator, Syntactic operatorsAutores:Bonet B., Nerio BorgesFuentes:scopus