Frontiers of Combining Systems [electronic resource] : 13th International Symposium, FroCoS 2021, Birmingham, UK, September 8-10, 2021, Proceedings / edited by Boris Konev, Giles Reger.
Contributor(s): Konev, Boris [editor.] | Reger, Giles [editor.] | SpringerLink (Online service).
Material type: BookSeries: Lecture Notes in Artificial Intelligence: 12941Publisher: Cham : Springer International Publishing : Imprint: Springer, 2021Edition: 1st ed. 2021.Description: XVI, 307 p. 41 illus., 19 illus. in color. online resource.Content type: text Media type: computer Carrier type: online resourceISBN: 9783030862053.Subject(s): Artificial intelligence | Software engineering | Computer engineering | Computer networks | Computer science | Machine theory | Artificial Intelligence | Software Engineering | Computer Engineering and Networks | Computer Science Logic and Foundations of Programming | Formal Languages and Automata TheoryAdditional physical formats: Printed edition:: No title; Printed edition:: No titleDDC classification: 006.3 Online resources: Click here to access online
Contents:
In:
Springer Nature eBookSummary: This book constitutes the refereed proceedings of the 13th International Symposium on Frontiers of Combining Systems, FroCoS 2021, held in Birmingham, UK, in September 2021.
Calculi and Unification -- A Datalog Hammer for Supervisor Verification Conditions Modulo Simple Linear Arithmetic -- Non-Disjoint Combined Unification and Closure by Equational Paramodulation -- Symbol Elimination and Applications to Parametric Entailment Problems -- On the copy complexity of width 3 Horn constraint systems -- Description Logics Restricted Unification in the Description Logic FL0 -- Combining Event Calculus and Description Logic Reasoning via Logic Programming -- Semantic Forgetting in Expressive Description Logics -- Interactive Theorem Proving Improving Automation for Higher-order Proof Steps -- JEFL: Joint Embedding of Formal Proof Libraries -- Machine Learning Fast and Slow Enigmas and Parental Guidance -- Vampire With a Brain Is a Good ITP Hammer -- Satisfiability Modulo Theories Optimization Modulo Non-Linear Arithmetic via Incremental Linearization -- Quantifier Simplification by Unification in SMT -- Verification Algorithmic Problems in the Symbolic Approach to the Verification of Automatically Synthesized Cryptosystems -- Formal Analysis of Symbolic Authenticity -- Formal Verification of a Java Component Using the RESOLVE Framework.
There are no comments for this item.