Información del autor
Autor Friedrich, Gerhard |
Documentos disponibles escritos por este autor (2)
Crear una solicitud de compra Refinar búsquedaAdvances and Trends in Artificial Intelligence. From Theory to Practice / Wotawa, Franz ; Friedrich, Gerhard ; Pill, Ingo ; Koitz-Hristov, Roxane ; Ali, Moonis
TÃtulo : Advances and Trends in Artificial Intelligence. From Theory to Practice : 32nd International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2019, Graz, Austria, July 9–11, 2019, Proceedings / Tipo de documento: documento electrónico Autores: Wotawa, Franz, ; Friedrich, Gerhard, ; Pill, Ingo, ; Koitz-Hristov, Roxane, ; Ali, Moonis, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2019 Número de páginas: XXIII, 865 p. 653 ilustraciones, 201 ilustraciones en color. ISBN/ISSN/DL: 978-3-030-22999-3 Nota general: Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos. Idioma : Inglés (eng) Palabras clave: Inteligencia artificial Red de computadoras IngenierÃa Informática Ciencias de la Computación Informática Protección de datos Redes de comunicación informática IngenierÃa Informática y Redes TeorÃa de la Computación Matemáticas de la Computación Seguridad de datos e información Clasificación: 006.3 Resumen: Este libro constituye las actas minuciosamente arbitradas de la 32.ª Conferencia Internacional sobre Aplicaciones Industriales, de IngenierÃa y Otras Aplicaciones de Sistemas Inteligentes Aplicados, IEA/AIE 2019, celebrada en Graz, Austria, en julio de 2019. Los 41 artÃculos completos y 32 artÃculos breves presentados fueron cuidadosamente revisado y seleccionado entre 151 presentaciones. La conferencia IEA/AIE 2019 continuará la tradición de enfatizar las aplicaciones de sistemas inteligentes aplicados para resolver problemas de la vida real en todas las áreas. Estas áreas incluyen ingenierÃa, ciencia, industria, automatización y robótica, negocios y finanzas, medicina y biomedicina, bioinformática, ciberespacio e interacciones hombre-máquina. IEA/AIE 2019 tendrá un enfoque especial en la conducción automatizada y los sistemas autónomos y también en contribuciones relacionadas con dichos sistemas o su verificación y validación. . Nota de contenido: AI for Estimation and Prediction -- Applied Neural Networks -- Autonomous Systems and Automated Driving -- Data Science and Security -- Decision Support Systems and Recommender Systems -- Fault Detection and Diagnosis -- Intelligent Information Storage and Retrieval -- Intelligent Systems in Real-Life Applications -- Knowledge Representation and Reasoning -- Mobile and Autonomous Robotics -- Natural Language Processing and Sentiment Analysis -- Optimization. Tipo de medio : Computadora Summary : This book constitutes the thoroughly refereed proceedings of the 32nd International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2019, held in Graz, Austria, in July 2019. The 41 full papers and 32 short papers presented were carefully reviewed and selected from 151 submissions. The IEA/AIE 2019 conference will continue the tradition of emphasizing on applications of applied intelligent systems to solve real-life problems in all areas. These areas include engineering, science, industry, automation and robotics, business and finance, medicine and biomedicine, bioinformatics, cyberspace, and human-machine interactions. IEA/AIE 2019 will have a special focus on automated driving and autonomous systems and also contributions dealing with such systems or their verification and validation as well. . Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Advances and Trends in Artificial Intelligence. From Theory to Practice : 32nd International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2019, Graz, Austria, July 9–11, 2019, Proceedings / [documento electrónico] / Wotawa, Franz, ; Friedrich, Gerhard, ; Pill, Ingo, ; Koitz-Hristov, Roxane, ; Ali, Moonis, . - 1 ed. . - [s.l.] : Springer, 2019 . - XXIII, 865 p. 653 ilustraciones, 201 ilustraciones en color.
ISBN : 978-3-030-22999-3
Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos.
Idioma : Inglés (eng)
Palabras clave: Inteligencia artificial Red de computadoras IngenierÃa Informática Ciencias de la Computación Informática Protección de datos Redes de comunicación informática IngenierÃa Informática y Redes TeorÃa de la Computación Matemáticas de la Computación Seguridad de datos e información Clasificación: 006.3 Resumen: Este libro constituye las actas minuciosamente arbitradas de la 32.ª Conferencia Internacional sobre Aplicaciones Industriales, de IngenierÃa y Otras Aplicaciones de Sistemas Inteligentes Aplicados, IEA/AIE 2019, celebrada en Graz, Austria, en julio de 2019. Los 41 artÃculos completos y 32 artÃculos breves presentados fueron cuidadosamente revisado y seleccionado entre 151 presentaciones. La conferencia IEA/AIE 2019 continuará la tradición de enfatizar las aplicaciones de sistemas inteligentes aplicados para resolver problemas de la vida real en todas las áreas. Estas áreas incluyen ingenierÃa, ciencia, industria, automatización y robótica, negocios y finanzas, medicina y biomedicina, bioinformática, ciberespacio e interacciones hombre-máquina. IEA/AIE 2019 tendrá un enfoque especial en la conducción automatizada y los sistemas autónomos y también en contribuciones relacionadas con dichos sistemas o su verificación y validación. . Nota de contenido: AI for Estimation and Prediction -- Applied Neural Networks -- Autonomous Systems and Automated Driving -- Data Science and Security -- Decision Support Systems and Recommender Systems -- Fault Detection and Diagnosis -- Intelligent Information Storage and Retrieval -- Intelligent Systems in Real-Life Applications -- Knowledge Representation and Reasoning -- Mobile and Autonomous Robotics -- Natural Language Processing and Sentiment Analysis -- Optimization. Tipo de medio : Computadora Summary : This book constitutes the thoroughly refereed proceedings of the 32nd International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2019, held in Graz, Austria, in July 2019. The 41 full papers and 32 short papers presented were carefully reviewed and selected from 151 submissions. The IEA/AIE 2019 conference will continue the tradition of emphasizing on applications of applied intelligent systems to solve real-life problems in all areas. These areas include engineering, science, industry, automation and robotics, business and finance, medicine and biomedicine, bioinformatics, cyberspace, and human-machine interactions. IEA/AIE 2019 will have a special focus on automated driving and autonomous systems and also contributions dealing with such systems or their verification and validation as well. . Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...]
TÃtulo : Logics in Artificial Intelligence : 17th European Conference, JELIA 2021, Virtual Event, May 17–20, 2021, Proceedings / Tipo de documento: documento electrónico Autores: Faber, Wolfgang, ; Friedrich, Gerhard, ; Gebser, Martin, ; Morak, Michael, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2021 Número de páginas: XIII, 459 p. 60 ilustraciones, 36 ilustraciones en color. ISBN/ISSN/DL: 978-3-030-75775-5 Nota general: Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos. Idioma : Inglés (eng) Palabras clave: Inteligencia artificial Software de la aplicacion Computadoras Propósitos especiales Ciencias de la Computación TeorÃa de las máquinas Programación de computadoras Aplicaciones informáticas y de sistemas de información Sistemas de propósito especial y basados ​​en aplicaciones Lógica informática y fundamentos de la programación. Lenguajes formales y teorÃa de los autómatas Técnicas de programación Clasificación: 006.3 Resumen: Este libro constituye las actas de la 17.ª Conferencia europea sobre lógica en inteligencia artificial, JELIA 2021, celebrada como evento virtual en mayo de 2021. Los 27 artÃculos completos y 3 artÃculos breves incluidos en este volumen fueron cuidadosamente revisados ​​y seleccionados entre 68 presentaciones. Los artÃculos aceptados abarcan una serie de áreas dentro de la Lógica en IA, que incluyen: argumentación; revisión de creencias; razonamiento sobre acciones, causalidad y cambio; satisfacción de restricciones; lógicas de descripción y razonamiento ontológico; lógicas no clásicas; y programación lógica (programación de conjuntos de respuestas). Nota de contenido: Graph-Classes of Argumentation Frameworks with Collective Attacks -- Introducing a Tool for Concurrent Argumentation -- Probabilistic Argumentation: an Approach Based on Conditional Probability – a Preliminary Report -- Conditional Descriptor Revision and its Implementation by a CSP -- Trust is All You Need: From Belief Revision to Information Revision -- Computing Defeasible Meta-Logic -- Syntax Splitting for Iterated Contractions, Ignorations, and Revisions Using Selection Strategies -- An Epistemic Logic for Multi-Agent Systems with Budget and Costs -- Epistemic Reasoning About Rationality and Bids in Auction -- Tractable Combinations of Theories via Sampling -- Analyzing Refutability of Difference Constraint Systems in Selected Refutation Systems -- Residuation for Lexicographic Orders -- Exploiting forwardness: Satisfiability and Query-Entailment in Forward Guarded Fragment -- An Algebraic View on p-Admissible Concrete Domains for Lightweight Description Logics -- ReAD: AD-Based Modular Ontology Classification -- Weighted Defeasible Knowledge Bases and a Multipreference Semantics for a Deep Neural Network Model -- A Computationally Grounded Logic of Graded Belief -- Tractability Frontiers in Probabilistic Team Semantics and Existential Second-Order Logic Over the Reals -- An Epistemic Probabilistic Logic With Conditional Probabilities -- On Syntactic Forgetting under Uniform Equivalence -- Solving a Multi-Resource Partial-Ordering Flexible Variant of the Job-Shop Scheduling Problem with Hybrid ASP -- Tractable Reasoning Using Logic Programs with Intensional Concepts -- Estimating Grounding Sizes of Logic Programs under Answer Set Semantics and System Predictor -- Testing in ASP: Revisited Language and Programming Environment -- An Abstract View on Optimizations in SAT and ASP -- Model Reconciliation in Logic Programs -- Lazy Stream Manipulation in Prolog via Backtracking: the Case of 2P-Kt -- Transforming Gringo Rules Into Formulas in a Natural Way -- DualGrounder: Lazy Instantiation via Clingo Multi-Shot Framework -- A Multi-shot ASP Encoding for the Aircraft Routing and Maintenance Planning Problem. Tipo de medio : Computadora Summary : This book constitutes the proceedings of the 17th European Conference on Logics in Artificial Intelligence, JELIA 2021, held as a virtual event, in May 2021. The 27 full papers and 3 short papers included in this volume were carefully reviewed and selected from 68 submissions. The accepted papers span a number of areas within Logics in AI, including: argumentation; belief revision; reasoning about actions, causality, and change; constraint satisfaction; description logics and ontological reasoning; non-classical logics; and logic programming (answer set programming). Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Logics in Artificial Intelligence : 17th European Conference, JELIA 2021, Virtual Event, May 17–20, 2021, Proceedings / [documento electrónico] / Faber, Wolfgang, ; Friedrich, Gerhard, ; Gebser, Martin, ; Morak, Michael, . - 1 ed. . - [s.l.] : Springer, 2021 . - XIII, 459 p. 60 ilustraciones, 36 ilustraciones en color.
ISBN : 978-3-030-75775-5
Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos.
Idioma : Inglés (eng)
Palabras clave: Inteligencia artificial Software de la aplicacion Computadoras Propósitos especiales Ciencias de la Computación TeorÃa de las máquinas Programación de computadoras Aplicaciones informáticas y de sistemas de información Sistemas de propósito especial y basados ​​en aplicaciones Lógica informática y fundamentos de la programación. Lenguajes formales y teorÃa de los autómatas Técnicas de programación Clasificación: 006.3 Resumen: Este libro constituye las actas de la 17.ª Conferencia europea sobre lógica en inteligencia artificial, JELIA 2021, celebrada como evento virtual en mayo de 2021. Los 27 artÃculos completos y 3 artÃculos breves incluidos en este volumen fueron cuidadosamente revisados ​​y seleccionados entre 68 presentaciones. Los artÃculos aceptados abarcan una serie de áreas dentro de la Lógica en IA, que incluyen: argumentación; revisión de creencias; razonamiento sobre acciones, causalidad y cambio; satisfacción de restricciones; lógicas de descripción y razonamiento ontológico; lógicas no clásicas; y programación lógica (programación de conjuntos de respuestas). Nota de contenido: Graph-Classes of Argumentation Frameworks with Collective Attacks -- Introducing a Tool for Concurrent Argumentation -- Probabilistic Argumentation: an Approach Based on Conditional Probability – a Preliminary Report -- Conditional Descriptor Revision and its Implementation by a CSP -- Trust is All You Need: From Belief Revision to Information Revision -- Computing Defeasible Meta-Logic -- Syntax Splitting for Iterated Contractions, Ignorations, and Revisions Using Selection Strategies -- An Epistemic Logic for Multi-Agent Systems with Budget and Costs -- Epistemic Reasoning About Rationality and Bids in Auction -- Tractable Combinations of Theories via Sampling -- Analyzing Refutability of Difference Constraint Systems in Selected Refutation Systems -- Residuation for Lexicographic Orders -- Exploiting forwardness: Satisfiability and Query-Entailment in Forward Guarded Fragment -- An Algebraic View on p-Admissible Concrete Domains for Lightweight Description Logics -- ReAD: AD-Based Modular Ontology Classification -- Weighted Defeasible Knowledge Bases and a Multipreference Semantics for a Deep Neural Network Model -- A Computationally Grounded Logic of Graded Belief -- Tractability Frontiers in Probabilistic Team Semantics and Existential Second-Order Logic Over the Reals -- An Epistemic Probabilistic Logic With Conditional Probabilities -- On Syntactic Forgetting under Uniform Equivalence -- Solving a Multi-Resource Partial-Ordering Flexible Variant of the Job-Shop Scheduling Problem with Hybrid ASP -- Tractable Reasoning Using Logic Programs with Intensional Concepts -- Estimating Grounding Sizes of Logic Programs under Answer Set Semantics and System Predictor -- Testing in ASP: Revisited Language and Programming Environment -- An Abstract View on Optimizations in SAT and ASP -- Model Reconciliation in Logic Programs -- Lazy Stream Manipulation in Prolog via Backtracking: the Case of 2P-Kt -- Transforming Gringo Rules Into Formulas in a Natural Way -- DualGrounder: Lazy Instantiation via Clingo Multi-Shot Framework -- A Multi-shot ASP Encoding for the Aircraft Routing and Maintenance Planning Problem. Tipo de medio : Computadora Summary : This book constitutes the proceedings of the 17th European Conference on Logics in Artificial Intelligence, JELIA 2021, held as a virtual event, in May 2021. The 27 full papers and 3 short papers included in this volume were carefully reviewed and selected from 68 submissions. The accepted papers span a number of areas within Logics in AI, including: argumentation; belief revision; reasoning about actions, causality, and change; constraint satisfaction; description logics and ontological reasoning; non-classical logics; and logic programming (answer set programming). Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...]
