16th European Conference, JELIA 2019, Rende, Italy, May 7–11, 2019, Proceedings / Calimeri, Francesco ; Leone, Nicola ; Manna, Marco  

Público ISBD Ningún comentario para este título. 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 [...]

20th International Symposium, PADL 2018, Los Angeles, CA, USA, January 8–9, 2018, Proceedings / Calimeri, Francesco ; Hamlen, Kevin ; Leone, Nicola  

Público ISBD Ningún comentario para este título. 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. Idioma : Inglés (eng) 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 Clasificación: 005.45 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. Tipo de medio : Computadora Summary : This book constitutes the proceedings of the 20th International Symposium on Practical Aspects of Declarative Languages, PADL 2018, held in Los Angeles, CA, USA, in January 2018 and collocated with the 45th ACM SIGPLAN Symposium on Principles of Programming Languages. The 13 regular papers presented in this volume together with the abstracts of 2 invited talks were carefully reviewed and selected from 23 submissions. They deal with functional programming; constraint programming and business rules; prolog and optimization; and answer set programming. . Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] 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. Idioma : Inglés (eng) 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 Clasificación: 005.45 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. Tipo de medio : Computadora Summary : This book constitutes the proceedings of the 20th International Symposium on Practical Aspects of Declarative Languages, PADL 2018, held in Los Angeles, CA, USA, in January 2018 and collocated with the 45th ACM SIGPLAN Symposium on Principles of Programming Languages. The 13 regular papers presented in this volume together with the abstracts of 2 invited talks were carefully reviewed and selected from 23 submissions. They deal with functional programming; constraint programming and business rules; prolog and optimization; and answer set programming. . Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...]

---

1 (1 - 2 / 2) Ver por página : 25 50 100 200