Autor Manna, Marco
|
|
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 : 16th International Summer School 2020, Oslo, Norway, June 24–26, 2020, Tutorial Lectures Tipo de documento: documento electrónico Autores: Manna, Marco, ; Pieris, Andreas, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2020 Número de páginas: IX, 255 p. 25 ilustraciones ISBN/ISSN/DL: 978-3-030-60067-9 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: Gestión de base de datos Inteligencia artificial Software de la aplicacion Ordenadores Procesamiento del lenguaje natural (Informática) Aplicaciones informáticas y de sistemas de información Hardware de la computadora Procesamiento del lenguaje natural (PNL) Índice Dewey: 005.74 Ciencia de los computadores (Archivos de datos y bases de datos) Resumen: La serie Reasoning Web de escuelas de verano anuales se ha convertido en el principal evento educativo en el campo de las técnicas de razonamiento en la Web, atrayendo tanto a investigadores jóvenes como establecidos. El tema general de la escuela de verano de este año fue "Inteligencia artificial declarativa" y cubrió varios aspectos del razonamiento ontológico y cuestiones relacionadas que son de particular interés para las aplicaciones de Web Semántica y Datos Vinculados. Durante la escuela se han presentado las siguientes ocho conferencias: Introducción a las ontologías probabilísticas, Sobre la complejidad del aprendizaje de las ontologías lógicas de descripción, Explicación a través del argumento automático, Razonamiento en flujo: de la teoría a la práctica, Reescribibilidad de primer orden de consultas mediadas por ontologías temporales, An Introducción a la programación de conjuntos de respuestas y algunas de sus extensiones, análisis de datos declarativos mediante programas de registro de datos límite y gráficos de conocimiento: direcciones de investigación. Nota de contenido: Introduction to Probabilistic Ontologies -- On the Complexity of Learning Description Logic Ontologies -- Explanation via Machine Arguing -- Stream Reasoning: From Theory to Practice -- First-Order Rewritability of Temporal Ontology-Mediated Queries -- An Introduction to Answer Set Programming and Some of Its Extensions -- Declarative Data Analysis using Limit Datalog Programs -- Knowledge Graphs: Research Directions. 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 International Summer School 2020, Oslo, Norway, June 24–26, 2020, Tutorial Lectures [documento electrónico] / Manna, Marco, ; Pieris, Andreas, . - 1 ed. . - [s.l.] : Springer, 2020 . - IX, 255 p. 25 ilustraciones.
ISBN : 978-3-030-60067-9
Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos.
Palabras clave: Gestión de base de datos Inteligencia artificial Software de la aplicacion Ordenadores Procesamiento del lenguaje natural (Informática) Aplicaciones informáticas y de sistemas de información Hardware de la computadora Procesamiento del lenguaje natural (PNL) Índice Dewey: 005.74 Ciencia de los computadores (Archivos de datos y bases de datos) Resumen: La serie Reasoning Web de escuelas de verano anuales se ha convertido en el principal evento educativo en el campo de las técnicas de razonamiento en la Web, atrayendo tanto a investigadores jóvenes como establecidos. El tema general de la escuela de verano de este año fue "Inteligencia artificial declarativa" y cubrió varios aspectos del razonamiento ontológico y cuestiones relacionadas que son de particular interés para las aplicaciones de Web Semántica y Datos Vinculados. Durante la escuela se han presentado las siguientes ocho conferencias: Introducción a las ontologías probabilísticas, Sobre la complejidad del aprendizaje de las ontologías lógicas de descripción, Explicación a través del argumento automático, Razonamiento en flujo: de la teoría a la práctica, Reescribibilidad de primer orden de consultas mediadas por ontologías temporales, An Introducción a la programación de conjuntos de respuestas y algunas de sus extensiones, análisis de datos declarativos mediante programas de registro de datos límite y gráficos de conocimiento: direcciones de investigación. Nota de contenido: Introduction to Probabilistic Ontologies -- On the Complexity of Learning Description Logic Ontologies -- Explanation via Machine Arguing -- Stream Reasoning: From Theory to Practice -- First-Order Rewritability of Temporal Ontology-Mediated Queries -- An Introduction to Answer Set Programming and Some of Its Extensions -- Declarative Data Analysis using Limit Datalog Programs -- Knowledge Graphs: Research Directions. 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
