Autor Herzig, Andreas
|
|
Documentos disponibles escritos por este autor (2)
Hacer una sugerencia 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. 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 Ãndice Dewey: 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. 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 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.
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 Ãndice Dewey: 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. 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
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. 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 Ãndice Dewey: 006.3 Inteligencia artificial 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. 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 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.
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 Ãndice Dewey: 006.3 Inteligencia artificial 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. 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
