Información de la indexación
5.115 Documentos en la biblioteca con la clasificación 5.131 (55)
Crear una solicitud de compra Refinar búsqueda10th International Joint Conference, IJCAR 2020, Paris, France, July 1–4, 2020, Proceedings, Part I / Peltier, Nicolas ; Sofronie-Stokkermans, Viorica
TÃtulo : 10th International Joint Conference, IJCAR 2020, Paris, France, July 1–4, 2020, Proceedings, Part I Tipo de documento: documento electrónico Autores: Peltier, Nicolas, ; Sofronie-Stokkermans, Viorica, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2020 Número de páginas: XXVII, 537 p. 1161 ilustraciones, 9 ilustraciones en color. ISBN/ISSN/DL: 978-3-030-51074-9 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 Inteligencia artificial Ciencias de la Computación IngenierÃa de software Compiladores (programas informáticos) Programación de computadoras Lenguajes formales y teorÃa de los autómatas Lógica informática y fundamentos de la programación. Compiladores e intérpretes Técnicas de programación Clasificación: 5.131 Resumen: Este conjunto de dos volúmenes LNAI 12166 y 12167 constituye las actas arbitradas de la 10.ª Conferencia Internacional Conjunta sobre Razonamiento Automatizado, IJCAR 2020, celebrada en ParÃs, Francia, en julio de 2020.* En 2020, IJCAR fue una fusión de los siguientes eventos importantes: a saber, CADE (Conferencia internacional sobre deducción automatizada), FroCoS (Simposio internacional sobre fronteras de sistemas combinados), ITP (Conferencia internacional sobre demostración interactiva de teoremas) y TABLEAUX (Conferencia internacional sobre cuadros analÃticos y métodos relacionados). Los 46 artÃculos de investigación completos, 5 artÃculos breves y 11 descripciones de sistemas presentados junto con dos charlas invitadas fueron cuidadosamente revisados ​​y seleccionados entre 150 presentaciones. Los artÃculos se centran en los siguientes temas: Parte I: SAT; SMT y QBF; procedimientos de decisión y combinación de teorÃas; superposición; procedimientos de prueba; lógicas no clásicas Parte II: demostración interactiva de teoremas/ HOL; formalizaciones; verificación; sistemas y herramientas de razonamiento *La conferencia se realizó de manera virtual debido a la pandemia de COVID-19. El capÃtulo ''Juegos hÃbridos constructivos'' está disponible en acceso abierto bajo una licencia internacional Creative Commons Attribution 4.0 a través de link.springer.com. Nota de contenido: Invited Paper -- Efficient Automated Reasoning about Sets and Multisets with Cardinality Constraints -- SAT; SMT and QBF -- An SMT Theory of Fixed-Point Arithmetic -- Covered Clauses Are Not Propagation Redundant -- The Resolution of Keller's Conjecture -- How QBF Expansion Makes Strategy Extraction Hard -- Removing Algebraic Data Types from Constrained Horn Clauses Using Difference Predicates -- Solving bit-vectors with MCSAT: explanations from bits and pieces -- Monadic Decomposition in Integer Linear Arithmetic -- Scalable Algorithms for Abduction via Enumerative Syntax-Guided Synthesis -- Decision Procedures and Combination of Theories -- Deciding the Word Problem for Ground Identities with Commutative and Extensional Symbols -- Combined Covers and Beth Definability -- Deciding Simple Infinity Axiom Sets with one Binary Relation by Means of Superpostulates -- A Decision Procedure for String to Code Point Conversion -- Politeness for The Theory of Algebraic Datatypes -- Superposition -- A Knuth-Bendix-Like Ordering for Orienting Combinator Equations -- A Combinator-Based Superposition Calculus for Higher-Order Logic -- Subsumption Demodulation in First-Order Theorem Proving -- A Comprehensive Framework for Saturation Theorem Proving -- Proof Procedures -- Possible Models Computation and Revision - A Practical Approach -- SGGS Decision Procedures -- Integrating Induction and Coinduction via Closure Operators and Proof Cycles -- Logic-Independent Proof Search in Logical Frameworks (short paper) -- Layered Clause Selection for Theory Reasoning (short paper) -- Non Classical Logics -- Description Logics with Concrete Domains and General Concept Inclusions Revisited -- A Formally Verified, Optimized Monitor for Metric First-Order Dynamic Logic -- Constructive Hybrid Games -- Formalizing a Seligman-Style Tableau System for Hybrid Logic (short paper) -- NP Reasoning in the Monotone µ-Calculus -- Soft subexponentials and multiplexing -- Mechanised Modal Model Theory. Tipo de medio : Computadora Summary : This two-volume set LNAI 12166 and 12167 constitutes the refereed proceedings of the 10th International Joint Conference on Automated Reasoning, IJCAR 2020, held in Paris, France, in July 2020.* In 2020, IJCAR was a merger of the following leading events, namely CADE (International Conference on Automated Deduction), FroCoS (International Symposium on Frontiers of Combining Systems), ITP (International Conference on Interactive Theorem Proving), and TABLEAUX (International Conference on Analytic Tableaux and Related Methods). The 46 full research papers, 5 short papers, and 11 system descriptions presented together with two invited talks were carefully reviewed and selected from 150 submissions. The papers focus on the following topics: Part I: SAT; SMT and QBF; decision procedures and combination of theories; superposition; proof procedures; non classical logics Part II: interactive theorem proving/ HOL; formalizations; verification; reasoning systems and tools *The conference was held virtually due to the COVID-19 pandemic. Chapter 'Constructive Hybrid Games' is available open access under a Creative Commons Attribution 4.0 International License via link.springer.com. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] 10th International Joint Conference, IJCAR 2020, Paris, France, July 1–4, 2020, Proceedings, Part I [documento electrónico] / Peltier, Nicolas, ; Sofronie-Stokkermans, Viorica, . - 1 ed. . - [s.l.] : Springer, 2020 . - XXVII, 537 p. 1161 ilustraciones, 9 ilustraciones en color.
ISBN : 978-3-030-51074-9
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 Inteligencia artificial Ciencias de la Computación IngenierÃa de software Compiladores (programas informáticos) Programación de computadoras Lenguajes formales y teorÃa de los autómatas Lógica informática y fundamentos de la programación. Compiladores e intérpretes Técnicas de programación Clasificación: 5.131 Resumen: Este conjunto de dos volúmenes LNAI 12166 y 12167 constituye las actas arbitradas de la 10.ª Conferencia Internacional Conjunta sobre Razonamiento Automatizado, IJCAR 2020, celebrada en ParÃs, Francia, en julio de 2020.* En 2020, IJCAR fue una fusión de los siguientes eventos importantes: a saber, CADE (Conferencia internacional sobre deducción automatizada), FroCoS (Simposio internacional sobre fronteras de sistemas combinados), ITP (Conferencia internacional sobre demostración interactiva de teoremas) y TABLEAUX (Conferencia internacional sobre cuadros analÃticos y métodos relacionados). Los 46 artÃculos de investigación completos, 5 artÃculos breves y 11 descripciones de sistemas presentados junto con dos charlas invitadas fueron cuidadosamente revisados ​​y seleccionados entre 150 presentaciones. Los artÃculos se centran en los siguientes temas: Parte I: SAT; SMT y QBF; procedimientos de decisión y combinación de teorÃas; superposición; procedimientos de prueba; lógicas no clásicas Parte II: demostración interactiva de teoremas/ HOL; formalizaciones; verificación; sistemas y herramientas de razonamiento *La conferencia se realizó de manera virtual debido a la pandemia de COVID-19. El capÃtulo ''Juegos hÃbridos constructivos'' está disponible en acceso abierto bajo una licencia internacional Creative Commons Attribution 4.0 a través de link.springer.com. Nota de contenido: Invited Paper -- Efficient Automated Reasoning about Sets and Multisets with Cardinality Constraints -- SAT; SMT and QBF -- An SMT Theory of Fixed-Point Arithmetic -- Covered Clauses Are Not Propagation Redundant -- The Resolution of Keller's Conjecture -- How QBF Expansion Makes Strategy Extraction Hard -- Removing Algebraic Data Types from Constrained Horn Clauses Using Difference Predicates -- Solving bit-vectors with MCSAT: explanations from bits and pieces -- Monadic Decomposition in Integer Linear Arithmetic -- Scalable Algorithms for Abduction via Enumerative Syntax-Guided Synthesis -- Decision Procedures and Combination of Theories -- Deciding the Word Problem for Ground Identities with Commutative and Extensional Symbols -- Combined Covers and Beth Definability -- Deciding Simple Infinity Axiom Sets with one Binary Relation by Means of Superpostulates -- A Decision Procedure for String to Code Point Conversion -- Politeness for The Theory of Algebraic Datatypes -- Superposition -- A Knuth-Bendix-Like Ordering for Orienting Combinator Equations -- A Combinator-Based Superposition Calculus for Higher-Order Logic -- Subsumption Demodulation in First-Order Theorem Proving -- A Comprehensive Framework for Saturation Theorem Proving -- Proof Procedures -- Possible Models Computation and Revision - A Practical Approach -- SGGS Decision Procedures -- Integrating Induction and Coinduction via Closure Operators and Proof Cycles -- Logic-Independent Proof Search in Logical Frameworks (short paper) -- Layered Clause Selection for Theory Reasoning (short paper) -- Non Classical Logics -- Description Logics with Concrete Domains and General Concept Inclusions Revisited -- A Formally Verified, Optimized Monitor for Metric First-Order Dynamic Logic -- Constructive Hybrid Games -- Formalizing a Seligman-Style Tableau System for Hybrid Logic (short paper) -- NP Reasoning in the Monotone µ-Calculus -- Soft subexponentials and multiplexing -- Mechanised Modal Model Theory. Tipo de medio : Computadora Summary : This two-volume set LNAI 12166 and 12167 constitutes the refereed proceedings of the 10th International Joint Conference on Automated Reasoning, IJCAR 2020, held in Paris, France, in July 2020.* In 2020, IJCAR was a merger of the following leading events, namely CADE (International Conference on Automated Deduction), FroCoS (International Symposium on Frontiers of Combining Systems), ITP (International Conference on Interactive Theorem Proving), and TABLEAUX (International Conference on Analytic Tableaux and Related Methods). The 46 full research papers, 5 short papers, and 11 system descriptions presented together with two invited talks were carefully reviewed and selected from 150 submissions. The papers focus on the following topics: Part I: SAT; SMT and QBF; decision procedures and combination of theories; superposition; proof procedures; non classical logics Part II: interactive theorem proving/ HOL; formalizations; verification; reasoning systems and tools *The conference was held virtually due to the COVID-19 pandemic. Chapter 'Constructive Hybrid Games' is available open access under a Creative Commons Attribution 4.0 International License via link.springer.com. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...]
TÃtulo : 10th International Joint Conference, IJCAR 2020, Paris, France, July 1–4, 2020, Proceedings, Part II Tipo de documento: documento electrónico Autores: Peltier, Nicolas, ; Sofronie-Stokkermans, Viorica, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2020 Número de páginas: XVII, 511 p. 2094 ilustraciones, 114 ilustraciones en color. ISBN/ISSN/DL: 978-3-030-51054-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 Inteligencia artificial Ciencias de la Computación IngenierÃa de software Compiladores (programas informáticos) Programación de computadoras Lenguajes formales y teorÃa de los autómatas Lógica informática y fundamentos de la programación. Compiladores e intérpretes Técnicas de programación Clasificación: 5.131 Resumen: Este conjunto de dos volúmenes LNAI 12166 y 12167 constituye las actas arbitradas de la 10.ª Conferencia Internacional Conjunta sobre Razonamiento Automatizado, IJCAR 2020, celebrada en ParÃs, Francia, en julio de 2020.* En 2020, IJCAR fue una fusión de los siguientes eventos importantes: a saber, CADE (Conferencia internacional sobre deducción automatizada), FroCoS (Simposio internacional sobre fronteras de sistemas combinados), ITP (Conferencia internacional sobre demostración interactiva de teoremas) y TABLEAUX (Conferencia internacional sobre cuadros analÃticos y métodos relacionados). Los 46 artÃculos de investigación completos, 5 artÃculos breves y 11 descripciones de sistemas presentados junto con dos charlas invitadas fueron cuidadosamente revisados ​​y seleccionados entre 150 presentaciones. Los artÃculos se centran en los siguientes temas: Parte I: SAT; SMT y QBF; procedimientos de decisión y combinación de teorÃas; superposición; procedimientos de prueba; lógicas no clásicas Parte II: demostración interactiva de teoremas/ HOL; formalizaciones; verificación; sistemas y herramientas de razonamiento *La conferencia se realizó de manera virtual debido a la pandemia de COVID-19. El capÃtulo ''Un análisis rápido de vida verificado en formato SSA'' está disponible en acceso abierto bajo una licencia internacional Creative Commons Attribution 4.0 a través de link.springer.com. Nota de contenido: Interactive Theorem Proving/ HOL -- Competing inheritance paths in dependent type theory: a case study in functional analysis -- A Lean tactic for normalising ring expressions with exponents (short paper) -- Practical proof search for Coq by type inhabitation -- Quotients of Bounded Natural Functors -- Trakhtenbrot's Theorem in Coq -- Deep Generation of Coq Lemma Names Using Elaborated Terms -- Extensible Extraction of Efficient Imperative Programs with Foreign Functions, Manually Managed Memory, and Proofs -- Validating Mathematical Structures -- Teaching Automated Theorem Proving by Example: PyRes 1.2 (system description) -- Beyond Notations: Hygienic Macro Expansion for Theorem Proving Languages -- Formalizations -- Formalizing the Face Lattice of Polyhedra -- Algebraically Closed Fields in Isabelle/HOL -- Formalization of Forcing in Isabelle/ZF -- Reasoning about Algebraic Structures with Implicit Carriers in Isabelle/HOL -- Formal Proof of the Group Law for Edwards Elliptic Curves -- Verifying Farad_zev-Read type Isomorph-Free Exhaustive Generation -- Verification -- Verified Approximation Algorithms -- Efficient Verified Implementation of Introsort and Pdqsort -- A Fast Verified Liveness Analysis in SSA form -- Verification of Closest Pair of Points Algorithms -- Reasoning Systems and Tools -- A Polymorphic Vampire (short paper) -- N-PAT: A Nested Model-Checker (system description) -- HYPNO: Theorem Proving with Hypersequent Calculi for Non-Normal Modal Logics (system description) -- Implementing superposition in iProver (system description) -- Moin: A Nested Sequent Theorem Prover for Intuitionistic Modal Logics (system description) -- Make E Smart Again -- Automatically Proving and Disproving Feasibility Conditions -- µ-term: Verify Termination Properties Automatically (system description) -- ENIGMA Anonymous: Symbol-Independent Inference Guiding Machine (system description) -- The Imandra Automated Reasoning System (system description) -- A Programmer's Text Editor for a Logical Theory: The SUMOjEdit Editor (system description) -- Sequoia: a playground for logicians (system description) -- Prolog Technology Reinforcement Learning Prover (system description). Tipo de medio : Computadora Summary : This two-volume set LNAI 12166 and 12167 constitutes the refereed proceedings of the 10th International Joint Conference on Automated Reasoning, IJCAR 2020, held in Paris, France, in July 2020.* In 2020, IJCAR was a merger of the following leading events, namely CADE (International Conference on Automated Deduction), FroCoS (International Symposium on Frontiers of Combining Systems), ITP (International Conference on Interactive Theorem Proving), and TABLEAUX (International Conference on Analytic Tableaux and Related Methods). The 46 full research papers, 5 short papers, and 11 system descriptions presented together with two invited talks were carefully reviewed and selected from 150 submissions. The papers focus on the following topics: Part I: SAT; SMT and QBF; decision procedures and combination of theories; superposition; proof procedures; non classical logics Part II: interactive theorem proving/ HOL; formalizations; verification; reasoning systems and tools *The conference was held virtually due to the COVID-19 pandemic. Chapter 'A Fast Verified Liveness Analysis in SSA Form' is available open access under a Creative Commons Attribution 4.0 International License via link.springer.com. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] 10th International Joint Conference, IJCAR 2020, Paris, France, July 1–4, 2020, Proceedings, Part II [documento electrónico] / Peltier, Nicolas, ; Sofronie-Stokkermans, Viorica, . - 1 ed. . - [s.l.] : Springer, 2020 . - XVII, 511 p. 2094 ilustraciones, 114 ilustraciones en color.
ISBN : 978-3-030-51054-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 Inteligencia artificial Ciencias de la Computación IngenierÃa de software Compiladores (programas informáticos) Programación de computadoras Lenguajes formales y teorÃa de los autómatas Lógica informática y fundamentos de la programación. Compiladores e intérpretes Técnicas de programación Clasificación: 5.131 Resumen: Este conjunto de dos volúmenes LNAI 12166 y 12167 constituye las actas arbitradas de la 10.ª Conferencia Internacional Conjunta sobre Razonamiento Automatizado, IJCAR 2020, celebrada en ParÃs, Francia, en julio de 2020.* En 2020, IJCAR fue una fusión de los siguientes eventos importantes: a saber, CADE (Conferencia internacional sobre deducción automatizada), FroCoS (Simposio internacional sobre fronteras de sistemas combinados), ITP (Conferencia internacional sobre demostración interactiva de teoremas) y TABLEAUX (Conferencia internacional sobre cuadros analÃticos y métodos relacionados). Los 46 artÃculos de investigación completos, 5 artÃculos breves y 11 descripciones de sistemas presentados junto con dos charlas invitadas fueron cuidadosamente revisados ​​y seleccionados entre 150 presentaciones. Los artÃculos se centran en los siguientes temas: Parte I: SAT; SMT y QBF; procedimientos de decisión y combinación de teorÃas; superposición; procedimientos de prueba; lógicas no clásicas Parte II: demostración interactiva de teoremas/ HOL; formalizaciones; verificación; sistemas y herramientas de razonamiento *La conferencia se realizó de manera virtual debido a la pandemia de COVID-19. El capÃtulo ''Un análisis rápido de vida verificado en formato SSA'' está disponible en acceso abierto bajo una licencia internacional Creative Commons Attribution 4.0 a través de link.springer.com. Nota de contenido: Interactive Theorem Proving/ HOL -- Competing inheritance paths in dependent type theory: a case study in functional analysis -- A Lean tactic for normalising ring expressions with exponents (short paper) -- Practical proof search for Coq by type inhabitation -- Quotients of Bounded Natural Functors -- Trakhtenbrot's Theorem in Coq -- Deep Generation of Coq Lemma Names Using Elaborated Terms -- Extensible Extraction of Efficient Imperative Programs with Foreign Functions, Manually Managed Memory, and Proofs -- Validating Mathematical Structures -- Teaching Automated Theorem Proving by Example: PyRes 1.2 (system description) -- Beyond Notations: Hygienic Macro Expansion for Theorem Proving Languages -- Formalizations -- Formalizing the Face Lattice of Polyhedra -- Algebraically Closed Fields in Isabelle/HOL -- Formalization of Forcing in Isabelle/ZF -- Reasoning about Algebraic Structures with Implicit Carriers in Isabelle/HOL -- Formal Proof of the Group Law for Edwards Elliptic Curves -- Verifying Farad_zev-Read type Isomorph-Free Exhaustive Generation -- Verification -- Verified Approximation Algorithms -- Efficient Verified Implementation of Introsort and Pdqsort -- A Fast Verified Liveness Analysis in SSA form -- Verification of Closest Pair of Points Algorithms -- Reasoning Systems and Tools -- A Polymorphic Vampire (short paper) -- N-PAT: A Nested Model-Checker (system description) -- HYPNO: Theorem Proving with Hypersequent Calculi for Non-Normal Modal Logics (system description) -- Implementing superposition in iProver (system description) -- Moin: A Nested Sequent Theorem Prover for Intuitionistic Modal Logics (system description) -- Make E Smart Again -- Automatically Proving and Disproving Feasibility Conditions -- µ-term: Verify Termination Properties Automatically (system description) -- ENIGMA Anonymous: Symbol-Independent Inference Guiding Machine (system description) -- The Imandra Automated Reasoning System (system description) -- A Programmer's Text Editor for a Logical Theory: The SUMOjEdit Editor (system description) -- Sequoia: a playground for logicians (system description) -- Prolog Technology Reinforcement Learning Prover (system description). Tipo de medio : Computadora Summary : This two-volume set LNAI 12166 and 12167 constitutes the refereed proceedings of the 10th International Joint Conference on Automated Reasoning, IJCAR 2020, held in Paris, France, in July 2020.* In 2020, IJCAR was a merger of the following leading events, namely CADE (International Conference on Automated Deduction), FroCoS (International Symposium on Frontiers of Combining Systems), ITP (International Conference on Interactive Theorem Proving), and TABLEAUX (International Conference on Analytic Tableaux and Related Methods). The 46 full research papers, 5 short papers, and 11 system descriptions presented together with two invited talks were carefully reviewed and selected from 150 submissions. The papers focus on the following topics: Part I: SAT; SMT and QBF; decision procedures and combination of theories; superposition; proof procedures; non classical logics Part II: interactive theorem proving/ HOL; formalizations; verification; reasoning systems and tools *The conference was held virtually due to the COVID-19 pandemic. Chapter 'A Fast Verified Liveness Analysis in SSA Form' is available open access under a Creative Commons Attribution 4.0 International License via link.springer.com. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...]
TÃtulo : 10th International Symposium, FoIKS 2018, Budapest, Hungary, May 14–18, 2018, Proceedings Tipo de documento: documento electrónico Autores: Ferrarotti, Flavio, ; Woltran, Stefan, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2018 Número de páginas: XXII, 401 p. 69 ilustraciones ISBN/ISSN/DL: 978-3-319-90050-6 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 Gestión de base de datos Inteligencia artificial TecnologÃa de la información Lenguajes formales y teorÃa de los autómatas Aplicación Informática en Tratamiento de Datos Administrativos Clasificación: 5.131 Resumen: Este libro constituye las actas arbitradas del décimo Simposio Internacional sobre Fundamentos de los Sistemas de Información y Conocimiento, FoIKS 2018, celebrado en Budapest, HungrÃa, en mayo de 2018. Los 20 artÃculos completos revisados ​​presentados junto con 1 charla invitada fueron cuidadosamente revisados ​​y seleccionados entre 40 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: 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 -- The world wide web. Tipo de medio : Computadora Summary : This book constitutes the refereed proceedings of the 10th International Symposium on Foundations of Information and Knowledge Systems, FoIKS 2018, held in Budapest, Hungary, in May 2018. The 20 revised full papers presented together with 1 invited talk were carefully reviewed and selected from 40 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 [...] 10th International Symposium, FoIKS 2018, Budapest, Hungary, May 14–18, 2018, Proceedings [documento electrónico] / Ferrarotti, Flavio, ; Woltran, Stefan, . - 1 ed. . - [s.l.] : Springer, 2018 . - XXII, 401 p. 69 ilustraciones.
ISBN : 978-3-319-90050-6
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 Gestión de base de datos Inteligencia artificial TecnologÃa de la información Lenguajes formales y teorÃa de los autómatas Aplicación Informática en Tratamiento de Datos Administrativos Clasificación: 5.131 Resumen: Este libro constituye las actas arbitradas del décimo Simposio Internacional sobre Fundamentos de los Sistemas de Información y Conocimiento, FoIKS 2018, celebrado en Budapest, HungrÃa, en mayo de 2018. Los 20 artÃculos completos revisados ​​presentados junto con 1 charla invitada fueron cuidadosamente revisados ​​y seleccionados entre 40 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: 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 -- The world wide web. Tipo de medio : Computadora Summary : This book constitutes the refereed proceedings of the 10th International Symposium on Foundations of Information and Knowledge Systems, FoIKS 2018, held in Budapest, Hungary, in May 2018. The 20 revised full papers presented together with 1 invited talk were carefully reviewed and selected from 40 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 : 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 : 12th International Conference, WORDS 2019, Loughborough, UK, September 9–13, 2019, Proceedings Tipo de documento: documento electrónico Autores: MercaÅŸ, Robert, ; Reidenbach, Daniel, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2019 Número de páginas: XIV, 327 p. 300 ilustraciones, 6 ilustraciones en color. ISBN/ISSN/DL: 978-3-030-28796-2 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 Programación lógica Informática Procesamiento de imágenes Visión por computador Inteligencia artificial Lenguajes formales y teorÃa de los autómatas Lógica en IA Matemáticas de la Computación Imágenes por computadora visión reconocimiento de patrones y gráficos Ciencia de los datos Clasificación: 5.131 Resumen: Este libro constituye las actas arbitradas de la 12.ª Conferencia Internacional sobre Combinatoria de Palabras, WORDS 2019, celebrada en Loughborough, Reino Unido, en septiembre de 2019. Los 21 artÃculos completos revisados ​​presentados en este libro junto con 5 charlas invitadas fueron cuidadosamente revisados ​​y seleccionados entre 34 presentaciones. WORDS es el principal ciclo de conferencias dedicado a la teorÃa matemática de las palabras. En particular, se enfatizan los aspectos combinatorios, algebraicos y algorÃtmicos de las palabras. Las motivaciones también pueden provenir de otros dominios como la informática teórica, la bioinformática, la geometrÃa digital, la dinámica simbólica, los sistemas de numeración, el procesamiento de textos, la teorÃa de números, etc. Nota de contenido: Matching patterns with variables -- Abelian properties of words -- On sets of words of rank two -- On families of limit S-adic words -- Independent systems of word equations: from Ehrenfeucht to eighteen -- Parikh determinants -- Critical exponent of infinite balanced words via the Pell number system -- Repetitions in infinite palindrome-rich words -- Generalized Lyndon factorizations of infinite words -- On the commutative equivalence of bounded semi-linear codes -- Circularly squarefree words and unbordered conjugates: a new approach -- The undirected repetition threshold -- Characteristic parameters and special trapezoidal words -- Return words and bifix codes in eventually dendric sets -- Enumeration and extensions of word-representable graphs -- Localisation-resistant random words with small alphabets -- On codeword lengths guaranteeing synchronization -- Binary intersection revisited -- On substitutions closed under derivation: examples -- Templates for the k-binomial complexity of the Tribonacci word -- Derived sequences of Arnoux-Rauzy sequences -- New results on pseudosquare avoidance -- Every nonnegative real number is a critical abelian exponent -- Rich words containing two given factors -- Mortality and synchronization of unambiguous finite automata -- On discrete idempotent paths. Tipo de medio : Computadora Summary : This book constitutes the refereed proceedings of the 12th International Conference on Combinatorics on Words, WORDS 2019, held in Loughborough, UK, in September 2019. The 21 revised full papers presented in this book together with 5 invited talks were carefully reviewed and selected from 34 submissions. WORDS is the main conference series devoted to the mathematical theory of words. In particular, the combinatorial, algebraic and algorithmic aspects of words are emphasized. Motivations may also come from other domains such as theoretical computer science, bioinformatics, digital geometry, symbolic dynamics, numeration systems, text processing, number theory, etc. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] 12th International Conference, WORDS 2019, Loughborough, UK, September 9–13, 2019, Proceedings [documento electrónico] / MercaÅŸ, Robert, ; Reidenbach, Daniel, . - 1 ed. . - [s.l.] : Springer, 2019 . - XIV, 327 p. 300 ilustraciones, 6 ilustraciones en color.
ISBN : 978-3-030-28796-2
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 Programación lógica Informática Procesamiento de imágenes Visión por computador Inteligencia artificial Lenguajes formales y teorÃa de los autómatas Lógica en IA Matemáticas de la Computación Imágenes por computadora visión reconocimiento de patrones y gráficos Ciencia de los datos Clasificación: 5.131 Resumen: Este libro constituye las actas arbitradas de la 12.ª Conferencia Internacional sobre Combinatoria de Palabras, WORDS 2019, celebrada en Loughborough, Reino Unido, en septiembre de 2019. Los 21 artÃculos completos revisados ​​presentados en este libro junto con 5 charlas invitadas fueron cuidadosamente revisados ​​y seleccionados entre 34 presentaciones. WORDS es el principal ciclo de conferencias dedicado a la teorÃa matemática de las palabras. En particular, se enfatizan los aspectos combinatorios, algebraicos y algorÃtmicos de las palabras. Las motivaciones también pueden provenir de otros dominios como la informática teórica, la bioinformática, la geometrÃa digital, la dinámica simbólica, los sistemas de numeración, el procesamiento de textos, la teorÃa de números, etc. Nota de contenido: Matching patterns with variables -- Abelian properties of words -- On sets of words of rank two -- On families of limit S-adic words -- Independent systems of word equations: from Ehrenfeucht to eighteen -- Parikh determinants -- Critical exponent of infinite balanced words via the Pell number system -- Repetitions in infinite palindrome-rich words -- Generalized Lyndon factorizations of infinite words -- On the commutative equivalence of bounded semi-linear codes -- Circularly squarefree words and unbordered conjugates: a new approach -- The undirected repetition threshold -- Characteristic parameters and special trapezoidal words -- Return words and bifix codes in eventually dendric sets -- Enumeration and extensions of word-representable graphs -- Localisation-resistant random words with small alphabets -- On codeword lengths guaranteeing synchronization -- Binary intersection revisited -- On substitutions closed under derivation: examples -- Templates for the k-binomial complexity of the Tribonacci word -- Derived sequences of Arnoux-Rauzy sequences -- New results on pseudosquare avoidance -- Every nonnegative real number is a critical abelian exponent -- Rich words containing two given factors -- Mortality and synchronization of unambiguous finite automata -- On discrete idempotent paths. Tipo de medio : Computadora Summary : This book constitutes the refereed proceedings of the 12th International Conference on Combinatorics on Words, WORDS 2019, held in Loughborough, UK, in September 2019. The 21 revised full papers presented in this book together with 5 invited talks were carefully reviewed and selected from 34 submissions. WORDS is the main conference series devoted to the mathematical theory of words. In particular, the combinatorial, algebraic and algorithmic aspects of words are emphasized. Motivations may also come from other domains such as theoretical computer science, bioinformatics, digital geometry, symbolic dynamics, numeration systems, text processing, number theory, etc. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...]
Permalink
Permalink
Permalink
Permalink
Permalink
Permalink
Permalink
Permalink
Permalink
Permalink
