Información del autor
Autor Manna, Marco |
Documentos disponibles escritos por este autor (2)
Crear una solicitud de compra 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. Idioma : Inglés (eng) 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 Clasificación: 006.3 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. Tipo de medio : Computadora Summary : This book constitutes the proceedings of the 16th European Conference on Logics in Artificial Intelligence, JELIA 2019, held in Rende, Italy, in May 2019. The 50 full papers and 10 short papers included in this volume were carefully reviewed and selected from 101 submissions. Additionally, the book contains 3 invited papers. The accepted papers span a number of areas within Logics in AI, including: belief revision and argumentation; causal, defeasible and inductive reasoning; conditional, probabilistic and propositional logic; description logics; logic programming; modal and default logic; and temporal logic. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] 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.
Idioma : Inglés (eng)
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 Clasificación: 006.3 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. Tipo de medio : Computadora Summary : This book constitutes the proceedings of the 16th European Conference on Logics in Artificial Intelligence, JELIA 2019, held in Rende, Italy, in May 2019. The 50 full papers and 10 short papers included in this volume were carefully reviewed and selected from 101 submissions. Additionally, the book contains 3 invited papers. The accepted papers span a number of areas within Logics in AI, including: belief revision and argumentation; causal, defeasible and inductive reasoning; conditional, probabilistic and propositional logic; description logics; logic programming; modal and default logic; and temporal logic. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...]
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. Idioma : Inglés (eng) 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) Clasificación: 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. Tipo de medio : Computadora Summary : The Reasoning Web series of annual summer schools has become the prime educational event in the field of reasoning techniques on the Web, attracting both young and established researchers. The broad theme of this year's summer school was "Declarative Artificial Intelligence" and it covered various aspects of ontological reasoning and related issues that are of particular interest to Semantic Web and Linked Data applications. The following eight lectures have been presented during the school: 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, and Knowledge Graphs: Research Directions. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] 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.
Idioma : Inglés (eng)
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) Clasificación: 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. Tipo de medio : Computadora Summary : The Reasoning Web series of annual summer schools has become the prime educational event in the field of reasoning techniques on the Web, attracting both young and established researchers. The broad theme of this year's summer school was "Declarative Artificial Intelligence" and it covered various aspects of ontological reasoning and related issues that are of particular interest to Semantic Web and Linked Data applications. The following eight lectures have been presented during the school: 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, and Knowledge Graphs: Research Directions. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...]
