Información del autor
Autor Wáng, Yì N. |
Documentos disponibles escritos por este autor (3)
Crear una solicitud de compra Refinar búsqueda4th International Conference, CLAR 2021, Hangzhou, China, October 20–22, 2021, Proceedings / Baroni, Pietro ; Benzmüller, Christoph ; Wáng, Yì N.
TÃtulo : 4th International Conference, CLAR 2021, Hangzhou, China, October 20–22, 2021, Proceedings Tipo de documento: documento electrónico Autores: Baroni, Pietro, ; Benzmüller, Christoph, ; Wáng, Yì N., Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2021 Número de páginas: XV, 552 p. 97 ilustraciones, 46 ilustraciones en color. ISBN/ISSN/DL: 978-3-030-89391-0 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 Programación de computadoras Compiladores (programas informáticos) Algoritmos Ciencias de la Computación TeorÃa de las máquinas Técnicas de programación Compiladores e intérpretes Diseño y Análisis de Algoritmos Lógica informática y fundamentos de la programación Lenguajes formales y teorÃa de los autómatas Clasificación: Resumen: Este libro constituye las actas arbitradas de la 4ta Conferencia Internacional sobre Lógica y Argumentación, CLAR 2021, celebrada en Hangzhou, China, en octubre de 2021. Los 20 artÃculos completos y 10 breves presentados junto con 5 artÃculos invitados fueron cuidadosamente revisados ​​y seleccionados entre 58 presentaciones. . Los temas de los artÃculos aceptados cubren el enfoque de la serie CLAR, incluidos modelos formales de argumentación, una variedad de formalismos lógicos, razonamientos no monótonos, sistemas de disputa y diálogo, tratamiento formal de preferencia y apoyo, y aplicaciones en áreas como información sobre vacunas y tramitación de textos legales. Nota de contenido: Logic -- Proof theory -- Modal and temporal logics -- Automated reasoning -- Artificial intelligence -- Knowledge representation and reasoning -- Argumentation -- Nonmonotonic -- default reasoning and belief revision -- Reasoning about belief and logic -- Natural language processing. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] 4th International Conference, CLAR 2021, Hangzhou, China, October 20–22, 2021, Proceedings [documento electrónico] / Baroni, Pietro, ; Benzmüller, Christoph, ; Wáng, Yì N., . - 1 ed. . - [s.l.] : Springer, 2021 . - XV, 552 p. 97 ilustraciones, 46 ilustraciones en color.
ISBN : 978-3-030-89391-0
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 Programación de computadoras Compiladores (programas informáticos) Algoritmos Ciencias de la Computación TeorÃa de las máquinas Técnicas de programación Compiladores e intérpretes Diseño y Análisis de Algoritmos Lógica informática y fundamentos de la programación Lenguajes formales y teorÃa de los autómatas Clasificación: Resumen: Este libro constituye las actas arbitradas de la 4ta Conferencia Internacional sobre Lógica y Argumentación, CLAR 2021, celebrada en Hangzhou, China, en octubre de 2021. Los 20 artÃculos completos y 10 breves presentados junto con 5 artÃculos invitados fueron cuidadosamente revisados ​​y seleccionados entre 58 presentaciones. . Los temas de los artÃculos aceptados cubren el enfoque de la serie CLAR, incluidos modelos formales de argumentación, una variedad de formalismos lógicos, razonamientos no monótonos, sistemas de disputa y diálogo, tratamiento formal de preferencia y apoyo, y aplicaciones en áreas como información sobre vacunas y tramitación de textos legales. Nota de contenido: Logic -- Proof theory -- Modal and temporal logics -- Automated reasoning -- Artificial intelligence -- Knowledge representation and reasoning -- Argumentation -- Nonmonotonic -- default reasoning and belief revision -- Reasoning about belief and logic -- Natural language processing. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...]
TÃtulo : Context, Conflict and Reasoning : Proceedings of the Fifth Asian Workshop on Philosophical Logic Tipo de documento: documento electrónico Autores: Liao, Beishui, ; Wáng, Yì N., Mención de edición: 1 ed. Editorial: Singapore [Malasya] : Springer Fecha de publicación: 2020 Número de páginas: VII, 167 p. 1 ilustraciones ISBN/ISSN/DL: 978-981-1571343-- 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 Conocimiento TeorÃa de Redes neuronales (Informática) EpistemologÃa Modelos matemáticos de procesos cognitivos y redes neuronales Clasificación: 160 Lógica Resumen: Este volumen reúne a un grupo de lógicos de orientación filosófica y filósofos de mentalidad lógica, principalmente de Asia, para abordar una variedad de temas lógicos y filosóficos, como la lógica modal y direcciones relacionadas (por ejemplo, lógica temporal, lógica epistémica, lógica deóntica, lógica de condicionales y teorÃa de la prueba modal), teorÃa de la verdad, paradojas, intencionalidad y redes sociales. También se proponen nuevos enfoques, como la lógica modal extendida con planaridad de gráficos, la lógica temporal de ramificación extendida con operadores condicionales y un tratamiento relacional del lenguaje y los sistemas lógicos, por nombrar solo algunos. Dada la variedad de temas y cuestiones que se analizan aquÃ, el libro atraerá a lectores de una amplia gama de disciplinas, desde lógica matemática/filosófica, ciencias de la computación, ciencia cognitiva e inteligencia artificial, hasta lingüÃstica, teorÃa de juegos y más. Nota de contenido: Preface -- Paracomplete truth theory with a definable hierarchy of determinateness operators.-Paradoxes behind the Solovay sentences -- Multiple Roles and Deontic Logic -- EEG Evidence for Game-Theoretic Model to Ambiguous Pronoun Resolution -- On the Factivity Problem of Epistemic Contextualism -- Dynamic Epistemic Logic of Faith Diffusion in Cultural Circles -- Monotonic Opaqueness in Deontic Contexts -- Towards a Relational Treating of Language and Logical Systems -- Modal Logic and Planarity of Graphs -- Proof-theoretic Results of Common Sense Modal Predicate Calculi -- Strengthened Conditionals -- Intentionality as Disposition. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Context, Conflict and Reasoning : Proceedings of the Fifth Asian Workshop on Philosophical Logic [documento electrónico] / Liao, Beishui, ; Wáng, Yì N., . - 1 ed. . - Singapore [Malasya] : Springer, 2020 . - VII, 167 p. 1 ilustraciones.
ISBN : 978-981-1571343--
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 Conocimiento TeorÃa de Redes neuronales (Informática) EpistemologÃa Modelos matemáticos de procesos cognitivos y redes neuronales Clasificación: 160 Lógica Resumen: Este volumen reúne a un grupo de lógicos de orientación filosófica y filósofos de mentalidad lógica, principalmente de Asia, para abordar una variedad de temas lógicos y filosóficos, como la lógica modal y direcciones relacionadas (por ejemplo, lógica temporal, lógica epistémica, lógica deóntica, lógica de condicionales y teorÃa de la prueba modal), teorÃa de la verdad, paradojas, intencionalidad y redes sociales. También se proponen nuevos enfoques, como la lógica modal extendida con planaridad de gráficos, la lógica temporal de ramificación extendida con operadores condicionales y un tratamiento relacional del lenguaje y los sistemas lógicos, por nombrar solo algunos. Dada la variedad de temas y cuestiones que se analizan aquÃ, el libro atraerá a lectores de una amplia gama de disciplinas, desde lógica matemática/filosófica, ciencias de la computación, ciencia cognitiva e inteligencia artificial, hasta lingüÃstica, teorÃa de juegos y más. Nota de contenido: Preface -- Paracomplete truth theory with a definable hierarchy of determinateness operators.-Paradoxes behind the Solovay sentences -- Multiple Roles and Deontic Logic -- EEG Evidence for Game-Theoretic Model to Ambiguous Pronoun Resolution -- On the Factivity Problem of Epistemic Contextualism -- Dynamic Epistemic Logic of Faith Diffusion in Cultural Circles -- Monotonic Opaqueness in Deontic Contexts -- Towards a Relational Treating of Language and Logical Systems -- Modal Logic and Planarity of Graphs -- Proof-theoretic Results of Common Sense Modal Predicate Calculi -- Strengthened Conditionals -- Intentionality as Disposition. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...]
TÃtulo : Dynamics, Uncertainty and Reasoning : The Second Chinese Conference on Logic and Argumentation Tipo de documento: documento electrónico Autores: Liao, Beishui, ; Ã…gotnes, Thomas, ; Wáng, Yì N., Mención de edición: 1 ed. Editorial: Singapore [Malasya] : Springer Fecha de publicación: 2019 Número de páginas: XII, 207 p. 36 ilustraciones, 14 ilustraciones en color. ISBN/ISSN/DL: 978-981-1377914-- 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 Inteligencia artificial Clasificación: 160 Lógica Resumen: Este volumen recopila artÃculos seleccionados presentados en la Segunda Conferencia China sobre Lógica y Argumentación en 2018 celebrada en Hangzhou, China. Los artÃculos presentados reflejan avances recientes en lógica y argumentación, asà como las conexiones entre ambas, y también incluyen artÃculos invitados aportados por destacados expertos en estos campos. El libro cubre una amplia variedad de temas relacionados con la dinámica, la incertidumbre y el razonamiento. Continúa las discusiones sobre la interacción entre lógica y argumentación, que tiene una larga historia desde la lógica antigua de Aristóteles hasta la argumentación formal muy reciente en IA. Nota de contenido: On Structural Analysis of Extension-Based Argumentation Semantics -- Updating argumentation frameworks for enforcing extensions -- A Dynamic Approach for Combining Abstract Argumentation Semantics -- A Dynamic Logic Framework for Abstract Argumentation -- Fuzzy argumentation frameworks with comparing acceptability -- Soft Presuppositions as Scalar Implicatures in Signaling Games -- Towards a Logic of Value and Disagreement via Imprecise Measures -- A Modal Logic with Five Linguistic Truth Values -- A road to ultrafilter extensions -- Free Choice Permission: Perspectives from Substructural Logic. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Dynamics, Uncertainty and Reasoning : The Second Chinese Conference on Logic and Argumentation [documento electrónico] / Liao, Beishui, ; Ã…gotnes, Thomas, ; Wáng, Yì N., . - 1 ed. . - Singapore [Malasya] : Springer, 2019 . - XII, 207 p. 36 ilustraciones, 14 ilustraciones en color.
ISBN : 978-981-1377914--
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 Inteligencia artificial Clasificación: 160 Lógica Resumen: Este volumen recopila artÃculos seleccionados presentados en la Segunda Conferencia China sobre Lógica y Argumentación en 2018 celebrada en Hangzhou, China. Los artÃculos presentados reflejan avances recientes en lógica y argumentación, asà como las conexiones entre ambas, y también incluyen artÃculos invitados aportados por destacados expertos en estos campos. El libro cubre una amplia variedad de temas relacionados con la dinámica, la incertidumbre y el razonamiento. Continúa las discusiones sobre la interacción entre lógica y argumentación, que tiene una larga historia desde la lógica antigua de Aristóteles hasta la argumentación formal muy reciente en IA. Nota de contenido: On Structural Analysis of Extension-Based Argumentation Semantics -- Updating argumentation frameworks for enforcing extensions -- A Dynamic Approach for Combining Abstract Argumentation Semantics -- A Dynamic Logic Framework for Abstract Argumentation -- Fuzzy argumentation frameworks with comparing acceptability -- Soft Presuppositions as Scalar Implicatures in Signaling Games -- Towards a Logic of Value and Disagreement via Imprecise Measures -- A Modal Logic with Five Linguistic Truth Values -- A road to ultrafilter extensions -- Free Choice Permission: Perspectives from Substructural Logic. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...]
