| 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. |
| 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 |
| Índice Dewey: |
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. |
| 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 |
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.
| 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 |
| Índice Dewey: |
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. |
| 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 |
|  |
Hacer una sugerencia Refinar búsqueda7th International Workshop, LORI 2019, Chongqing, China, October 18–21, 2019, Proceedings / Blackburn, Patrick ; Lorini, Emiliano ; Guo, Meiyun
