Autor Balduccini, Marcello
|
|
Documentos disponibles escritos por este autor (2)
Hacer una sugerencia 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. 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 Ãndice Dewey: 006.3 Inteligencia artificial 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. . 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 : 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.
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 Ãndice Dewey: 006.3 Inteligencia artificial 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. . 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 / 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. 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
