Automated Reasoning: 10th International Joint Conference, Ijcar 2020, Paris, France, July 1-4, 2020, Proceedings, Part II, Peltier Nicolas, Sofronie-Stokkermans Viorica
Описание: 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.
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.
Описание: 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.
Описание: 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.
Описание: 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.
Описание: 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.
Описание: 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.
Описание: 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.
