Información del autor
Autor Benzmüller, Christoph |
Documentos disponibles escritos por este autor (4)
Crear una solicitud de compra Refinar búsqueda13th International Conference, CICM 2020, Bertinoro, Italy, July 26–31, 2020, Proceedings / Benzmüller, Christoph ; Miller, Bruce
TÃtulo : 13th International Conference, CICM 2020, Bertinoro, Italy, July 26–31, 2020, Proceedings Tipo de documento: documento electrónico Autores: Benzmüller, Christoph, ; Miller, Bruce, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2020 Número de páginas: XI, 337 p. 445 ilustraciones, 54 ilustraciones en color. ISBN/ISSN/DL: 978-3-030-53518-6 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: IngenierÃa de software Entornos informáticos Inteligencia artificial Aplicaciones informáticas y de sistemas de información Redes de comunicación informática TeorÃa de la Computación Application software Red informática Informática Ordenador Clasificación: Resumen: Este libro constituye las actas arbitradas de la 13.ª Conferencia Internacional sobre Matemáticas Informáticas Inteligentes, CICM 2020, celebrada en Bertinoro, Italia, en julio de 2020*. Los 15 artÃculos completos, 1 artÃculo invitado y 2 resúmenes de artÃculos invitados presentados fueron cuidadosamente revisados ​​y seleccionados de un total de 35 presentaciones. Los artÃculos se centran en los avances en la formalización y demostradores automatizados de teoremas, los sistemas de álgebra informática y sus bibliotecas, y las aplicaciones del aprendizaje automático, entre otros temas. *La conferencia se realizó de manera virtual debido a la pandemia de COVID-19. Nota de contenido: Invited Talks -- Full Papers -- System Descriptions and Datasets -- Abstracts of Invited Talks. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] 13th International Conference, CICM 2020, Bertinoro, Italy, July 26–31, 2020, Proceedings [documento electrónico] / Benzmüller, Christoph, ; Miller, Bruce, . - 1 ed. . - [s.l.] : Springer, 2020 . - XI, 337 p. 445 ilustraciones, 54 ilustraciones en color.
ISBN : 978-3-030-53518-6
Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos.
Palabras clave: IngenierÃa de software Entornos informáticos Inteligencia artificial Aplicaciones informáticas y de sistemas de información Redes de comunicación informática TeorÃa de la Computación Application software Red informática Informática Ordenador Clasificación: Resumen: Este libro constituye las actas arbitradas de la 13.ª Conferencia Internacional sobre Matemáticas Informáticas Inteligentes, CICM 2020, celebrada en Bertinoro, Italia, en julio de 2020*. Los 15 artÃculos completos, 1 artÃculo invitado y 2 resúmenes de artÃculos invitados presentados fueron cuidadosamente revisados ​​y seleccionados de un total de 35 presentaciones. Los artÃculos se centran en los avances en la formalización y demostradores automatizados de teoremas, los sistemas de álgebra informática y sus bibliotecas, y las aplicaciones del aprendizaje automático, entre otros temas. *La conferencia se realizó de manera virtual debido a la pandemia de COVID-19. Nota de contenido: Invited Talks -- Full Papers -- System Descriptions and Datasets -- Abstracts of Invited Talks. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...]
TÃtulo : 42nd German Conference on AI, Kassel, Germany, September 23–26, 2019, Proceedings Tipo de documento: documento electrónico Autores: Benzmüller, Christoph, ; Stuckenschmidt, Heiner, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2019 Número de páginas: XI, 354 p. 170 ilustraciones, 60 ilustraciones en color. ISBN/ISSN/DL: 978-3-030-30179-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: Inteligencia artificial Redes de comunicación informática IngenierÃa Informática y Redes Lenguajes formales y teorÃa de los autómatas IngenierÃa Informática Red informática TeorÃa de las máquinas Algoritmo Clasificación: Resumen: Este libro constituye las actas arbitradas de la 42.ª Conferencia Alemana sobre Inteligencia Artificial, KI 2019, celebrada en Kassel, Alemania, en septiembre de 2019. Los 16 artÃculos completos y 10 artÃculos breves presentados junto con 3 resúmenes extendidos en este volumen fueron cuidadosamente revisados ​​y seleccionados de 82 presentaciones. KI 2019 tiene un tema de enfoque especial en "Métodos de IA para la argumentación" y especialmente contribuciones invitadas que utilizan métodos de todas las áreas de IA para comprender, formalizar o generar estructuras de argumentos en lenguaje natural. Nota de contenido: Towards Computational Persuasion via Natural Language Argumentation Dialogues -- Analogy-Based Preference Learning with Kernels -- Data Acquisition for Argument Search: The args.me Corpus -- Monotone and Online Fair Division -- A human-oriented System for Equational Reasoning -- Mixing Description Logics in Privacy-Preserving Ontology Publishing -- Clustering of Argument Graphs Using Semantic Similarity Measures -- Reducing Search Space of Genetic Algorithms for Fast Black Box Attacks on Image Classifiers -- An Empirical Study of the Usefulness of State-Dependent Action Costs in Planning -- Strong Equivalence for Argumentation Frameworks with Collective Attacks -- Developing Fuzzy Inference Systems from Qualitative Interviews for Travel Mode Choice in an Agent-based Mobility Simulation -- Monte-Carlo Search for Prize-Collecting Robot Motion Planning with Time Windows, Capacities, Pickups, and Deliveries -- Automated Robot Skill Learning from Demonstration for Various Robot Systems -- Learning Gradient-based ICA by Neurally Estimating Mutual Information -- Enhancing Explainability of Deep Reinforcement Learning Through Selective Layer-Wise Relevance Propagation.-A Crow Search-based Genetic Algorithm for Solving Two-dimensional Bin Packing Problem -- Extracting Reasons for Moral Judgments Under Various Ethical Principles -- Gaussian Lifted Marginal Filtering -- An Introduction to AnyBURL -- Simplifying Automated Pattern Selection for Planning with Symbolic Pattern Databases -- ALICA 2.0 - Domain-Independent Teamwork -- Extending Modular Semantics for Bipolar Weighted Argumentation (Extended Abstract) -- Epistemic Multi-Agent Planning Using Monte-Carlo Tree Search -- Towards Intuitive Robot Programming Using Finite State Automata -- Improving Implicit Stance Classification in Tweets Using Word and Sentence Embeddings -- Towards Leveraging Backdoors in Qualitative Constraint Networks -- GAN Path Finder: Preliminary Results -- InformatiCup Competition 2019: Fooling Traffic Sign Recognition -- TheHigher-Order Prover Leo-III -- Personalized Transaction Kernels for Recommendation Using MCTS. . Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] 42nd German Conference on AI, Kassel, Germany, September 23–26, 2019, Proceedings [documento electrónico] / Benzmüller, Christoph, ; Stuckenschmidt, Heiner, . - 1 ed. . - [s.l.] : Springer, 2019 . - XI, 354 p. 170 ilustraciones, 60 ilustraciones en color.
ISBN : 978-3-030-30179-8
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 Redes de comunicación informática IngenierÃa Informática y Redes Lenguajes formales y teorÃa de los autómatas IngenierÃa Informática Red informática TeorÃa de las máquinas Algoritmo Clasificación: Resumen: Este libro constituye las actas arbitradas de la 42.ª Conferencia Alemana sobre Inteligencia Artificial, KI 2019, celebrada en Kassel, Alemania, en septiembre de 2019. Los 16 artÃculos completos y 10 artÃculos breves presentados junto con 3 resúmenes extendidos en este volumen fueron cuidadosamente revisados ​​y seleccionados de 82 presentaciones. KI 2019 tiene un tema de enfoque especial en "Métodos de IA para la argumentación" y especialmente contribuciones invitadas que utilizan métodos de todas las áreas de IA para comprender, formalizar o generar estructuras de argumentos en lenguaje natural. Nota de contenido: Towards Computational Persuasion via Natural Language Argumentation Dialogues -- Analogy-Based Preference Learning with Kernels -- Data Acquisition for Argument Search: The args.me Corpus -- Monotone and Online Fair Division -- A human-oriented System for Equational Reasoning -- Mixing Description Logics in Privacy-Preserving Ontology Publishing -- Clustering of Argument Graphs Using Semantic Similarity Measures -- Reducing Search Space of Genetic Algorithms for Fast Black Box Attacks on Image Classifiers -- An Empirical Study of the Usefulness of State-Dependent Action Costs in Planning -- Strong Equivalence for Argumentation Frameworks with Collective Attacks -- Developing Fuzzy Inference Systems from Qualitative Interviews for Travel Mode Choice in an Agent-based Mobility Simulation -- Monte-Carlo Search for Prize-Collecting Robot Motion Planning with Time Windows, Capacities, Pickups, and Deliveries -- Automated Robot Skill Learning from Demonstration for Various Robot Systems -- Learning Gradient-based ICA by Neurally Estimating Mutual Information -- Enhancing Explainability of Deep Reinforcement Learning Through Selective Layer-Wise Relevance Propagation.-A Crow Search-based Genetic Algorithm for Solving Two-dimensional Bin Packing Problem -- Extracting Reasons for Moral Judgments Under Various Ethical Principles -- Gaussian Lifted Marginal Filtering -- An Introduction to AnyBURL -- Simplifying Automated Pattern Selection for Planning with Symbolic Pattern Databases -- ALICA 2.0 - Domain-Independent Teamwork -- Extending Modular Semantics for Bipolar Weighted Argumentation (Extended Abstract) -- Epistemic Multi-Agent Planning Using Monte-Carlo Tree Search -- Towards Intuitive Robot Programming Using Finite State Automata -- Improving Implicit Stance Classification in Tweets Using Word and Sentence Embeddings -- Towards Leveraging Backdoors in Qualitative Constraint Networks -- GAN Path Finder: Preliminary Results -- InformatiCup Competition 2019: Fooling Traffic Sign Recognition -- TheHigher-Order Prover Leo-III -- Personalized Transaction Kernels for Recommendation Using MCTS. . Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...]
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 : Second International Joint Conference, RuleML+RR 2018, Luxembourg, Luxembourg, September 18–21, 2018, Proceedings Tipo de documento: documento electrónico Autores: Benzmüller, Christoph, ; Ricca, Francesco, ; Parent, Xavier, ; Roman, Dumitru, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2018 Número de páginas: XXIII, 328 p. 80 ilustraciones ISBN/ISSN/DL: 978-3-319-99906-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: Programación de computadoras Compiladores (programas informáticos) Inteligencia artificial TeorÃa de las máquinas Ciencias de la Computación TecnologÃa de la información Técnicas de programación Compiladores e intérpretes Lenguajes formales y teorÃa de los autómatas Lógica informática y fundamentos de la programación Aplicación Informática en Tratamiento de Datos Administrativos Clasificación: Resumen: Este libro constituye las actas de la Conferencia Internacional Conjunta sobre Reglas y Razonamiento, RuleML+RR 2018, celebrada en Luxemburgo durante septiembre de 2018. Esta es la segunda conferencia de una nueva serie, que une los esfuerzos de dos series de conferencias existentes, a saber, "RuleML". (Simposio Internacional de Reglas Web) y "RR" (Sistemas de Reglas y Razonamiento Web). Los 10 artÃculos de investigación completos presentados junto con 5 comunicaciones técnicas extensas y 7 artÃculos breves fueron cuidadosamente revisados ​​y seleccionados entre 33 presentaciones. Nota de contenido: Technical Communication -- Novel Technologies -- Innovative Applications about Knowledge Representation. Reasoning with rules. . Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Second International Joint Conference, RuleML+RR 2018, Luxembourg, Luxembourg, September 18–21, 2018, Proceedings [documento electrónico] / Benzmüller, Christoph, ; Ricca, Francesco, ; Parent, Xavier, ; Roman, Dumitru, . - 1 ed. . - [s.l.] : Springer, 2018 . - XXIII, 328 p. 80 ilustraciones.
ISBN : 978-3-319-99906-7
Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos.
Palabras clave: Programación de computadoras Compiladores (programas informáticos) Inteligencia artificial TeorÃa de las máquinas Ciencias de la Computación TecnologÃa de la información Técnicas de programación Compiladores e intérpretes Lenguajes formales y teorÃa de los autómatas Lógica informática y fundamentos de la programación Aplicación Informática en Tratamiento de Datos Administrativos Clasificación: Resumen: Este libro constituye las actas de la Conferencia Internacional Conjunta sobre Reglas y Razonamiento, RuleML+RR 2018, celebrada en Luxemburgo durante septiembre de 2018. Esta es la segunda conferencia de una nueva serie, que une los esfuerzos de dos series de conferencias existentes, a saber, "RuleML". (Simposio Internacional de Reglas Web) y "RR" (Sistemas de Reglas y Razonamiento Web). Los 10 artÃculos de investigación completos presentados junto con 5 comunicaciones técnicas extensas y 7 artÃculos breves fueron cuidadosamente revisados ​​y seleccionados entre 33 presentaciones. Nota de contenido: Technical Communication -- Novel Technologies -- Innovative Applications about Knowledge Representation. Reasoning with rules. . Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...]
