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

Click on the following:
Springer Computer Science eBooks
Springer eBooks

Copies

Description 1 online resource : illustrations (some color) Series 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. LNCS sublibrary. SL 7, 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 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 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 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.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 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 Logic, Symbolic and mathematical -- Congresses Computer science -- Congresses Computer science Logic, Symbolic and mathematical Genre/Form proceedings (reports) Conference papers and proceedings Conference papers and proceedings. Actes de congrès. Form Electronic book Author Herzig, Andreas, editor Popescu, Andrei, editor ISBN 9783030290078 3030290077 3030290069 9783030290061 9783030290085 3030290085

  Permalink