Autor Leone, Nicola
|
|
Documentos disponibles escritos por este autor (2)
Hacer una sugerencia Refinar búsqueda16th European Conference, JELIA 2019, Rende, Italy, May 7–11, 2019, Proceedings / Calimeri, Francesco ; Leone, Nicola ; Manna, Marco
Título : 16th European Conference, JELIA 2019, Rende, Italy, May 7–11, 2019, Proceedings Tipo de documento: documento electrónico Autores: Calimeri, Francesco, ; Leone, Nicola, ; Manna, Marco, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2019 Número de páginas: XV, 822 p. 1646 ilustraciones, 29 ilustraciones en color. ISBN/ISSN/DL: 978-3-030-19570-0 Nota general: Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos. Palabras clave: Inteligencia artificial Ciencias de la Computación Teoría de las máquinas Tecnología de la información Compiladores (programas informáticos) Programación de computadoras Lógica informática y fundamentos de la programación Lenguajes formales y teoría de los autómatas Aplicación Informática en Tratamiento de Datos Administrativos Compiladores e intérpretes Técnicas de programación Índice Dewey: 006.3 Inteligencia artificial Resumen: Este libro constituye las actas de la 16.ª Conferencia Europea sobre Lógica en Inteligencia Artificial, JELIA 2019, celebrada en Rende, Italia, en mayo de 2019. Los 50 artículos completos y 10 artículos breves incluidos en este volumen fueron cuidadosamente revisados y seleccionados entre 101 presentaciones. Además, el libro contiene 3 artículos invitados. Los artículos aceptados abarcan una serie de áreas dentro de la Lógica en la IA, que incluyen: revisión y argumentación de creencias; razonamiento causal, anulable e inductivo; lógica condicional, probabilística y proposicional; lógicas de descripción; programación lógica; lógica modal y predeterminada; y lógica temporal. Nota de contenido: Belief revision and argumentation -- Causal, defeasible and inductive reasoning -- Conditional, probabilistic and propositional logic -- Description logics -- Logic programming -- Modal and default logic -- Temporal logic. En línea: https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Link: https://biblioteca.umanizales.edu.co/ils/opac_css/index.php?lvl=notice_display&i 16th European Conference, JELIA 2019, Rende, Italy, May 7–11, 2019, Proceedings [documento electrónico] / Calimeri, Francesco, ; Leone, Nicola, ; Manna, Marco, . - 1 ed. . - [s.l.] : Springer, 2019 . - XV, 822 p. 1646 ilustraciones, 29 ilustraciones en color.
ISBN : 978-3-030-19570-0
Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos.
Palabras clave: Inteligencia artificial Ciencias de la Computación Teoría de las máquinas Tecnología de la información Compiladores (programas informáticos) Programación de computadoras Lógica informática y fundamentos de la programación Lenguajes formales y teoría de los autómatas Aplicación Informática en Tratamiento de Datos Administrativos Compiladores e intérpretes Técnicas de programación Índice Dewey: 006.3 Inteligencia artificial Resumen: Este libro constituye las actas de la 16.ª Conferencia Europea sobre Lógica en Inteligencia Artificial, JELIA 2019, celebrada en Rende, Italia, en mayo de 2019. Los 50 artículos completos y 10 artículos breves incluidos en este volumen fueron cuidadosamente revisados y seleccionados entre 101 presentaciones. Además, el libro contiene 3 artículos invitados. Los artículos aceptados abarcan una serie de áreas dentro de la Lógica en la IA, que incluyen: revisión y argumentación de creencias; razonamiento causal, anulable e inductivo; lógica condicional, probabilística y proposicional; lógicas de descripción; programación lógica; lógica modal y predeterminada; y lógica temporal. Nota de contenido: Belief revision and argumentation -- Causal, defeasible and inductive reasoning -- Conditional, probabilistic and propositional logic -- Description logics -- Logic programming -- Modal and default logic -- Temporal logic. En línea: https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Link: https://biblioteca.umanizales.edu.co/ils/opac_css/index.php?lvl=notice_display&i
Título : 20th International Symposium, PADL 2018, Los Angeles, CA, USA, January 8–9, 2018, Proceedings Tipo de documento: documento electrónico Autores: Calimeri, Francesco, ; Hamlen, Kevin, ; Leone, Nicola, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2018 Número de páginas: XIV, 203 p. 56 ilustraciones ISBN/ISSN/DL: 978-3-319-73305-0 Nota general: Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos. Palabras clave: Compiladores (programas informáticos) Ciencias de la Computación Teoría de las máquinas Programación de computadoras Ingeniería de software Compiladores e intérpretes Lógica informática y fundamentos de la programación Lenguajes formales y teoría de los autómatas Técnicas de programación Índice Dewey: 005.45 interfaces con el computador y los controladores del dispositivo Resumen: Este libro constituye las actas del 20.º Simposio Internacional sobre Aspectos Prácticos de los Lenguajes Declarativos, PADL 2018, celebrado en Los Ángeles, CA, EE. UU., en enero de 2018 y coincidido con el 45.º Simposio ACM SIGPLAN sobre Principios de Lenguajes de Programación. Los 13 artículos regulares presentados en este volumen junto con los resúmenes de 2 charlas invitadas fueron cuidadosamente revisados y seleccionados entre 23 presentaciones. Se ocupan de la programación funcional; programación de restricciones y reglas comerciales; prólogo y optimización; y programación de conjuntos de respuestas. . Nota de contenido: Functional programming -- Constraint programming and business rules -- Prolog and optimization -- Answer set programming. En línea: https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Link: https://biblioteca.umanizales.edu.co/ils/opac_css/index.php?lvl=notice_display&i 20th International Symposium, PADL 2018, Los Angeles, CA, USA, January 8–9, 2018, Proceedings [documento electrónico] / Calimeri, Francesco, ; Hamlen, Kevin, ; Leone, Nicola, . - 1 ed. . - [s.l.] : Springer, 2018 . - XIV, 203 p. 56 ilustraciones.
ISBN : 978-3-319-73305-0
Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos.
Palabras clave: Compiladores (programas informáticos) Ciencias de la Computación Teoría de las máquinas Programación de computadoras Ingeniería de software Compiladores e intérpretes Lógica informática y fundamentos de la programación Lenguajes formales y teoría de los autómatas Técnicas de programación Índice Dewey: 005.45 interfaces con el computador y los controladores del dispositivo Resumen: Este libro constituye las actas del 20.º Simposio Internacional sobre Aspectos Prácticos de los Lenguajes Declarativos, PADL 2018, celebrado en Los Ángeles, CA, EE. UU., en enero de 2018 y coincidido con el 45.º Simposio ACM SIGPLAN sobre Principios de Lenguajes de Programación. Los 13 artículos regulares presentados en este volumen junto con los resúmenes de 2 charlas invitadas fueron cuidadosamente revisados y seleccionados entre 23 presentaciones. Se ocupan de la programación funcional; programación de restricciones y reglas comerciales; prólogo y optimización; y programación de conjuntos de respuestas. . Nota de contenido: Functional programming -- Constraint programming and business rules -- Prolog and optimization -- Answer set programming. En línea: https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Link: https://biblioteca.umanizales.edu.co/ils/opac_css/index.php?lvl=notice_display&i
