Limit search to available items
Book Cover
E-book
Author FroCoS (Symposium) (12th : 2019 : London, England)

Title Frontiers of combining systems : 12th international symposium, FroCoS 2019, London, UK, September 4-6, 2019 : proceedings / Andreas Herzig, Andrei Popescu (eds.)
Published Cham : Springer, [2019]
©2019
Online access available from:
Springer eBooks    View Resource Record  

Copies

Description 1 online resource : illustrations (some color)
Series LNCS sublibrary. SL 7, Artificial intelligence
Lecture notes in artificial intelligence ; 11715
LNCS sublibrary. SL 7, Artificial intelligence
Lecture notes in computer science ; 11715. 0302-9743
Lecture notes in computer science. Lecture notes in artificial intelligence.
Contents Intro; Preface; Organization; Abstracts of Invited Talks; Conflict-Driven Reasoning in Unions of Theories; Recent and Ongoing Developments of Model-Constructing Satisfiability; Modularity and Automated Reasoning in Description Logics; Contents; Automated Theorem Proving and Model Building; Symmetry Avoidance in MACE-Style Finite Model Finding; 1 Introduction; 2 MACE-Style Finite Model Building for First-Order Logic; 3 Characterising Symmetry Avoidance; 4 Symmetry Avoidance Heuristics; 5 Experimental Evaluation; 6 Comparing Symmetry Breaking and Symmetry Avoidance
4.2 Logic Programs with Preferences4.3 Answer Set Optimization; 5 Conclusion; References; Combinations of Systems; Ilinva: Using Abduction to Generate Loop Invariants; 1 Introduction; 2 Verification Conditions; 3 Abduction; 4 Generating Loop Invariants; 5 Implementation; 5.1 Overview; 5.2 Distribution; 6 Experiments; 6.1 Results; 6.2 Discussion; 7 Conclusion and Future Work; References; An Algebra of Modular Systems: Static and Dynamic Perspectives; 1 Introduction; 2 Model Expansion, Related Tasks; 3 Algebras: Static and Dynamic; 4 Definable Constructs; 5 Modal Logic; 5.1 Two-Sorted Syntax, L
5 Oracle6 Learned Heuristic; 6.1 Data Collection; 6.2 Translation to Graphs; 6.3 Augmentation; 6.4 Neural Architecture; 6.5 Implementation and Training; 6.6 Network Evaluation; 7 Experimental Results; 8 Future Work; 9 Conclusions; References; A Language-Independent Framework for Reasoning About Preferences for Declarative Problem Solving; 1 Introduction; 2 Background; 3 Model Expansion with Preferences; 3.1 Preference Expression; 3.2 Prioritized Model Expansion; 3.3 Conditional Preferences; 4 Relation to Other Preference-Based Declarative Approaches; 4.1 Preference-Based SAT
5.2 Two-Sorted = One-Sorted Syntax5.3 The Main Decision Task: Definition; 6 Conclusion; References; Mechanised Assessment of Complex Natural-Language Arguments Using Expressive Logic Combinations; 1 Introduction; 2 Semantical Embedding of (augmented) DDL; 2.1 Definition of Types; 2.2 Semantic Characterisation of the DDL by Carmo and Jones; 2.3 Semantical Embedding of DDL; 2.4 Verifying the Embedding; 3 Extending the Embedding; 3.1 Context Features; 3.2 Logical Validity; 3.3 Operator ̀̀dthat''; 3.4 Operator ̀̀Actually''; 3.5 Quantification; 3.6 Some Meta-logical Results; 4 Examples
6.1 The Effect of Symmetry Breaking6.2 Comparing Breaking and Avoidance; 6.3 Discussion; 7 Conclusion and Future Work; References; On the Expressivity and Applicability of Model Representation Formalisms; 1 Introduction; 2 Preliminaries; 3 MSLH Model Properties; 4 Model Representation Formalisms; 5 Model Finding by Approximation Refinement; 6 Discussion; References; A Neurally-Guided, Parallel Theorem Prover; 1 Introduction; 2 Background; 2.1 Logic and Theorem Proving; 2.2 Machine Learning and Theorem Proving; 3 Design; 3.1 Search; 3.2 Architecture and Prototype Implementation; 4 Calculus
Summary 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. The 20 papers presented were carefully reviewed and selected from 30 submissions. They present research on the development of techniques and methods for the combination and integration of formal systems, their modularization and analysis. The papers are organized in the following topical sections: automated theorem proving and model building, combinations of systems, constraint solving, description logics, interactive theorem proving, modal and epistemic logics, and rewriting and unification
Bibliography Includes bibliographical references and index
Notes Online resource; title from PDF title page (SpringerLink, viewed September 11, 2019)
Subject Computer science -- Congresses.
Logic, Symbolic and mathematical -- Congresses.
Computer science.
Logic, Symbolic and mathematical.
Genre/Form Conference papers and proceedings.
Conference papers and proceedings.
Form Electronic book
Author Herzig, Andreas, editor
Popescu, Andrei, editor.
ISBN 3030290077
9783030290078