19th International Conference, RAMiCS 2021, Marseille, France, November 2–5, 2021, Proceedings / Fahrenberg, Uli ; Gehrke, Mai ; Santocanale, Luigi ; Winter, Michael  

Público ISBD Ningún comentario para este registro. Título : 19th International Conference, RAMiCS 2021, Marseille, France, November 2–5, 2021, Proceedings Tipo de documento: documento electrónico Autores: Fahrenberg, Uli, ; Gehrke, Mai, ; Santocanale, Luigi, ; Winter, Michael, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2021 Número de páginas: XVII, 499 p. 129 ilustraciones, 54 ilustraciones en color. ISBN/ISSN/DL: 978-3-030-88701-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: Programación lógica  Informática  Ciencias de la Computación  Lógica matemática  Lógica en IA  Matemáticas de la Computación  Teoría de la Computación  Lógica Matemática y Fundamentos Índice Dewey: 5.115 Resumen: Este libro constituye las actas de la 19.ª Conferencia Internacional sobre Métodos Algebraicos y Relacionales en Ciencias de la Computación, RAMiCS 2021, que tuvo lugar en Marsella, Francia, del 2 al 5 de noviembre de 2021. Los 29 artículos presentados en este libro fueron cuidadosamente revisados ​​y seleccionados. de 35 presentaciones. Se ocupan del desarrollo y difusión de álgebras de relaciones, álgebras de Kleene y formalismos algebraicos similares. Los temas cubiertos van desde fundamentos matemáticos hasta aplicaciones como herramientas conceptuales y metodológicas en ciencias de la computación y más allá. . Nota de contenido: Unary-determined distributive l-magmas and bunched implication algebras -- Effect Algebras, Girard Quantales and Complementation in Separation Logic -- Relational Computation of Sets of Relations -- Experimental Investigation of Su cient Criteria for Relations to Have Kernels -- lr-Multisemigroups, Modal Quantales and the Origin of Locality -- Abstract Strategies and Coherence -- Algorithmic correspondence for relevance logics, bunched implication logics, and relation algebras via an implementation of the algorithm PEARL -- The class of representable semilattice-ordered monoids is not a variety -- Accretive Computation of Global Transformations -- Some modal and temporal translations of generalized basic logic -- Isolated Sublattices and their Application to Counting Closure Operators -- Second-Order Properties of Undirected Graphs -- Relation-algebraic Verification of Bor uvka's Minimum Spanning Tree Algorithm -- Deciding FO-definability of Regular Languages -- Relational Models for the Lambek calculus with Intersection and Unit -- Free Modal Riesz Spaces are Archimedean: a Syntactic Proof -- Polyadic spaces and profinite monoids -- Time Warps, from Algebra to Algorithms -- On Algebra of Program Correctness and Incorrectness -- Computing Least and Greatest Fixed Points in Absorptive Semirings -- A Variety Theorem for Relational Universal Algebra. -On Tools for Completeness of Kleene Algebra with Hypotheses. -Skew metrics valued in Sugihara semigroups -- Computing Aggregated Knowledge as the Greatest Lower Bound of Knowledge -- Relational Sums and Splittings in Categories of L-fuzzy Relations -- Change of Base using Arrow Categories -- Automated Reasoning for Probabilistic Sequential Programs with Theorem Proving -- Domain Range Semigroups and Finite Representations. 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 19th International Conference, RAMiCS 2021, Marseille, France, November 2–5, 2021, Proceedings [documento electrónico] / Fahrenberg, Uli, ; Gehrke, Mai, ; Santocanale, Luigi, ; Winter, Michael,  . -  1 ed.  . - [s.l.] : Springer, 2021 . - XVII, 499 p. 129 ilustraciones, 54 ilustraciones en color. ISBN : 978-3-030-88701-8 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 lógica  Informática  Ciencias de la Computación  Lógica matemática  Lógica en IA  Matemáticas de la Computación  Teoría de la Computación  Lógica Matemática y Fundamentos Índice Dewey: 5.115 Resumen: Este libro constituye las actas de la 19.ª Conferencia Internacional sobre Métodos Algebraicos y Relacionales en Ciencias de la Computación, RAMiCS 2021, que tuvo lugar en Marsella, Francia, del 2 al 5 de noviembre de 2021. Los 29 artículos presentados en este libro fueron cuidadosamente revisados ​​y seleccionados. de 35 presentaciones. Se ocupan del desarrollo y difusión de álgebras de relaciones, álgebras de Kleene y formalismos algebraicos similares. Los temas cubiertos van desde fundamentos matemáticos hasta aplicaciones como herramientas conceptuales y metodológicas en ciencias de la computación y más allá. . Nota de contenido: Unary-determined distributive l-magmas and bunched implication algebras -- Effect Algebras, Girard Quantales and Complementation in Separation Logic -- Relational Computation of Sets of Relations -- Experimental Investigation of Su cient Criteria for Relations to Have Kernels -- lr-Multisemigroups, Modal Quantales and the Origin of Locality -- Abstract Strategies and Coherence -- Algorithmic correspondence for relevance logics, bunched implication logics, and relation algebras via an implementation of the algorithm PEARL -- The class of representable semilattice-ordered monoids is not a variety -- Accretive Computation of Global Transformations -- Some modal and temporal translations of generalized basic logic -- Isolated Sublattices and their Application to Counting Closure Operators -- Second-Order Properties of Undirected Graphs -- Relation-algebraic Verification of Bor uvka's Minimum Spanning Tree Algorithm -- Deciding FO-definability of Regular Languages -- Relational Models for the Lambek calculus with Intersection and Unit -- Free Modal Riesz Spaces are Archimedean: a Syntactic Proof -- Polyadic spaces and profinite monoids -- Time Warps, from Algebra to Algorithms -- On Algebra of Program Correctness and Incorrectness -- Computing Least and Greatest Fixed Points in Absorptive Semirings -- A Variety Theorem for Relational Universal Algebra. -On Tools for Completeness of Kleene Algebra with Hypotheses. -Skew metrics valued in Sugihara semigroups -- Computing Aggregated Knowledge as the Greatest Lower Bound of Knowledge -- Relational Sums and Splittings in Categories of L-fuzzy Relations -- Change of Base using Arrow Categories -- Automated Reasoning for Probabilistic Sequential Programs with Theorem Proving -- Domain Range Semigroups and Finite Representations. 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

R-CALCULUS: A Logic of Belief Revision / Li, Wei  

Público ISBD Ningún comentario para este registro. Título : R-CALCULUS: A Logic of Belief Revision Tipo de documento: documento electrónico Autores: Li, Wei, Autor ; Sui, Yuefei, Autor Mención de edición: 1 ed. Editorial: Singapore [Malasya] : Springer Fecha de publicación: 2021 Número de páginas: XII, 200 p. 4 ilustraciones, 1 ilustraciones en color. ISBN/ISSN/DL: 978-981-1629440-- 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 lógica  Teoría de las máquinas  Lógica matemática  Modelos matemáticos  Grandes datos  Lógica en IA  Lenguajes formales y teoría de los autómatas  Lógica Matemática y Fundamentos  Modelización Matemática y Matemática Industrial Índice Dewey: 5.115 Resumen: Este libro presenta nuevos modelos basados ​​en el cálculo R y teorías de revisión de creencias para tratar con datos grandes y cambiantes. Extiende el cálculo R desde la lógica de primer orden hasta la lógica proposicional, la lógica de descripción, la lógica modal y la programación lógica, y desde la semántica de cambio mínimo hasta el cambio mínimo de subconjunto, el cambio mínimo de pseudosubfórmula y el cambio mínimo basado en deducción (los dos últimos cambios mínimos están recién definidos). Y demuestra teoremas de solidez y completitud con respecto a los cambios mínimos en estas lógicas. Para que el cálculo R sea computable, se proporciona un cálculo R aproximado que utiliza el método de prioridad de lesión finita en la teoría de la recursividad. Además, se dan dos aplicaciones del cálculo R a la teoría por defecto y a las redes de herencia semántica. Este libro ofrece una rica combinación de teoría y práctica. Es adecuado para estudiantes, investigadores y profesionales del campo de la lógica. También es muy útil para todos aquellos que estén interesados ​​en datos, digitalización y corrección y consistencia de la información, en lógicas modales, lógicas no monótonas, lógicas decidibles/indecidibles, programación lógica, lógicas de descripción, lógicas por defecto y redes de herencia semántica. . Nota de contenido: Introduction -- Preliminaries -- R-calculi for Propositional Logic -- R-calculi for Description Logics -- R-calculi for Modal Logic -- R-calculi for Logic Programming -- R-calculi for First-order Logic -- Nonmonotonicity of R-calculus -- Approximate R-calculus -- An application to Default Logic -- An application to Semantic Networks. 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 R-CALCULUS: A Logic of Belief Revision [documento electrónico] / Li, Wei, Autor ; Sui, Yuefei, Autor  . -  1 ed.  . - Singapore [Malasya] : Springer, 2021 . - XII, 200 p. 4 ilustraciones, 1 ilustraciones en color. ISBN : 978-981-1629440-- 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 lógica  Teoría de las máquinas  Lógica matemática  Modelos matemáticos  Grandes datos  Lógica en IA  Lenguajes formales y teoría de los autómatas  Lógica Matemática y Fundamentos  Modelización Matemática y Matemática Industrial Índice Dewey: 5.115 Resumen: Este libro presenta nuevos modelos basados ​​en el cálculo R y teorías de revisión de creencias para tratar con datos grandes y cambiantes. Extiende el cálculo R desde la lógica de primer orden hasta la lógica proposicional, la lógica de descripción, la lógica modal y la programación lógica, y desde la semántica de cambio mínimo hasta el cambio mínimo de subconjunto, el cambio mínimo de pseudosubfórmula y el cambio mínimo basado en deducción (los dos últimos cambios mínimos están recién definidos). Y demuestra teoremas de solidez y completitud con respecto a los cambios mínimos en estas lógicas. Para que el cálculo R sea computable, se proporciona un cálculo R aproximado que utiliza el método de prioridad de lesión finita en la teoría de la recursividad. Además, se dan dos aplicaciones del cálculo R a la teoría por defecto y a las redes de herencia semántica. Este libro ofrece una rica combinación de teoría y práctica. Es adecuado para estudiantes, investigadores y profesionales del campo de la lógica. También es muy útil para todos aquellos que estén interesados ​​en datos, digitalización y corrección y consistencia de la información, en lógicas modales, lógicas no monótonas, lógicas decidibles/indecidibles, programación lógica, lógicas de descripción, lógicas por defecto y redes de herencia semántica. . Nota de contenido: Introduction -- Preliminaries -- R-calculi for Propositional Logic -- R-calculi for Description Logics -- R-calculi for Modal Logic -- R-calculi for Logic Programming -- R-calculi for First-order Logic -- Nonmonotonicity of R-calculus -- Approximate R-calculus -- An application to Default Logic -- An application to Semantic Networks. 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

---

1 (1 - 2 / 2) Par page : 25 50 100 200