Description
Frontiers of Combining Systems, 1st ed. 2021
13th International Symposium, FroCoS 2021, Birmingham, UK, September 8-10, 2021, Proceedings
Lecture Notes in Artificial Intelligence Series
Coordinators: Konev Boris, Reger Giles
Language: EnglishSubjects for Frontiers of Combining Systems:
Keywords
artificial intelligence; computer networks; automated reasoning; computer systems; description logics; formal languages; formal logic; constraint solving; linguistics; decision procedures; network protocols; ontologies; reasoning; semantics; software architecture; software design; software engineering; software quality; verification; verification and validation
Publication date: 09-2021
307 p. · 15.5x23.5 cm · Paperback
307 p. · 15.5x23.5 cm · Paperback
Description
/li>Contents
/li>
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.
© 2024 LAVOISIER S.A.S.