11th International Symposium, FoIKS 2020, Dortmund, Germany, February 17–21, 2020, Proceedings / Herzig, Andreas ; Kontinen, Juha  

Público ISBD Ningún comentario para este título. 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 [...]

---

1 (1 - 1 / 1) Ver por página : 25 50 100 200