skip to content
Frontiers of combining systems : 11th International Symposium, FroCoS 2017, Brasília, Brazil, September 27-29, 2017, Proceedings Preview this item
ClosePreview this item
Checking...

Frontiers of combining systems : 11th International Symposium, FroCoS 2017, Brasília, Brazil, September 27-29, 2017, Proceedings

Author: Clare Dixon; Marcelo Finger
Publisher: Cham, Switzerland : Springer, 2017.
Series: Lecture notes in computer science, 10483.; 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 11th International Symposium on Frontiers of Combining Systems, FroCoS 2017, held in Brasília, Bazil, in September 2017. The 17 papers presented in this volume were carefully reviewed and selected from 26 submissions. They were organized in topical sections named: description and temporal logics, decision procedures, decidability and verification, SAT, SMT and automated  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
Additional Physical Format: Printed edition:
Material Type: Conference publication, Document, Internet resource
Document Type: Internet Resource, Computer File
All Authors / Contributors: Clare Dixon; Marcelo Finger
ISBN: 9783319661674 3319661671
OCLC Number: 1003191654
Notes: International conference proceedings.
Includes author index.
Description: 1 online resource (x, 351 pages) : illustrations.
Contents: Foundational (Co)datatypes and (Co)recursion for Higher-Order Logic --
Designing Theory Solvers with Extensions --
First-Order Interpolation of Non-Classical Logics Derived from Propositional Interpolation --
A New Description Logic with Set Constraints and Cardinality Constraints on Role Successors --
Interpolation, Amalgamation and Combination (the Non-disjoint Signatures Case) --
Subtropical Satisfiability --
Finitariness of Elementary Unification in Boolean Region Connection Calculus --
Metric Temporal Description Logics with Interval-Rigid Names --
Superposition with Integrated Induction --
The Bernays-Schönfinkel-Ramsey Fragment with Bounded Difference Constraints over the Reals is Decidable --
Decidable Verification of Decision-Theoretic Golog --
Pushing the Boundaries of Reasoning About Qualified Cardinality Restrictions --
Complexity Analysis for Term Rewriting by Integer Transition Systems --
Using Ontologies to Query Probabilistic Numerical Data --
Merging Fragments of Classical Logic --
On Solving Nominal Fixpoint Equations --
Parallel Closure Theorem for Left-Linear Nominal Rewriting Systems --
Solving SAT and MaxSAT with a Quantum Annealer: Foundations and a Preliminary Report --
The Boolean Solution Problem from the Perspective of Predicate Logic.
Series Title: Lecture notes in computer science, 10483.; Lecture notes in computer science., Lecture notes in artificial intelligence.; LNCS sublibrary., SL 7,, Artificial intelligence.
Other Titles: FroCoS 2017
Responsibility: Clare Dixon, Marcelo Finger (eds.).

Abstract:

This book constitutes the proceedings of the 11th International Symposium on Frontiers of Combining Systems, FroCoS 2017, held in Brasilia, Bazil, in September 2017.  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/1003191654> # Frontiers of combining systems : 11th International Symposium, FroCoS 2017, Brasília, Brazil, September 27-29, 2017, Proceedings
    a schema:Book, schema:MediaObject, schema:CreativeWork ;
    library:oclcnum "1003191654" ;
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/sz> ;
    schema:about <http://dewey.info/class/005.131/e23/> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/4497905322#Topic/logic_symbolic_and_mathematical> ; # Logic, Symbolic and mathematical
    schema:about <http://experiment.worldcat.org/entity/work/data/4497905322#Topic/computer_science> ; # Computer science
    schema:alternateName "FroCoS 2017" ;
    schema:bookFormat schema:EBook ;
    schema:creator <http://experiment.worldcat.org/entity/work/data/4497905322#Meeting/frocos_symposium_11th_2017_brasilia_brazil> ; # FroCoS (Symposium) (11th : 2017 : Brasília, Brazil)
    schema:datePublished "2017" ;
    schema:description "Foundational (Co)datatypes and (Co)recursion for Higher-Order Logic -- Designing Theory Solvers with Extensions -- First-Order Interpolation of Non-Classical Logics Derived from Propositional Interpolation -- A New Description Logic with Set Constraints and Cardinality Constraints on Role Successors -- Interpolation, Amalgamation and Combination (the Non-disjoint Signatures Case) -- Subtropical Satisfiability -- Finitariness of Elementary Unification in Boolean Region Connection Calculus -- Metric Temporal Description Logics with Interval-Rigid Names -- Superposition with Integrated Induction -- The Bernays-Schönfinkel-Ramsey Fragment with Bounded Difference Constraints over the Reals is Decidable -- Decidable Verification of Decision-Theoretic Golog -- Pushing the Boundaries of Reasoning About Qualified Cardinality Restrictions -- Complexity Analysis for Term Rewriting by Integer Transition Systems -- Using Ontologies to Query Probabilistic Numerical Data -- Merging Fragments of Classical Logic -- On Solving Nominal Fixpoint Equations -- Parallel Closure Theorem for Left-Linear Nominal Rewriting Systems -- Solving SAT and MaxSAT with a Quantum Annealer: Foundations and a Preliminary Report -- The Boolean Solution Problem from the Perspective of Predicate Logic."@en ;
    schema:description "This book constitutes the proceedings of the 11th International Symposium on Frontiers of Combining Systems, FroCoS 2017, held in Brasília, Bazil, in September 2017. The 17 papers presented in this volume were carefully reviewed and selected from 26 submissions. They were organized in topical sections named: description and temporal logics, decision procedures, decidability and verification, SAT, SMT and automated theorem proving, term rewriting, and properties and combinations of logics."@en ;
    schema:editor <http://experiment.worldcat.org/entity/work/data/4497905322#Person/dixon_clare> ; # Clare Dixon
    schema:editor <http://experiment.worldcat.org/entity/work/data/4497905322#Person/finger_marcelo> ; # Marcelo Finger
    schema:exampleOfWork <http://worldcat.org/entity/work/id/4497905322> ;
    schema:genre "Conference papers and proceedings"@en ;
    schema:genre "Conference publication"@en ;
    schema:genre "Electronic books"@en ;
    schema:inLanguage "en" ;
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/4497905322#Series/lecture_notes_in_artificial_intelligence> ; # Lecture notes in artificial intelligence
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/4497905322#Series/lncs_sublibrary> ; # LNCS sublibrary.
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/4497905322#Series/lecture_notes_in_computer_science> ; # Lecture notes in computer science.
    schema:isPartOf <http://worldcat.org/issn/0302-9743> ; # Lecture notes in computer science ;
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/4497905322#Series/lncs_sublibrary_sl_7_artificial_intelligence> ; # LNCS sublibrary. SL 7, Artificial intelligence
    schema:isSimilarTo <http://worldcat.org/entity/work/data/4497905322#CreativeWork/> ;
    schema:name "Frontiers of combining systems : 11th International Symposium, FroCoS 2017, Brasília, Brazil, September 27-29, 2017, Proceedings"@en ;
    schema:productID "1003191654" ;
    schema:url <https://link.springer.com/10.1007/978-3-319-66167-4> ;
    schema:url <https://link.springer.com/openurl?genre=book&isbn=978-3-319-66166-7> ;
    schema:url <https://0-link-springer-com.pugwash.lib.warwick.ac.uk/book/10.1007/978-3-319-66167-4> ;
    schema:url <https://0-link-springer-com.pugwash.lib.warwick.ac.uk/10.1007/978-3-319-66167-4> ;
    schema:url <http://dx.doi.org/10.1007/978-3-319-66167-4> ;
    schema:url <http://link.springer.com/10.1007/978-3-319-66167-4> ;
    schema:url <http://rave.ohiolink.edu/ebooks/ebc/9783319661674> ;
    schema:workExample <http://dx.doi.org/10.1007/978-3-319-66167-4> ;
    schema:workExample <http://worldcat.org/isbn/9783319661674> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/1003191654> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/4497905322#Meeting/frocos_symposium_11th_2017_brasilia_brazil> # FroCoS (Symposium) (11th : 2017 : Brasília, Brazil)
    a bgn:Meeting, schema:Event ;
    schema:location <http://experiment.worldcat.org/entity/work/data/4497905322#Place/brasilia_brazil> ; # Brasília, Brazil)
    schema:name "FroCoS (Symposium) (11th : 2017 : Brasília, Brazil)" ;
    .

<http://experiment.worldcat.org/entity/work/data/4497905322#Person/dixon_clare> # Clare Dixon
    a schema:Person ;
    schema:familyName "Dixon" ;
    schema:givenName "Clare" ;
    schema:name "Clare Dixon" ;
    .

<http://experiment.worldcat.org/entity/work/data/4497905322#Person/finger_marcelo> # Marcelo Finger
    a schema:Person ;
    schema:familyName "Finger" ;
    schema:givenName "Marcelo" ;
    schema:name "Marcelo Finger" ;
    .

<http://experiment.worldcat.org/entity/work/data/4497905322#Place/brasilia_brazil> # Brasília, Brazil)
    a schema:Place ;
    schema:name "Brasília, Brazil)" ;
    .

<http://experiment.worldcat.org/entity/work/data/4497905322#Series/lecture_notes_in_artificial_intelligence> # Lecture notes in artificial intelligence
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/1003191654> ; # Frontiers of combining systems : 11th International Symposium, FroCoS 2017, Brasília, Brazil, September 27-29, 2017, Proceedings
    schema:name "Lecture notes in artificial intelligence" ;
    .

<http://experiment.worldcat.org/entity/work/data/4497905322#Series/lecture_notes_in_computer_science> # Lecture notes in computer science.
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/1003191654> ; # Frontiers of combining systems : 11th International Symposium, FroCoS 2017, Brasília, Brazil, September 27-29, 2017, Proceedings
    schema:name "Lecture notes in computer science." ;
    .

<http://experiment.worldcat.org/entity/work/data/4497905322#Series/lncs_sublibrary> # LNCS sublibrary.
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/1003191654> ; # Frontiers of combining systems : 11th International Symposium, FroCoS 2017, Brasília, Brazil, September 27-29, 2017, Proceedings
    schema:name "LNCS sublibrary." ;
    .

<http://experiment.worldcat.org/entity/work/data/4497905322#Series/lncs_sublibrary_sl_7_artificial_intelligence> # LNCS sublibrary. SL 7, Artificial intelligence
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/1003191654> ; # Frontiers of combining systems : 11th International Symposium, FroCoS 2017, Brasília, Brazil, September 27-29, 2017, Proceedings
    schema:name "LNCS sublibrary. SL 7, Artificial intelligence" ;
    .

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

<http://worldcat.org/entity/work/data/4497905322#CreativeWork/>
    a schema:CreativeWork ;
    schema:description "Printed edition:" ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/1003191654> ; # Frontiers of combining systems : 11th International Symposium, FroCoS 2017, Brasília, Brazil, September 27-29, 2017, Proceedings
    .

<http://worldcat.org/isbn/9783319661674>
    a schema:ProductModel ;
    schema:isbn "3319661671" ;
    schema:isbn "9783319661674" ;
    .

<http://worldcat.org/issn/0302-9743> # Lecture notes in computer science ;
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/1003191654> ; # Frontiers of combining systems : 11th International Symposium, FroCoS 2017, Brasília, Brazil, September 27-29, 2017, Proceedings
    schema:issn "0302-9743" ;
    schema:name "Lecture notes in computer science ;" ;
    schema:name "Lecture notes in computer science," ;
    .

<http://www.worldcat.org/title/-/oclc/1003191654>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
    schema:about <http://www.worldcat.org/oclc/1003191654> ; # Frontiers of combining systems : 11th International Symposium, FroCoS 2017, Brasília, Brazil, September 27-29, 2017, Proceedings
    schema:dateModified "2018-10-11" ;
    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.