Mostrando 5 resultados de: 5
Subtipo de publicación
Article(5)
Publisher
Logic Journal of the IGPL(2)
Journal of Artificial Intelligence Research(1)
Logical Methods in Computer Science(1)
RISTI - Revista Iberica de Sistemas e Tecnologias de Informacao(1)
Área temáticas
Ciencias de la computación(2)
Lingüística(2)
Ética (Filosofía moral)(2)
Ciencias sociales(1)
Inglés e inglés antiguo (anglosajón)(1)
Origen
scopus(5)
Belief change and 3-valued logics: Characterization of 19,683 belief change operators
ArticleAbstract: In this work we introduce a 3-valued logic with modalities, with the aim of having a clear and preciPalabras claves:Autores:Nerio Borges, Ramón Pino-PérezFuentes:scopusIntroducing perfectly nested circuits
ArticleAbstract: Nested graphs have been used in different applications, for example to represent knowledge in semantPalabras claves:Binary sequences, Circuits, Nested graphs, Order isomorphisms, PathsAutores:Carrasco M., Nerio Borges, Pino R., Zenaida CastilloFuentes: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:scopusUniversal first-order logic is superfluous in the second level of the polynomial-time hierarchy
ArticleAbstract: In this paper we prove that ∀FO, the universal fragment of first-order logic, is superfluous in Σ2pPalabras claves:Computational complexity, descriptive complexity, Graph Theory, MATHEMATICAL LOGICAutores:Nerio Borges, Pin E.Fuentes: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