Logic Programming and Nonmonotonic Reasoning / Balduccini, Marcello ; Lierler, Yuliya ; Woltran, Stefan  

Público ISBD Ningún comentario para este registro. Título : Logic Programming and Nonmonotonic Reasoning : 15th International Conference, LPNMR 2019, Philadelphia, PA, USA, June 3-7, 2019, Proceedings Tipo de documento: documento electrónico Autores: Balduccini, Marcello, ; Lierler, Yuliya, ; Woltran, Stefan, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2019 Número de páginas: XXI, 348 p. 787 ilustraciones, 21 ilustraciones en color. ISBN/ISSN/DL: 978-3-030-20528-7 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  Ingeniería de software  Tecnología de la información  Gestión de base de datos  Lógica informática y fundamentos de la programación  Aplicación Informática en Tratamiento de Datos Administrativos Índice Dewey: 006.3 Inteligencia artificial Resumen: Este libro constituye las actas arbitradas de la 15.ª Conferencia Internacional sobre Programación Lógica y Razonamiento No Monotónico, LPNMR 2019, celebrada en Filadelfia, PA, EE. UU., en junio de 2019. Los 22 artículos completos y 3 artículos breves presentados en este volumen fueron cuidadosamente revisados ​​y seleccionados. de un total de 39 presentaciones. Los artículos se organizaron en secciones temáticas denominadas: aplicaciones; argumentación; fundamentos y complejidad; representación y razonamiento del conocimiento; y sistemas. Nota de contenido: Applications -- Train scheduling with hybrid ASP -- Telco Network Inventory Validation with NoHR -- An ASP-based Framework for the Manipulation of Articulated Objects using Dual-arm Robots -- C-ASP: Continuous ASP-based Reasoning over RDF Streams -- Internet Routing and Non-Monotonic Reasoning -- Argumentation -- Assessing arguments with schemes and fallacies -- Simple Contrapositive Assumption-Based Frameworks -- Argumentation-based Explanations for Answer Sets using ADF -- Foundations and Complexity -- Treewidth and Counting Projected Answer Sets -- Splitting Epistemic Logic Programs -- Founded World Views with Autoepistemic Equilibrium Logic -- Towards Dynamic Answer Set Programming over finite traces -- A Sequent-Type Calculus for Three-Valued Default Logic, or: Tweety Meets Quartum Non Datur -- Knowledge Representation and Reasoning -- Diagnosing Data Pipeline Failures Using Action Languages -- Repair-Based Degrees of Database Inconsistency -- Elect: An Inconsistency Handling Approach for Partially Preordered Lightweight Ontologies -- Elaboration Tolerant Representation of Markov Decision Process via Decision-Theoretic Extension of Action Language pBC+ -- Systems -- Evaluation of disjunctive programs in WASP -- telinge = ASP + Time -- Verifying Strong Equivalence of Programs in the Input Language of GRINGO -- The return of XORRO -- Degrees of Laziness in Grounding: Effects of Lazy-Grounding Strategies on ASP Solving -- Enhancing DLV for Large-Scale Reasoning -- Pruning External Minimality Checking for ASP Using Semantic Dependencies -- Declarative local search for predicate 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 Logic Programming and Nonmonotonic Reasoning : 15th International Conference, LPNMR 2019, Philadelphia, PA, USA, June 3-7, 2019, Proceedings [documento electrónico] / Balduccini, Marcello, ; Lierler, Yuliya, ; Woltran, Stefan,  . -  1 ed.  . - [s.l.] : Springer, 2019 . - XXI, 348 p. 787 ilustraciones, 21 ilustraciones en color. ISBN : 978-3-030-20528-7 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  Ingeniería de software  Tecnología de la información  Gestión de base de datos  Lógica informática y fundamentos de la programación  Aplicación Informática en Tratamiento de Datos Administrativos Índice Dewey: 006.3 Inteligencia artificial Resumen: Este libro constituye las actas arbitradas de la 15.ª Conferencia Internacional sobre Programación Lógica y Razonamiento No Monotónico, LPNMR 2019, celebrada en Filadelfia, PA, EE. UU., en junio de 2019. Los 22 artículos completos y 3 artículos breves presentados en este volumen fueron cuidadosamente revisados ​​y seleccionados. de un total de 39 presentaciones. Los artículos se organizaron en secciones temáticas denominadas: aplicaciones; argumentación; fundamentos y complejidad; representación y razonamiento del conocimiento; y sistemas. Nota de contenido: Applications -- Train scheduling with hybrid ASP -- Telco Network Inventory Validation with NoHR -- An ASP-based Framework for the Manipulation of Articulated Objects using Dual-arm Robots -- C-ASP: Continuous ASP-based Reasoning over RDF Streams -- Internet Routing and Non-Monotonic Reasoning -- Argumentation -- Assessing arguments with schemes and fallacies -- Simple Contrapositive Assumption-Based Frameworks -- Argumentation-based Explanations for Answer Sets using ADF -- Foundations and Complexity -- Treewidth and Counting Projected Answer Sets -- Splitting Epistemic Logic Programs -- Founded World Views with Autoepistemic Equilibrium Logic -- Towards Dynamic Answer Set Programming over finite traces -- A Sequent-Type Calculus for Three-Valued Default Logic, or: Tweety Meets Quartum Non Datur -- Knowledge Representation and Reasoning -- Diagnosing Data Pipeline Failures Using Action Languages -- Repair-Based Degrees of Database Inconsistency -- Elect: An Inconsistency Handling Approach for Partially Preordered Lightweight Ontologies -- Elaboration Tolerant Representation of Markov Decision Process via Decision-Theoretic Extension of Action Language pBC+ -- Systems -- Evaluation of disjunctive programs in WASP -- telinge = ASP + Time -- Verifying Strong Equivalence of Programs in the Input Language of GRINGO -- The return of XORRO -- Degrees of Laziness in Grounding: Effects of Lazy-Grounding Strategies on ASP Solving -- Enhancing DLV for Large-Scale Reasoning -- Pruning External Minimality Checking for ASP Using Semantic Dependencies -- Declarative local search for predicate 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

Practical Aspects of Declarative Languages / Lierler, Yuliya ; Taha, Walid  

Público ISBD Ningún comentario para este registro. Título : Practical Aspects of Declarative Languages : 19th International Symposium, PADL 2017, Paris, France, January 16-17, 2017, Proceedings Tipo de documento: documento electrónico Autores: Lierler, Yuliya, ; Taha, Walid, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2017 Número de páginas: X, 215 p. 31 ilustraciones ISBN/ISSN/DL: 978-3-319-51676-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: Compiladores (programas informáticos)  Programación de computadoras  Ciencias de la Computación  Ingeniería de software  Inteligencia artificial  Tecnología de la información  Compiladores e intérpretes  Técnicas de programación  Lógica informática y fundamentos de la programación  Aplicación Informática en Tratamiento de Datos Administrativos Índice Dewey: 005.45 interfaces con el computador y los controladores del dispositivo Resumen: Este libro constituye las actas del 19º Simposio Internacional sobre Aspectos Prácticos de los Lenguajes Declarativos, PADL 2017, celebrado en París, Francia, en enero de 2017 y coincidido con el Simposio ACM SIGPLAN sobre Principios de Lenguajes de Programación. Los 14 artículos presentados en este volumen fueron cuidadosamente revisados ​​y seleccionados entre 27 presentaciones. Se ocupan de aplicaciones novedosas y técnicas de implementación para todas las formas de lenguajes declarativos, incluidos, entre otros, lenguajes lógicos, de restricciones y funcionales. . Nota de contenido: Eliminating Irrelevant Non-determinism in Functional Logic Programs -- Canonicalizing High-Level Constructs in Picat -- An Overview of P_rhoLog -- Integrating Answer Set Programming with Object-oriented Languages -- Extending Answer Set Programs with Interpreted Functions as First-class Citizens -- Lowering the learning curve for declarative programming: a Python API for the IDP system -- Failing Faster: Overlapping Patterns for Property-Based Testing -- Boltzmann Samplers for Closed Simply-Typed Lambda Terms -- Selection Equilibria of Higher-Order Games -- DALI for Cognitive Robotics: Principles and Prototype Implementation -- Funky Grooves: Declarative Programming of Full-Fledged Musical Applications -- A Domain-Specific Language for Software-Defined Radio -- A Declarative DSL for Customizing ASCII Art -- Using Iterative Deepening for Probabilistic Logic Inference. 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 Practical Aspects of Declarative Languages : 19th International Symposium, PADL 2017, Paris, France, January 16-17, 2017, Proceedings [documento electrónico] / Lierler, Yuliya, ; Taha, Walid,  . -  1 ed.  . - [s.l.] : Springer, 2017 . - X, 215 p. 31 ilustraciones. ISBN : 978-3-319-51676-9 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)  Programación de computadoras  Ciencias de la Computación  Ingeniería de software  Inteligencia artificial  Tecnología de la información  Compiladores e intérpretes  Técnicas de programación  Lógica informática y fundamentos de la programación  Aplicación Informática en Tratamiento de Datos Administrativos Índice Dewey: 005.45 interfaces con el computador y los controladores del dispositivo Resumen: Este libro constituye las actas del 19º Simposio Internacional sobre Aspectos Prácticos de los Lenguajes Declarativos, PADL 2017, celebrado en París, Francia, en enero de 2017 y coincidido con el Simposio ACM SIGPLAN sobre Principios de Lenguajes de Programación. Los 14 artículos presentados en este volumen fueron cuidadosamente revisados ​​y seleccionados entre 27 presentaciones. Se ocupan de aplicaciones novedosas y técnicas de implementación para todas las formas de lenguajes declarativos, incluidos, entre otros, lenguajes lógicos, de restricciones y funcionales. . Nota de contenido: Eliminating Irrelevant Non-determinism in Functional Logic Programs -- Canonicalizing High-Level Constructs in Picat -- An Overview of P_rhoLog -- Integrating Answer Set Programming with Object-oriented Languages -- Extending Answer Set Programs with Interpreted Functions as First-class Citizens -- Lowering the learning curve for declarative programming: a Python API for the IDP system -- Failing Faster: Overlapping Patterns for Property-Based Testing -- Boltzmann Samplers for Closed Simply-Typed Lambda Terms -- Selection Equilibria of Higher-Order Games -- DALI for Cognitive Robotics: Principles and Prototype Implementation -- Funky Grooves: Declarative Programming of Full-Fledged Musical Applications -- A Domain-Specific Language for Software-Defined Radio -- A Declarative DSL for Customizing ASCII Art -- Using Iterative Deepening for Probabilistic Logic Inference. 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

---

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