Automated Reasoning: 10th International Joint Conference, Ijcar 2020, Paris, France, July 1-4, 2020, Proceedings, Part II, Peltier Nicolas, Sofronie-Stokkermans Viorica
Автор: Sun Xingming, Wang Jinwei, Bertino Elisa Название: Artificial Intelligence and Security: 6th International Conference, Icais 2020, Hohhot, China, July 17-20, 2020, Proceedings, Part I ISBN: 3030578836 ISBN-13(EAN): 9783030578831 Издательство: Springer Рейтинг: Цена: 130430.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This two-volume set LNCS 12239-12240 constitutes the refereed proceedings of the 6th International Conference on Artificial Intelligence and Security, ICAIS 2020, which was held in Hohhot, China, in July 2020.
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.
Автор: Sun Xingming, Wang Jinwei, Bertino Elisa Название: Artificial Intelligence and Security: 6th International Conference, Icais 2020, Hohhot, China, July 17-20, 2020, Proceedings, Part II ISBN: 9811580855 ISBN-13(EAN): 9789811580857 Издательство: Springer Рейтинг: Цена: 93160.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: The 3-volume set CCIS 1252 until CCIS 1254 constitutes the refereed proceedings of the 6th International Conference on Artificial Intelligence and Security, ICAIS 2020, which was held in Hohhot, China, in July 2020.
Автор: Sun Xingming, Wang Jinwei, Bertino Elisa Название: Artificial Intelligence and Security: 6th International Conference, Icais 2020, Hohhot, China, July 17-20, 2020, Proceedings, Part I ISBN: 9811580820 ISBN-13(EAN): 9789811580826 Издательство: Springer Рейтинг: Цена: 93160.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: The 3-volume set CCIS 1252 until CCIS 1254 constitutes the refereed proceedings of the 6th International Conference on Artificial Intelligence and Security, ICAIS 2020, which was held in Hohhot, China, in July 2020.
Автор: Gervasi Osvaldo, Murgante Beniamino, Misra Sanjay Название: Computational Science and Its Applications - Iccsa 2020: 20th International Conference, Cagliari, Italy, July 1-4, 2020, Proceedings, Part I ISBN: 3030587983 ISBN-13(EAN): 9783030587987 Издательство: Springer Рейтинг: Цена: 93160.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: The seven volumes LNCS 12249-12255 constitute the refereed proceedings of the 20th International Conference on Computational Science and Its Applications, ICCSA 2020, held in Cagliari, Italy, in July 2020.
Автор: Gervasi Osvaldo, Murgante Beniamino, Misra Sanjay Название: Computational Science and Its Applications - Iccsa 2020: 20th International Conference, Cagliari, Italy, July 1-4, 2020, Proceedings, Part III ISBN: 3030588076 ISBN-13(EAN): 9783030588076 Издательство: Springer Рейтинг: Цена: 93160.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: The seven volumes LNCS 12249-12255 constitute the refereed proceedings of the 20th International Conference on Computational Science and Its Applications, ICCSA 2020, held in Cagliari, Italy, in July 2020.
Автор: Sun Xingming, Wang Jinwei, Bertino Elisa Название: Artificial Intelligence and Security: 6th International Conference, Icais 2020, Hohhot, China, July 17-20, 2020, Proceedings, Part II ISBN: 3030578801 ISBN-13(EAN): 9783030578800 Издательство: Springer Рейтинг: Цена: 93160.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This two-volume set LNCS 12239-12240 constitutes the refereed proceedings of the 6th International Conference on Artificial Intelligence and Security, ICAIS 2020, which was held in Hohhot, China, in July 2020.
Design and Evaluation Methods and Tools.- User Characteristics, Requirements and Preferences.- Multimodal and Natural Interaction.- Recognizing Human Psychological States.- User Experience Studies.- Human Perception and Cognition.- AI in HCI.- Virtual, Augmented and Mixed Reality.- Virtual Humans and Motion Modelling and Tracking.- Learning Technology.- Universal Access, Accessibility and Design for the Elderly.- Smartphones, Social Media and Human Behaviour.- Interacting with Cultural Heritage.- Human-Vehicle Interaction.- Transport, Safety and Crisis Management.- Security, Privacy and Trust.- Product and Service Design.
Model Checking.- Software Verification.- Stochastic Systems.- Synthesis.
Автор: Gervasi Osvaldo, Murgante Beniamino, Misra Sanjay Название: Computational Science and Its Applications - Iccsa 2020: 20th International Conference, Cagliari, Italy, July 1-4, 2020, Proceedings, Part VII ISBN: 303058819X ISBN-13(EAN): 9783030588199 Издательство: Springer Рейтинг: Цена: 93160.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: The seven volumes LNCS 12249-12255 constitute the refereed proceedings of the 20th International Conference on Computational Science and Its Applications, ICCSA 2020, held in Cagliari, Italy, in July 2020.
Казахстан, 010000 г. Астана, проспект Туран 43/5, НП2 (офис 2) ТОО "Логобук" Тел:+7 707 857-29-98 ,+7(7172) 65-23-70 www.logobook.kz
