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. 03029743


Lecture notes in computer science. Lecture notes in artificial intelligence.

Contents 
Intro; Preface; Organization; Abstracts of Invited Talks; ConflictDriven Reasoning in Unions of Theories; Recent and Ongoing Developments of ModelConstructing Satisfiability; Modularity and Automated Reasoning in Description Logics; Contents; Automated Theorem Proving and Model Building; Symmetry Avoidance in MACEStyle Finite Model Finding; 1 Introduction; 2 MACEStyle Finite Model Building for FirstOrder 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 TwoSorted 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 LanguageIndependent 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 PreferenceBased Declarative Approaches; 4.1 PreferenceBased SAT 

5.2 TwoSorted = OneSorted Syntax5.3 The Main Decision Task: Definition; 6 Conclusion; References; Mechanised Assessment of Complex NaturalLanguage 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 Metalogical 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 NeurallyGuided, 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 
