skip to content
Frontiers of combining systems : 12th international symposium, FroCoS 2019, London, UK, September 4-6, 2019 : proceedings Preview this item
ClosePreview this item
Checking...

Frontiers of combining systems : 12th international symposium, FroCoS 2019, London, UK, September 4-6, 2019 : proceedings

Author: Andreas Herzig; Andrei Popescu
Publisher: Cham : Springer, [2019] ©2019
Series: Lecture notes in computer science, 11715.; Lecture notes in computer science., Lecture notes in artificial intelligence.; LNCS sublibrary., SL 7,, Artificial intelligence.
Edition/Format:   eBook : Document : Conference publication : EnglishView all editions and formats
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  Read more...
Rating:

(not yet rated) 0 with reviews - Be the first.

Subjects
More like this

Find a copy online

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...

Details

Genre/Form: Electronic books
Conference papers and proceedings
Congresses
Material Type: Conference publication, Document, Internet resource
Document Type: Internet Resource, Computer File
All Authors / Contributors: Andreas Herzig; Andrei Popescu
ISBN: 9783030290078 3030290077
OCLC Number: 1118694901
Description: 1 online resource : illustrations (some color)
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
Series Title: Lecture notes in computer science, 11715.; Lecture notes in computer science., Lecture notes in artificial intelligence.; LNCS sublibrary., SL 7,, Artificial intelligence.
Responsibility: Andreas Herzig, Andrei Popescu (eds.).

Abstract:

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  Read more...

Reviews

User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Tags

Be the first.
Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Linked Data


Primary Entity

<http://www.worldcat.org/oclc/1118694901> # Frontiers of combining systems : 12th international symposium, FroCoS 2019, London, UK, September 4-6, 2019 : proceedings
    a schema:CreativeWork, schema:Book, schema:MediaObject ;
    library:oclcnum "1118694901" ;
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/sz> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/9540919274#Topic/computer_science> ; # Computer science
    schema:about <http://dewey.info/class/005.131/e23/> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/9540919274#Topic/logic_symbolic_and_mathematical> ; # Logic, Symbolic and mathematical
    schema:bookFormat schema:EBook ;
    schema:creator <http://experiment.worldcat.org/entity/work/data/9540919274#Meeting/frocos_symposium_12th_2019_london_england> ; # FroCoS (Symposium) (12th : 2019 : London, England)
    schema:datePublished "2019" ;
    schema:description "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."@en ;
    schema:description "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"@en ;
    schema:editor <http://experiment.worldcat.org/entity/work/data/9540919274#Person/popescu_andrei> ; # Andrei Popescu
    schema:editor <http://experiment.worldcat.org/entity/work/data/9540919274#Person/herzig_andreas> ; # Andreas Herzig
    schema:exampleOfWork <http://worldcat.org/entity/work/id/9540919274> ;
    schema:genre "Conference papers and proceedings"@en ;
    schema:genre "Conference publication"@en ;
    schema:genre "Electronic books"@en ;
    schema:inLanguage "en" ;
    schema:isPartOf <http://worldcat.org/issn/0302-9743> ; # Lecture notes in computer science ;
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/9540919274#Series/lncs_sublibrary> ; # LNCS sublibrary.
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/9540919274#Series/lecture_notes_in_computer_science> ; # Lecture notes in computer science.
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/9540919274#Series/lncs_sublibrary_sl_7_artificial_intelligence> ; # LNCS sublibrary. SL 7, Artificial intelligence
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/9540919274#Series/lecture_notes_in_artificial_intelligence> ; # Lecture notes in artificial intelligence ;
    schema:name "Frontiers of combining systems : 12th international symposium, FroCoS 2019, London, UK, September 4-6, 2019 : proceedings"@en ;
    schema:productID "1118694901" ;
    schema:url <https://public.ebookcentral.proquest.com/choice/publicfullrecord.aspx?p=5924193> ;
    schema:url <https://doi.org/10.1007/978-3-030-29007-8> ;
    schema:workExample <http://worldcat.org/isbn/9783030290078> ;
    schema:workExample <http://dx.doi.org/10.1007/978-3-030-29007-8> ;
    umbel:isLike <http://bnb.data.bl.uk/id/resource/GBB9F8019> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/1118694901> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/9540919274#Meeting/frocos_symposium_12th_2019_london_england> # FroCoS (Symposium) (12th : 2019 : London, England)
    a bgn:Meeting, schema:Event ;
    schema:location <http://experiment.worldcat.org/entity/work/data/9540919274#Place/london_england> ; # London, England)
    schema:name "FroCoS (Symposium) (12th : 2019 : London, England)" ;
    .

<http://experiment.worldcat.org/entity/work/data/9540919274#Person/herzig_andreas> # Andreas Herzig
    a schema:Person ;
    schema:familyName "Herzig" ;
    schema:givenName "Andreas" ;
    schema:name "Andreas Herzig" ;
    .

<http://experiment.worldcat.org/entity/work/data/9540919274#Person/popescu_andrei> # Andrei Popescu
    a schema:Person ;
    schema:familyName "Popescu" ;
    schema:givenName "Andrei" ;
    schema:name "Andrei Popescu" ;
    .

<http://experiment.worldcat.org/entity/work/data/9540919274#Place/london_england> # London, England)
    a schema:Place ;
    schema:name "London, England)" ;
    .

<http://experiment.worldcat.org/entity/work/data/9540919274#Series/lecture_notes_in_artificial_intelligence> # Lecture notes in artificial intelligence ;
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/1118694901> ; # Frontiers of combining systems : 12th international symposium, FroCoS 2019, London, UK, September 4-6, 2019 : proceedings
    schema:name "Lecture notes in artificial intelligence ;" ;
    .

<http://experiment.worldcat.org/entity/work/data/9540919274#Series/lecture_notes_in_computer_science> # Lecture notes in computer science.
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/1118694901> ; # Frontiers of combining systems : 12th international symposium, FroCoS 2019, London, UK, September 4-6, 2019 : proceedings
    schema:name "Lecture notes in computer science." ;
    .

<http://experiment.worldcat.org/entity/work/data/9540919274#Series/lncs_sublibrary> # LNCS sublibrary.
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/1118694901> ; # Frontiers of combining systems : 12th international symposium, FroCoS 2019, London, UK, September 4-6, 2019 : proceedings
    schema:name "LNCS sublibrary." ;
    .

<http://experiment.worldcat.org/entity/work/data/9540919274#Series/lncs_sublibrary_sl_7_artificial_intelligence> # LNCS sublibrary. SL 7, Artificial intelligence
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/1118694901> ; # Frontiers of combining systems : 12th international symposium, FroCoS 2019, London, UK, September 4-6, 2019 : proceedings
    schema:name "LNCS sublibrary. SL 7, Artificial intelligence" ;
    .

<http://experiment.worldcat.org/entity/work/data/9540919274#Topic/logic_symbolic_and_mathematical> # Logic, Symbolic and mathematical
    a schema:Intangible ;
    schema:name "Logic, Symbolic and mathematical"@en ;
    .

<http://worldcat.org/isbn/9783030290078>
    a schema:ProductModel ;
    schema:isbn "3030290077" ;
    schema:isbn "9783030290078" ;
    .

<http://worldcat.org/issn/0302-9743> # Lecture notes in computer science ;
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/1118694901> ; # Frontiers of combining systems : 12th international symposium, FroCoS 2019, London, UK, September 4-6, 2019 : proceedings
    schema:issn "0302-9743" ;
    schema:name "Lecture notes in computer science ;" ;
    .

<http://www.worldcat.org/title/-/oclc/1118694901>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
    schema:about <http://www.worldcat.org/oclc/1118694901> ; # Frontiers of combining systems : 12th international symposium, FroCoS 2019, London, UK, September 4-6, 2019 : proceedings
    schema:dateModified "2019-11-12" ;
    void:inDataset <http://purl.oclc.org/dataset/WorldCat> ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.