Frontiers of Combining Systems
portes grátis
Frontiers of Combining Systems
13th International Symposium, FroCoS 2021, Birmingham, UK, September 8-10, 2021, Proceedings
Konev, Boris; Reger, Giles
Springer Nature Switzerland AG
09/2021
307
Mole
Inglês
9783030862046
15 a 20 dias
498
Descrição não disponível.
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.
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.
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
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.
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.
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
