Frontiers of Combining Systems: 13th International Symposium, Frocos 2021, Birmingham, Uk, September 8-10, 2021, Proceedings, Konev Boris, Reger Giles

Автор: Pascal Fontaine; Christophe Ringeissen; Renate Sch
Название: Frontiers of Combining Systems
ISBN: 3642408842 ISBN-13(EAN): 9783642408847
Издательство: Springer
Рейтинг:
Цена: 6986.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Invited Talk 1.- MetiTarski's Menagerie of Cooperating Systems.- Inductive Theorem Proving.- Combining Superposition and Induction: A Practical Realization.- Arrays and Memory Access Optimization.- Definability of Accelerated Relations in a Theory of Arrays and Its Applications.- Verification of Composed Array-Based Systems with Applications to Security-Aware Workflows.- Presburger Arithmetic in Memory Access Optimization for Data-Parallel Languages.- Approximation and Forgetting.- Roughening the EL Envelope.- Uniform Interpolation of ALC-Ontologies Using Fixpoints.- Abduction in Logic Programming as Second-Order Quantifier Elimination.- Invited Talk 2.- Witness Runs for Counter Machines.- Temporal and Description Logic Techniques.- Decidability and Complexity via Mosaics of the Temporal Logic of the Lexicographic Products of Unbounded Dense Linear Orders.- Temporal Query Answering in the Description Logic DL-Lite.- Verification of Golog Programs over Description Logic Actions.- Invited Talk 3.- Specification and Verification of Linear Dynamical Systems: Advances and Challenges.- Theorem Proving with Theories and Sorts.- Obtaining Finite Local Theory Axiomatizations via Saturation.- Non-cyclic Sorts for First-Order Satisfiability.- Detection of First Order Axiomatic Theories.- Mechanizing the Metatheory of Sledgehammer.- Invited Talk 4.- From Resolution and DPLL to Solving Arithmetic Constraints.- Modal Logic and Description Logic.- Tableaux for Relation-Changing Modal Logics.- Computing Minimal Models Modulo Subset-Simulation for Modal Logics.- Hybrid Unification in the Description Logic EL.- Rewriting.- Disproving Confluence of Term Rewriting Systems by Interpretation and Ordering.- On Forward Closure and the Finite Variant Property.- Term Rewriting with Logical Constraints.

Автор: Bright Jonathan, Giachanou Anastasia, Spaiser Viktoria
Название: Disinformation in Open Online Media: Third Multidisciplinary International Symposium, MISDOOM 2021, Virtual Event, September 21-22, 2021, Proceedings
ISBN: 3030870308 ISBN-13(EAN): 9783030870300
Издательство: Springer
Цена: 6986.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the refereed proceedings of the Third Multidisciplinary International Symposium on Disinformation in Open Online Media, MISDOOM 2021, held in September 2021. The papers focus on health misinformation, hate speech, misinformation diffusion, news spreading behaviour and mitigation, harm-aware news recommender systems.

Автор: Sanjurjo Gonzбlez Hugo, Pastor Lуpez Iker, Garcнa Bringas Pablo
Название: Hybrid Artificial Intelligent Systems: 16th International Conference, Hais 2021, Bilbao, Spain, September 22-24, 2021, Proceedings
ISBN: 3030862704 ISBN-13(EAN): 9783030862701
Издательство: Springer
Цена: 16769.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the refereed proceedings of the 16th International Conference on Hybrid Artificial Intelligent Systems, HAIS 2021, held in Bilbao, Spain, in September 2021.The 44 full and 11 short papers presented in this book were carefully reviewed and selected from 81 submissions.

Автор: Clare Dixon; Marcelo Finger
Название: Frontiers of Combining Systems
ISBN: 3319661663 ISBN-13(EAN): 9783319661667
Издательство: Springer
Рейтинг:
Цена: 9083.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the proceedings of the 11th International Symposium on Frontiers of Combining Systems, FroCoS 2017, held in Brasilia, Bazil, in September 2017.

Автор: F. Baader; K.U. Schulz
Название: Frontiers of Combining Systems
ISBN: 9401066434 ISBN-13(EAN): 9789401066433
Издательство: Springer
Рейтинг:
Цена: 12157.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: First International Workshop, Munich, March 1996

Автор: Carsten Lutz; Silvio Ranise
Название: Frontiers of Combining Systems
ISBN: 3319242458 ISBN-13(EAN): 9783319242453
Издательство: Springer
Рейтинг:
Цена: 7826.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the proceedings of the 10th International Symposium on Frontiers of Combining Systems, FroCoS 2015, held in Wroclaw, Poland, in September 2015. The 20 papers presented in this volume were carefully reviewed and selected from 34 submissions. decision procedures; decision procedures for verification;

Автор: Andreas Herzig; Andrei Popescu
Название: Frontiers of Combining Systems
ISBN: 3030290069 ISBN-13(EAN): 9783030290061
Издательство: Springer
Рейтинг:
Цена: 9083.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the proceedings of the 12th International Symposium on Frontiers of Combining Systems, FroCoS 2019, held in London, UK, in September 2019, colocated with the 28th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2019.

Автор: Caragiannis Ioannis, Hansen Kristoffer Arnsfelt
Название: Algorithmic Game Theory: 14th International Symposium, Sagt 2021, Aarhus, Denmark, September 21-24, 2021, Proceedings
ISBN: 3030859460 ISBN-13(EAN): 9783030859466
Издательство: Springer
Цена: 11878.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the refereed proceedings of the 14th International Symposium on Algorithmic Game Theory, SAGT 2021, held in Aarhus, Denmark in September 2021. The 26 full papers presented together with 4 abstract papers were carefully reviewed and selected from 73 submissions.

Автор: Strauss Christine, Kotsis Gabriele, Tjoa A. Min
Название: Database and Expert Systems Applications: 32nd International Conference, DEXA 2021, Virtual Event, September 27-30, 2021, Proceedings, Part I
ISBN: 3030864715 ISBN-13(EAN): 9783030864712
Издательство: Springer
Цена: 6986.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This two-volume set, LNCS 12923 and 12924, constitutes the thoroughly refereed proceedings of the 5th International Conference on Database and Expert Systems Applications, DEXA 2021.

Автор: Johnen Colette, Schiller Elad Michael, Schmid Stefan
Название: Stabilization, Safety, and Security of Distributed Systems: 23rd International Symposium, SSS 2021, Virtual Event, November 17-20, 2021, Proceedings
ISBN: 3030910806 ISBN-13(EAN): 9783030910808
Издательство: Springer
Рейтинг:
Цена: 12577.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the refereed proceedings of the 23rd International Symposium on Stabilization, Safety, and Security of Distributed Systems, SSS 2021, held virtually, in November 2021. The 16 full papers, 10 short and 14 invited papers presented were carefully reviewed and selected from 56 submissions.

Автор: Harks Tobias, Klimm Max
Название: Algorithmic Game Theory: 13th International Symposium, Sagt 2020, Augsburg, Germany, September 16-18, 2020, Proceedings
ISBN: 3030579794 ISBN-13(EAN): 9783030579791
Издательство: Springer
Рейтинг:
Цена: 10480.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Auctions and Mechanism Design.- Congestion Games and Flows over Time.- Markets and Matchings.- Scheduling and Games on Graphs.- Social Choice and Cooperative Games.

Автор: Silvio Ghilardi; Roberto Sebastiani
Название: Frontiers of Combining Systems
ISBN: 364204221X ISBN-13(EAN): 9783642042218
Издательство: Springer
Рейтинг:
Цена: 10480.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the refereed proceedings of the 7th International Symposium on Frontiers of Combining Systems, FroCoS 2007, held in Trento, Italy, September 16-18, 2009. combination issues in rewriting and programming as well as in logical frameworks and theorem proving systems.