Mostrando 2 resultados de: 2
Filtros aplicados
Publisher
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)(1)
Logical Methods in Computer Science(1)
Área de conocimiento
Algoritmo(1)
Origen
scopus(2)
An 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:scopus