Información del autor
Autor Balduccini, Marcello |
Documentos disponibles escritos por este autor (2)
Crear una solicitud de compra Refinar búsqueda
TÃtulo : Logic Programming and Nonmonotonic Reasoning : 14th International Conference, LPNMR 2017, Espoo, Finland, July 3-6, 2017, Proceedings Tipo de documento: documento electrónico Autores: Balduccini, Marcello, ; Janhunen, Tomi, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2017 Número de páginas: XIII, 359 p. 41 ilustraciones ISBN/ISSN/DL: 978-3-319-61660-5 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 Informática Matemáticas discretas IngenierÃa de software Programación de computadoras Lógica informática y fundamentos de la programación Lenguajes formales y teorÃa de los autómatas Matemáticas discretas en informática Técnicas de programación Clasificación: 006.3 Resumen: Este libro constituye las actas arbitradas de la 14.ª Conferencia Internacional sobre Programación Lógica y Razonamiento No Monotónico, LPNMR 2017, celebrada en Espoo, Finlandia, en julio de 2017. Los 16 artÃculos completos y 11 artÃculos breves presentados en este volumen fueron cuidadosamente revisados ​​y seleccionados entre 47 presentaciones. El libro también contiene 4 charlas invitadas. Los artÃculos se organizaron en secciones temáticas denominadas: razonamiento no monótono; programación de conjuntos de respuestas; sistemas LPNMR; y aplicaciones LPNMR. Nota de contenido: Invited Talks -- The Design of the Seventh Answer Set Programming Competition -- A Bird's-Eye View of Forgetting in Answer-Set Programming -- Answer Set Programming and its Applications in Planning and Multi-Agent Systems -- From logic programming and non-monotonic reasoning to computational argumentation and beyond. - Nonmonotonic Reasoning Modular Construction of Minimal Models -- A Hasse Diagram for Weighted Sceptical Semantics with a Unique-status Grounded Semantics -- Foundations For A Probabilistic Event Calculus -- Contextual Reasoning: Usually Birds can Abductively Fly -- Including Quantification in Defeasible Reasoning for the Description Logic EL bot -- A Monotonic View on Reflexive Autoepistemic Reasoning -- The Minimal Inference Problem over Finite Domains: The Landscape of Complexity -- Answer Set Programming -- Gelfond-Zhang aggregates as propositional formulas -- Answer Set Solving with Bounded Treewidth Revisited -- Vicious Circle Principle and Formation of Sets in ASP Based Languages -- Answer Set Programs with Queries over Subprograms -- Explaining Inconsistency in Answer Set Programs and Extensions -- Blending Lazy-Grounding and CDNL Search for Answer-Set Solving -- Answer Set Programming with Graded Modality -- LPNMR Systems -- The ASP System DLV2 -- lp2normal - A Normalization Tool for Extended Logic Programs -- Harvey: A System for Random Testing in ASP -- NoHR: Integrating XSB Prolog with the OWL 2 Profiles and Beyond -- ArgueApply: A Mobile App for Argumentation -- LPNMR Applications -- catnap: Generating Test Suites of Constrained Combinatorial Testing with Answer Set Programming -- Automatic Synthesis of Optimal-Size Concentrators by Answer Set Programming -- plasp 3: Towards effective ASP Planning -- Nurse Scheduling via Answer Set Programming -- Hybrid Metabolic Network Completion -- Action Language Hybrid AL -- moviola: Interpreting Dynamic Logic Programs via Multi-shot Answer Set Programming -- Adjudication of Coreference Annotations via Answer Set Optimization. . Tipo de medio : Computadora Summary : This book constitutes the refereed proceedings of the 14th International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR 2017, held in Espoo, Finland, in July 2017. The 16 full papers and 11 short papers presented in this volume were carefully reviewed and selected from 47 submissions. The book also contains 4 invited talks. The papers were organized in topical sections named: nonmonotonic reasoning; answer set programming; LPNMR systems; and LPNMR applications. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Logic Programming and Nonmonotonic Reasoning : 14th International Conference, LPNMR 2017, Espoo, Finland, July 3-6, 2017, Proceedings [documento electrónico] / Balduccini, Marcello, ; Janhunen, Tomi, . - 1 ed. . - [s.l.] : Springer, 2017 . - XIII, 359 p. 41 ilustraciones.
ISBN : 978-3-319-61660-5
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 Informática Matemáticas discretas IngenierÃa de software Programación de computadoras Lógica informática y fundamentos de la programación Lenguajes formales y teorÃa de los autómatas Matemáticas discretas en informática Técnicas de programación Clasificación: 006.3 Resumen: Este libro constituye las actas arbitradas de la 14.ª Conferencia Internacional sobre Programación Lógica y Razonamiento No Monotónico, LPNMR 2017, celebrada en Espoo, Finlandia, en julio de 2017. Los 16 artÃculos completos y 11 artÃculos breves presentados en este volumen fueron cuidadosamente revisados ​​y seleccionados entre 47 presentaciones. El libro también contiene 4 charlas invitadas. Los artÃculos se organizaron en secciones temáticas denominadas: razonamiento no monótono; programación de conjuntos de respuestas; sistemas LPNMR; y aplicaciones LPNMR. Nota de contenido: Invited Talks -- The Design of the Seventh Answer Set Programming Competition -- A Bird's-Eye View of Forgetting in Answer-Set Programming -- Answer Set Programming and its Applications in Planning and Multi-Agent Systems -- From logic programming and non-monotonic reasoning to computational argumentation and beyond. - Nonmonotonic Reasoning Modular Construction of Minimal Models -- A Hasse Diagram for Weighted Sceptical Semantics with a Unique-status Grounded Semantics -- Foundations For A Probabilistic Event Calculus -- Contextual Reasoning: Usually Birds can Abductively Fly -- Including Quantification in Defeasible Reasoning for the Description Logic EL bot -- A Monotonic View on Reflexive Autoepistemic Reasoning -- The Minimal Inference Problem over Finite Domains: The Landscape of Complexity -- Answer Set Programming -- Gelfond-Zhang aggregates as propositional formulas -- Answer Set Solving with Bounded Treewidth Revisited -- Vicious Circle Principle and Formation of Sets in ASP Based Languages -- Answer Set Programs with Queries over Subprograms -- Explaining Inconsistency in Answer Set Programs and Extensions -- Blending Lazy-Grounding and CDNL Search for Answer-Set Solving -- Answer Set Programming with Graded Modality -- LPNMR Systems -- The ASP System DLV2 -- lp2normal - A Normalization Tool for Extended Logic Programs -- Harvey: A System for Random Testing in ASP -- NoHR: Integrating XSB Prolog with the OWL 2 Profiles and Beyond -- ArgueApply: A Mobile App for Argumentation -- LPNMR Applications -- catnap: Generating Test Suites of Constrained Combinatorial Testing with Answer Set Programming -- Automatic Synthesis of Optimal-Size Concentrators by Answer Set Programming -- plasp 3: Towards effective ASP Planning -- Nurse Scheduling via Answer Set Programming -- Hybrid Metabolic Network Completion -- Action Language Hybrid AL -- moviola: Interpreting Dynamic Logic Programs via Multi-shot Answer Set Programming -- Adjudication of Coreference Annotations via Answer Set Optimization. . Tipo de medio : Computadora Summary : This book constitutes the refereed proceedings of the 14th International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR 2017, held in Espoo, Finland, in July 2017. The 16 full papers and 11 short papers presented in this volume were carefully reviewed and selected from 47 submissions. The book also contains 4 invited talks. The papers were organized in topical sections named: nonmonotonic reasoning; answer set programming; LPNMR systems; and LPNMR applications. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Logic Programming and Nonmonotonic Reasoning / Balduccini, Marcello ; Lierler, Yuliya ; Woltran, Stefan
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. Idioma : Inglés (eng) 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 Clasificación: 006.3 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. Tipo de medio : Computadora Summary : This book constitutes the refereed proceedings of the 15th International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR 2019, held in Philadelphia, PA, USA, in June 2019. The 22 full papers and 3 short papers presented in this volume were carefully reviewed and selected from a total of 39 submissions. The papers were organized in topical sections named: applications; argumentation; foundations and complexity; knowledge representation and reasoning; and systems. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] 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.
Idioma : Inglés (eng)
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 Clasificación: 006.3 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. Tipo de medio : Computadora Summary : This book constitutes the refereed proceedings of the 15th International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR 2019, held in Philadelphia, PA, USA, in June 2019. The 22 full papers and 3 short papers presented in this volume were carefully reviewed and selected from a total of 39 submissions. The papers were organized in topical sections named: applications; argumentation; foundations and complexity; knowledge representation and reasoning; and systems. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...]
