6th International Conference, MIKE 2018, Cluj-Napoca, Romania, December 20–22, 2018, Proceedings / Groza, Adrian ; Prasath, Rajendra  

Público ISBD Ningún comentario para este registro. Título : 6th International Conference, MIKE 2018, Cluj-Napoca, Romania, December 20–22, 2018, Proceedings Tipo de documento: documento electrónico Autores: Groza, Adrian, ; Prasath, Rajendra, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2018 Número de páginas: XIII, 386 p. 182 ilustraciones, 98 ilustraciones en color. ISBN/ISSN/DL: 978-3-030-05918-7 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 Índice Dewey: 006.3 Inteligencia artificial Resumen: Este libro constituye las actas arbitradas de la 6.ª Conferencia Internacional sobre Inteligencia Minera y Exploración del Conocimiento, MIKE 2018, celebrada en Cluj-Napoca, Rumania, en diciembre de 2018. Los 33 artículos completos presentados fueron cuidadosamente revisados ​​y seleccionados entre 93 presentaciones. Los artículos se agruparon en varios subtemas que incluyen computación evolutiva, exploración de conocimiento en IoT, inteligencia artificial, aprendizaje automático, procesamiento de imágenes, reconocimiento de patrones, procesamiento del habla, recuperación de información, procesamiento del lenguaje natural, análisis de redes sociales, seguridad y conjuntos aproximados difusos. Nota de contenido: Evolutionary computation -- Knowledge exploration in IoT -- Artificial intelligence -- Machine learning -- Image processing -- Pattern recognition -- Speech processing -- Information retrieval -- Natural language processing -- Social network analysis -- Security -- Fuzzy rough sets. 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 6th International Conference, MIKE 2018, Cluj-Napoca, Romania, December 20–22, 2018, Proceedings [documento electrónico] / Groza, Adrian, ; Prasath, Rajendra,  . -  1 ed.  . - [s.l.] : Springer, 2018 . - XIII, 386 p. 182 ilustraciones, 98 ilustraciones en color. ISBN : 978-3-030-05918-7 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 Índice Dewey: 006.3 Inteligencia artificial Resumen: Este libro constituye las actas arbitradas de la 6.ª Conferencia Internacional sobre Inteligencia Minera y Exploración del Conocimiento, MIKE 2018, celebrada en Cluj-Napoca, Rumania, en diciembre de 2018. Los 33 artículos completos presentados fueron cuidadosamente revisados ​​y seleccionados entre 93 presentaciones. Los artículos se agruparon en varios subtemas que incluyen computación evolutiva, exploración de conocimiento en IoT, inteligencia artificial, aprendizaje automático, procesamiento de imágenes, reconocimiento de patrones, procesamiento del habla, recuperación de información, procesamiento del lenguaje natural, análisis de redes sociales, seguridad y conjuntos aproximados difusos. Nota de contenido: Evolutionary computation -- Knowledge exploration in IoT -- Artificial intelligence -- Machine learning -- Image processing -- Pattern recognition -- Speech processing -- Information retrieval -- Natural language processing -- Social network analysis -- Security -- Fuzzy rough sets. 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

Modelling Puzzles in First Order Logic / Groza, Adrian  

Público ISBD Ningún comentario para este registro. Título : Modelling Puzzles in First Order Logic Tipo de documento: documento electrónico Autores: Groza, Adrian, Autor Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2021 Número de páginas: XV, 338 p. 208 ilustraciones, 93 ilustraciones en color. ISBN/ISSN/DL: 978-3-030-62547-4 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: Teoría de las máquinas  Programación lógica  Lógica matemática  Lenguajes formales y teoría de los autómatas  Lógica en IA  Lógica Matemática y Fundamentos  Computadoras y Educación Índice Dewey: 5.131 Resumen: Mantener a los estudiantes involucrados y aprendiendo activamente es un desafío. Los instructores de informática son conscientes del valor cognitivo de los rompecabezas de modelado y, a menudo, utilizan los rompecabezas lógicos como un instrumento pedagógico eficiente para involucrar a los estudiantes y desarrollar habilidades de resolución de problemas. Este libro único es un recurso integral que ofrece a los maestros y estudiantes actividades divertidas para enseñar y aprender lógica. Proporciona una formalización nueva, completa y funcional en lógica proposicional y de primer orden para más de 130 rompecabezas lógicos, incluidos rompecabezas tipo sudoku, rompecabezas tipo cebra, la isla de la verdad, la dama y los tigres, rompecabezas de cuadrícula, números extraños o rompecabezas de autorreferencia. Resolver rompecabezas con demostradores de teoremas puede ser un incentivo cognitivo eficaz para motivar a los estudiantes a aprender lógica. Encontrarán un formato listo para usar que ilustra cómo modelar cada rompecabezas, proporciona implementaciones funcionales y explica cada solución. Este libro de texto conciso y fácil de seguir es una herramienta de apoyo muy necesaria para los estudiantes que desean explorar más allá del nivel introductorio de aprendizaje de la lógica y para los profesores que buscan ejemplos para aumentar la participación de los estudiantes en sus cursos de informática. Nota de contenido: Preface -- Getting Started with Prover9 and Mace4 -- Micro Arithmetic Puzzles -- Strange Numbers -- Practical Puzzles -- Lady and Tigers -- Einstein Puzzles -- Island of Truth -- Love and Marriage -- Grid Puzzles -- Japanese Puzzles -- Russian Puzzles -- Polyomino Puzzles -- Self-reference and Other Puzzles -- Epigraph in Natural Language. 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 Modelling Puzzles in First Order Logic [documento electrónico] / Groza, Adrian, Autor  . -  1 ed.  . - [s.l.] : Springer, 2021 . - XV, 338 p. 208 ilustraciones, 93 ilustraciones en color. ISBN : 978-3-030-62547-4 Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos. Palabras clave: Teoría de las máquinas  Programación lógica  Lógica matemática  Lenguajes formales y teoría de los autómatas  Lógica en IA  Lógica Matemática y Fundamentos  Computadoras y Educación Índice Dewey: 5.131 Resumen: Mantener a los estudiantes involucrados y aprendiendo activamente es un desafío. Los instructores de informática son conscientes del valor cognitivo de los rompecabezas de modelado y, a menudo, utilizan los rompecabezas lógicos como un instrumento pedagógico eficiente para involucrar a los estudiantes y desarrollar habilidades de resolución de problemas. Este libro único es un recurso integral que ofrece a los maestros y estudiantes actividades divertidas para enseñar y aprender lógica. Proporciona una formalización nueva, completa y funcional en lógica proposicional y de primer orden para más de 130 rompecabezas lógicos, incluidos rompecabezas tipo sudoku, rompecabezas tipo cebra, la isla de la verdad, la dama y los tigres, rompecabezas de cuadrícula, números extraños o rompecabezas de autorreferencia. Resolver rompecabezas con demostradores de teoremas puede ser un incentivo cognitivo eficaz para motivar a los estudiantes a aprender lógica. Encontrarán un formato listo para usar que ilustra cómo modelar cada rompecabezas, proporciona implementaciones funcionales y explica cada solución. Este libro de texto conciso y fácil de seguir es una herramienta de apoyo muy necesaria para los estudiantes que desean explorar más allá del nivel introductorio de aprendizaje de la lógica y para los profesores que buscan ejemplos para aumentar la participación de los estudiantes en sus cursos de informática. Nota de contenido: Preface -- Getting Started with Prover9 and Mace4 -- Micro Arithmetic Puzzles -- Strange Numbers -- Practical Puzzles -- Lady and Tigers -- Einstein Puzzles -- Island of Truth -- Love and Marriage -- Grid Puzzles -- Japanese Puzzles -- Russian Puzzles -- Polyomino Puzzles -- Self-reference and Other Puzzles -- Epigraph in Natural Language. 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 - 2 / 2) Por página: 25 50 100 200