Información del autor
Autor Herzig, Andreas |
Documentos disponibles escritos por este autor (2)
Crear una solicitud de compra Refinar búsqueda11th International Symposium, FoIKS 2020, Dortmund, Germany, February 17–21, 2020, Proceedings / Herzig, Andreas ; Kontinen, Juha
TÃtulo : 11th International Symposium, FoIKS 2020, Dortmund, Germany, February 17–21, 2020, Proceedings Tipo de documento: documento electrónico Autores: Herzig, Andreas, ; Kontinen, Juha, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2020 Número de páginas: XVIII, 335 p. 656 ilustraciones, 13 ilustraciones en color. ISBN/ISSN/DL: 978-3-030-39951-1 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: TeorÃa de las máquinas IngenierÃa de software Gestión de base de datos Programación lógica Sistemas expertos (Informática) TecnologÃa de la información Lenguajes formales y teorÃa de los autómatas Lógica en IA Sistemas basados ​​en el conocimiento Aplicación Informática en Tratamiento de Datos Administrativos Clasificación: 5.131 Resumen: Este libro constituye las actas arbitradas del 11.º Simposio Internacional sobre Fundamentos de Sistemas de Información y Conocimiento, FoIKS 2020, celebrado en Dortmund, Alemania, en febrero de 2020. Los 19 artÃculos completos revisados ​​presentados fueron cuidadosamente revisados ​​y seleccionados entre 33 presentaciones. Los artÃculos abordan diversos temas como big data; diseño de bases de datos; dinámica de la información; fusión de información; gestión de integridad y restricciones; agentes inteligentes; descubrimiento de conocimientos y recuperación de información; representación, razonamiento y planificación del conocimiento; lógicas en bases de datos e IA; fundamentos matemáticos; seguridad en sistemas de información y conocimiento; datos semiestructurados y XML; computación social; la web semántica y la gestión del conocimiento; y la red mundial. Nota de contenido: Functional Dependencies in Incomplete Databases With Limited Domains -- Normal Forms of Conditional Knowledge Bases Respecting Entailments and Renamings -- On matrices and K-relations -- Social Consolidations: Rational Belief in a Many-Valued Logic of Evidence and Peerhood -- ASPARTIX-V19 - An Answer-set Programming based System for Abstract Argumentation -- Proper Hierarchies in Polylogarithmic Time and Absence of Complete Problems -- Diversity, Dependence and Independence -- Towards Probabilistic Reasoning in Type Theory - the Intersection Type Case -- Measuring Inconsistency in a General Information Space -- Parameterised Complexity of Model Checking and Satisability in Propositional Dependence Logic -- Utilizing Deep Learning and RDF to Predict Heart Transplantation Survival -- Game Description Logic with Integers: A GDL Numerical Extension -- Craig Interpolation of Epistemic Logics with Distributed Knowledge -- On the dynamics of structured argumentation: Modeling changes in default justication logic -- Logic-based Approach to Incremental Monitoring and Optimization on Strongly Distributed Data Streams -- Realisability of Choreographies -- Schema Optimisation Instead Of (Local) Normalisation -- Strongly Minimal MapReduce Algorithms: A TeraSort Case Study -- Event Sequence Interpretation of Structural Geomodels: A Knowledge-Based Approach for Extracting Tectonic Sequences. Tipo de medio : Computadora Summary : This book constitutes the refereed proceedings of the 11th International Symposium on Foundations of Information and Knowledge Systems, FoIKS 2020, held in Dortmund, Germany, in February 2020. The 19 revised full papers presented were carefully reviewed and selected from 33 submissions. The papers address various topics such as big data; database design; dynamics of information; information fusion; integrity and constraint management; intelligent agents; knowledge discovery and information retrieval; knowledge representation, reasoning and planning; logics in databases and AI; mathematical foundations; security in information and knowledge systems; semi-structured data and XML; social computing; the semantic web and knowledge management; and the world wide web. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] 11th International Symposium, FoIKS 2020, Dortmund, Germany, February 17–21, 2020, Proceedings [documento electrónico] / Herzig, Andreas, ; Kontinen, Juha, . - 1 ed. . - [s.l.] : Springer, 2020 . - XVIII, 335 p. 656 ilustraciones, 13 ilustraciones en color.
ISBN : 978-3-030-39951-1
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: TeorÃa de las máquinas IngenierÃa de software Gestión de base de datos Programación lógica Sistemas expertos (Informática) TecnologÃa de la información Lenguajes formales y teorÃa de los autómatas Lógica en IA Sistemas basados ​​en el conocimiento Aplicación Informática en Tratamiento de Datos Administrativos Clasificación: 5.131 Resumen: Este libro constituye las actas arbitradas del 11.º Simposio Internacional sobre Fundamentos de Sistemas de Información y Conocimiento, FoIKS 2020, celebrado en Dortmund, Alemania, en febrero de 2020. Los 19 artÃculos completos revisados ​​presentados fueron cuidadosamente revisados ​​y seleccionados entre 33 presentaciones. Los artÃculos abordan diversos temas como big data; diseño de bases de datos; dinámica de la información; fusión de información; gestión de integridad y restricciones; agentes inteligentes; descubrimiento de conocimientos y recuperación de información; representación, razonamiento y planificación del conocimiento; lógicas en bases de datos e IA; fundamentos matemáticos; seguridad en sistemas de información y conocimiento; datos semiestructurados y XML; computación social; la web semántica y la gestión del conocimiento; y la red mundial. Nota de contenido: Functional Dependencies in Incomplete Databases With Limited Domains -- Normal Forms of Conditional Knowledge Bases Respecting Entailments and Renamings -- On matrices and K-relations -- Social Consolidations: Rational Belief in a Many-Valued Logic of Evidence and Peerhood -- ASPARTIX-V19 - An Answer-set Programming based System for Abstract Argumentation -- Proper Hierarchies in Polylogarithmic Time and Absence of Complete Problems -- Diversity, Dependence and Independence -- Towards Probabilistic Reasoning in Type Theory - the Intersection Type Case -- Measuring Inconsistency in a General Information Space -- Parameterised Complexity of Model Checking and Satisability in Propositional Dependence Logic -- Utilizing Deep Learning and RDF to Predict Heart Transplantation Survival -- Game Description Logic with Integers: A GDL Numerical Extension -- Craig Interpolation of Epistemic Logics with Distributed Knowledge -- On the dynamics of structured argumentation: Modeling changes in default justication logic -- Logic-based Approach to Incremental Monitoring and Optimization on Strongly Distributed Data Streams -- Realisability of Choreographies -- Schema Optimisation Instead Of (Local) Normalisation -- Strongly Minimal MapReduce Algorithms: A TeraSort Case Study -- Event Sequence Interpretation of Structural Geomodels: A Knowledge-Based Approach for Extracting Tectonic Sequences. Tipo de medio : Computadora Summary : This book constitutes the refereed proceedings of the 11th International Symposium on Foundations of Information and Knowledge Systems, FoIKS 2020, held in Dortmund, Germany, in February 2020. The 19 revised full papers presented were carefully reviewed and selected from 33 submissions. The papers address various topics such as big data; database design; dynamics of information; information fusion; integrity and constraint management; intelligent agents; knowledge discovery and information retrieval; knowledge representation, reasoning and planning; logics in databases and AI; mathematical foundations; security in information and knowledge systems; semi-structured data and XML; social computing; the semantic web and knowledge management; and the world wide web. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...]
TÃtulo : Frontiers of Combining Systems : 12th International Symposium, FroCoS 2019, London, UK, September 4-6, 2019, Proceedings Tipo de documento: documento electrónico Autores: Herzig, Andreas, ; Popescu, Andrei, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2019 Número de páginas: XX, 365 p. 564 ilustraciones, 6 ilustraciones en color. ISBN/ISSN/DL: 978-3-030-29007-8 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 TeorÃa de las máquinas Ciencias de la Computación Algoritmos IngenierÃa de software Simulación por ordenador Lenguajes formales y teorÃa de los autómatas Lógica informática y fundamentos de la programación Modelado por computadora Clasificación: 006.3 Resumen: Este libro constituye las actas del 12.º Simposio Internacional sobre Fronteras de la Combinación de Sistemas, FroCoS 2019, celebrado en Londres, Reino Unido, en septiembre de 2019, junto con la 28.ª Conferencia Internacional sobre Razonamiento Automatizado con Cuadros AnalÃticos y Métodos Relacionados, TABLEAUX 2019. Los artÃculos presentados fueron cuidadosamente revisados ​​y seleccionados entre 30 presentaciones. Presentan investigaciones sobre el desarrollo de técnicas y métodos para la combinación e integración de sistemas formales, su modularización y análisis. Los artÃculos están organizados en las siguientes secciones temáticas: demostración automatizada de teoremas y construcción de modelos, combinaciones de sistemas, resolución de restricciones, lógicas de descripción, demostración interactiva de teoremas, lógica modal y epistémica, y reescritura y unificación. Tipo de medio : Computadora Summary : This book constitutes the proceedings of the 12th International Symposium on Frontiers of Combining Systems, FroCoS 2019, held in London, UK, in September 2019, colocated with the 28th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2019. The 20 papers presented were carefully reviewed and selected from 30 submissions. They present research on the development of techniques and methods for the combination and integration of formal systems, their modularization and analysis. The papers are organized in the following topical sections: automated theorem proving and model building, combinations of systems, constraint solving, description logics, interactive theorem proving, modal and epistemic logics, and rewriting and unification. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Frontiers of Combining Systems : 12th International Symposium, FroCoS 2019, London, UK, September 4-6, 2019, Proceedings [documento electrónico] / Herzig, Andreas, ; Popescu, Andrei, . - 1 ed. . - [s.l.] : Springer, 2019 . - XX, 365 p. 564 ilustraciones, 6 ilustraciones en color.
ISBN : 978-3-030-29007-8
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 TeorÃa de las máquinas Ciencias de la Computación Algoritmos IngenierÃa de software Simulación por ordenador Lenguajes formales y teorÃa de los autómatas Lógica informática y fundamentos de la programación Modelado por computadora Clasificación: 006.3 Resumen: Este libro constituye las actas del 12.º Simposio Internacional sobre Fronteras de la Combinación de Sistemas, FroCoS 2019, celebrado en Londres, Reino Unido, en septiembre de 2019, junto con la 28.ª Conferencia Internacional sobre Razonamiento Automatizado con Cuadros AnalÃticos y Métodos Relacionados, TABLEAUX 2019. Los artÃculos presentados fueron cuidadosamente revisados ​​y seleccionados entre 30 presentaciones. Presentan investigaciones sobre el desarrollo de técnicas y métodos para la combinación e integración de sistemas formales, su modularización y análisis. Los artÃculos están organizados en las siguientes secciones temáticas: demostración automatizada de teoremas y construcción de modelos, combinaciones de sistemas, resolución de restricciones, lógicas de descripción, demostración interactiva de teoremas, lógica modal y epistémica, y reescritura y unificación. Tipo de medio : Computadora Summary : This book constitutes the proceedings of the 12th International Symposium on Frontiers of Combining Systems, FroCoS 2019, held in London, UK, in September 2019, colocated with the 28th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2019. The 20 papers presented were carefully reviewed and selected from 30 submissions. They present research on the development of techniques and methods for the combination and integration of formal systems, their modularization and analysis. The papers are organized in the following topical sections: automated theorem proving and model building, combinations of systems, constraint solving, description logics, interactive theorem proving, modal and epistemic logics, and rewriting and unification. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...]
