Artificial Intelligence and Symbolic Computation 12th International Conference, AISC 2014, Seville, Spain, December 11-13, 2014 Proceedings International Conference on Artificial Intelligence and Symbolic Computation ( 2014 : Sevilla, España) creator Aranda-Corral, Gonzalo A. (edición) Calmet, Jacques (edición) Martín-Mateos, Francisco J. (edición) text monographic ING 1 libro electrónico en línea (X, 206 p.) 1 recurso en línea Selección de las ponencias de la 12a Conferencia Internacional sobre Inteligencia Artificial y Computación Simbólica, celebrada en Sevilla, España, en diciembre de 2014. Artículos incluídos: Probando y computando: aplicando el razonamiento automatizado a la verificación de sistemas de cómputo simbólico; Combinando sistemas para la creatividad matemática; Modelos para lógicas y restricciones condicionales en pruebas automatizadas de terminación; Uso de teoremas de representación para probar polinomios no negativos; Un sistema experto basado en reglas para el diagnóstico de citología vaginal; Obtención de una especificación ACL2 a partir de una teoría de Isabelle/HOL; Un método de propagación directa en redes de creencias causales conectadas individualmente con distribuciones condicionales para todas las causas; De modelos de restricciones de conjuntos declarativos a instancias SAT; Una jerarquía matemática de los rompecabezas de Sudoku y su cálculo mediante las bases booleanas de Gröbner; Una GUI simple para desarrollar aplicaciones que utilizan sistemas de software matemático; Planificación conforme como un estudio de caso de resolución QBF incremental; Ruptura de simetría dinámica en la minería de conjuntos de elementos; Una decisión basada en la distancia en el nivel Credal; Funciones elementales multivaluadas en sistemas computacionales-algebraicos; Construcciones racionales de concoide y compensación: algoritmos e implementación; Aspectos algorítmicos de la combinación de teorías; Descomposición de algunas variedades jacobianas de dimensión 3. Ed. de G.A. Aranda-Corral, J. Calmet, F.J. Martín-Mateos. Licencias ilimitadas XX Máquinas de Turing Autómatas Matemáticos - Teoría Dinámica Simbólica Topología Algebraica Algebra Booleana Inteligencia Artificial - Congresos - Tema Principal Inteligencia Artificial - Tema Principal Sistemas Computacionales Ingeniería Electrónica Ingeniería Computacional Algebra Matemáticas Libro en línea (Lecture Notes in Artificial Intelligence ; 8884) 978-3-319-13770-4 Acervo ITESO - Biblioteca https://link-springer-com.ezproxy.iteso.mx/book/10.1007/978-3-319-13770-4 Licencias ilimitadas 20251023000000.0 000456019