Logic Programming and Nonmonotonic Reasoning / Balduccini, Marcello ; Janhunen, Tomi  

Público ISBD Ningún comentario para este registro. 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

---

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