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
Índice Dewey:	006.3 Inteligencia artificial
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.
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

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
Índice Dewey:	006.3 Inteligencia artificial
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.
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