7th International Workshop, LORI 2019, Chongqing, China, October 18–21, 2019, Proceedings / Blackburn, Patrick ; Lorini, Emiliano ; Guo, Meiyun  

Público ISBD Ningún comentario para este título. Título : 7th International Workshop, LORI 2019, Chongqing, China, October 18–21, 2019, Proceedings Tipo de documento: documento electrónico Autores: Blackburn, Patrick, ; Lorini, Emiliano, ; Guo, Meiyun, Mención de edición: 1 ed. Editorial: Berlin [Alemania] : Springer Fecha de publicación: 2019 Número de páginas: XXI, 441 p. 794 ilustraciones, 5 ilustraciones en color. ISBN/ISSN/DL: 978-3-662-60292-8 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: Lógica matemática  Teoría de las máquinas  Programación lógica  Compiladores (programas informáticos)  Ciencias sociales  Lógica Matemática y Fundamentos  Lenguajes formales y teoría de los autómatas  Lógica en IA  Compiladores e intérpretes  Aplicación informática en ciencias sociales y del comportamiento. Clasificación: 511.3 Resumen: Este libro LNCS es parte de la serie de libros FOLLI y constituye las actas del Séptimo Taller Internacional sobre Lógica, Racionalidad e Interacción, LORI 2019, celebrado en Chongqing, China, en octubre de 2019. Los 31 artículos presentados en este libro fueron revisados ​​cuidadosamente. y seleccionado entre 56 presentaciones. Se centran en los siguientes temas: agencia; argumentación y acuerdo; revisión de creencias y fusión de creencias; representación de creencias; cooperación; toma de decisiones y planificación; lenguaje natural; filosofía y lógica filosófica; y razonamiento estratégico. Nota de contenido: On the Right Path: A Modal Logic for Supervised Learning -- Elementary Iterated Revision and the Levi Identity -- Undefinability in inquisitive logic with tensor -- Minimal-change counterfactuals in intuitionistic logic -- Consolidation of Belief in Two Logics of Evidence -- From Classical to Non-Monotonic Deontic Logic using ASPIC+ -- A discrete representation of lattice frames -- Group Announcement Logic with Distributed Knowledge -- Towards a Logic for Conditional Local Strategic Reasoning -- Multi-agent knowing how via multi-step plans: a dynamic epistemic planning based approach -- The sequent systems and algebraic semantics of intuitionistic tense logics -- Weakly Aggregative Modal Logic: Characterization and Interpolation -- Dynamic Term-Modal Logic for Epistemic Social Network Dynamics -- Analyzing Echo Chambers: A Logic of Strong and Weak Ties -- Public Group Announcements and Trust in Doxastic Logic -- Bipolar Argumentation Frameworks, Modal Logic and Semantic Paradoxes -- Improving JudgmentReliability in Social Networks via Jury Theorems -- Term-Sequence-Modal Logics -- A Logical and Empirical Study of Counterfactuals with Nested Consequence -- First Degree Entailment with group attitudes and information updates -- Knowledge in Topological Argumentation Models -- Towards a logical formalisation of Theory of Mind: a study on False Belief Tasks -- A Two-layer Partition Awareness Structure -- First-Order Intuitionistic Epistemic Logic -- A Neutral Temporal Deontic STIT Logic -- Evaluating Networks of Arguments: A Case Study in Mimamsa Dialectics -- Who Should Be My Friends? Social Balance from the Perspective of Game Theory -- Epistemic Logic with Partial Dependency Operator -- Knowledge-now and Knowledge-all -- A Logic of Knowing How with Skippable Plans -- A Dynamic Hybrid Logic for Followership. Tipo de medio : Computadora Summary : This LNCS book is part of the FOLLI book series and constitutes the proceedings of the 7th International Workshop on Logic, Rationality, and Interaction, LORI 2019, held in Chongqing, China, in October 2019. The 31 papers presented in this book were carefully reviewed and selected from 56 submissions. They focus on the following topics: agency; argumentation and agreement; belief revision and belief merging; belief representation; cooperation; decision making and planning; natural language; philosophy and philosophical logic; and strategic reasoning. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] 7th International Workshop, LORI 2019, Chongqing, China, October 18–21, 2019, Proceedings [documento electrónico] / Blackburn, Patrick, ; Lorini, Emiliano, ; Guo, Meiyun,  . -  1 ed.  . - Berlin [Alemania] : Springer, 2019 . - XXI, 441 p. 794 ilustraciones, 5 ilustraciones en color. ISBN : 978-3-662-60292-8 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: Lógica matemática  Teoría de las máquinas  Programación lógica  Compiladores (programas informáticos)  Ciencias sociales  Lógica Matemática y Fundamentos  Lenguajes formales y teoría de los autómatas  Lógica en IA  Compiladores e intérpretes  Aplicación informática en ciencias sociales y del comportamiento. Clasificación: 511.3 Resumen: Este libro LNCS es parte de la serie de libros FOLLI y constituye las actas del Séptimo Taller Internacional sobre Lógica, Racionalidad e Interacción, LORI 2019, celebrado en Chongqing, China, en octubre de 2019. Los 31 artículos presentados en este libro fueron revisados ​​cuidadosamente. y seleccionado entre 56 presentaciones. Se centran en los siguientes temas: agencia; argumentación y acuerdo; revisión de creencias y fusión de creencias; representación de creencias; cooperación; toma de decisiones y planificación; lenguaje natural; filosofía y lógica filosófica; y razonamiento estratégico. Nota de contenido: On the Right Path: A Modal Logic for Supervised Learning -- Elementary Iterated Revision and the Levi Identity -- Undefinability in inquisitive logic with tensor -- Minimal-change counterfactuals in intuitionistic logic -- Consolidation of Belief in Two Logics of Evidence -- From Classical to Non-Monotonic Deontic Logic using ASPIC+ -- A discrete representation of lattice frames -- Group Announcement Logic with Distributed Knowledge -- Towards a Logic for Conditional Local Strategic Reasoning -- Multi-agent knowing how via multi-step plans: a dynamic epistemic planning based approach -- The sequent systems and algebraic semantics of intuitionistic tense logics -- Weakly Aggregative Modal Logic: Characterization and Interpolation -- Dynamic Term-Modal Logic for Epistemic Social Network Dynamics -- Analyzing Echo Chambers: A Logic of Strong and Weak Ties -- Public Group Announcements and Trust in Doxastic Logic -- Bipolar Argumentation Frameworks, Modal Logic and Semantic Paradoxes -- Improving JudgmentReliability in Social Networks via Jury Theorems -- Term-Sequence-Modal Logics -- A Logical and Empirical Study of Counterfactuals with Nested Consequence -- First Degree Entailment with group attitudes and information updates -- Knowledge in Topological Argumentation Models -- Towards a logical formalisation of Theory of Mind: a study on False Belief Tasks -- A Two-layer Partition Awareness Structure -- First-Order Intuitionistic Epistemic Logic -- A Neutral Temporal Deontic STIT Logic -- Evaluating Networks of Arguments: A Case Study in Mimamsa Dialectics -- Who Should Be My Friends? Social Balance from the Perspective of Game Theory -- Epistemic Logic with Partial Dependency Operator -- Knowledge-now and Knowledge-all -- A Logic of Knowing How with Skippable Plans -- A Dynamic Hybrid Logic for Followership. Tipo de medio : Computadora Summary : This LNCS book is part of the FOLLI book series and constitutes the proceedings of the 7th International Workshop on Logic, Rationality, and Interaction, LORI 2019, held in Chongqing, China, in October 2019. The 31 papers presented in this book were carefully reviewed and selected from 56 submissions. They focus on the following topics: agency; argumentation and agreement; belief revision and belief merging; belief representation; cooperation; decision making and planning; natural language; philosophy and philosophical logic; and strategic reasoning. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...]

---

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