Automated Reasoning : 11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8-10, 2022, Proceedings

• Tác giả: Jasmin Blanchette, Laura Kovács, Dirk Pattinson
• Ngôn ngữ: eng
• ISBN-13: 978-3031107696
• Thông tin xuất bản: Cham : Springer Nature, 2022
• Mô tả vật lý: 1 electronic resource (756 p.)
• Bộ sưu tập: Tài liệu truy cập mở
• ID: 270797
• Chủ đề: 1. Artificial intelligence; 2. Computer networking & communications; 3. Computer programming / software development; 4. Mathematical theory of computation; 5. Software Engineering

Tóm tắt

 This volume, LNAI 13385, constitutes the refereed proceedings of the 11th International Joint Conference on Automated Reasoning, IJCAR 2022, held in Haifa, Israel, in August 2022. The 32 full research papers and 9 short papers presented together with two invited talks were carefully reviewed and selected from 85 submissions. The papers focus on the following topics: Satisfiability, SMT Solving,Arithmetic
  Calculi and Orderings
  Knowledge Representation and Jutsification
  Choices, Invariance, Substitutions and Formalization
  Modal Logics
  Proofs System and Proofs Search
  Evolution, Termination and Decision Prolems. This is an open access book.