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

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

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

Автор: Clare Dixon; Marcelo Finger
Название: Frontiers of Combining Systems
ISBN: 3319661663 ISBN-13(EAN): 9783319661667
Издательство: Springer
Рейтинг:
Цена: 60550.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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
Рейтинг:
Цена: 81050.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: First International Workshop, Munich, March 1996

Автор: Alessandro Armando
Название: Frontiers of Combining Systems
ISBN: 3540433813 ISBN-13(EAN): 9783540433811
Издательство: Springer
Рейтинг:
Цена: 65210.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Constitutes the refereed proceedings of the 4th International Conference on Frontiers of Combining Systems held in Italy in 2002. The 14 revised full papers and 3 invited papers cover combination of logics, of constraint solving techniques, of decision procedures, combination problems and more.

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

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

Автор: 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
Цена: 46570.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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.

Автор: 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
Цена: 79190.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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.

Автор: Bampis Evripidis, Pagourtzis Aris
Название: Fundamentals of Computation Theory: 23rd International Symposium, FCT 2021, Athens, Greece, September 12-15, 2021, Proceedings
ISBN: 3030865924 ISBN-13(EAN): 9783030865924
Издательство: Springer
Цена: 83850.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the proceedings of the 23rd International Symposium on Fundamentals of Computation Theory, FCT 2021, held in Athens, Greece, in September 2021. The papers cover topics of all aspects of theoretical computer science, in particular algorithms, complexity, formal and logical methods.

Автор: Helic Denis, Leitner Gerhard, Stettinger Martin
Название: Foundations of Intelligent Systems: 25th International Symposium, Ismis 2020, Graz, Austria, September 23-25, 2020, Proceedings
ISBN: 3030594904 ISBN-13(EAN): 9783030594909
Издательство: Springer
Рейтинг:
Цена: 46570.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the proceedings of the 25th International Symposium on Foundations of Intelligent Systems, ISMIS 2020, held in Graz, Austria, in October 2020.

Автор: Andreasen Troels, de Trй Guy, Kacprzyk Janusz
Название: Flexible Query Answering Systems: 14th International Conference, FQAS 2021, Bratislava, Slovakia, September 19-24, 2021, Proceedings
ISBN: 3030869660 ISBN-13(EAN): 9783030869663
Издательство: Springer
Цена: 69870.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the refereed proceedings of the 14th International Conference on Flexible Query Answering Systems, FQAS 2021, held virtually and in Bratislava, Slovakia, in September 2021.The 16 full papers and 1 perspective papers presented were carefully reviewed and selected from 17 submissions.