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

Links to this item

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:CreativeWork, schema:MediaObject, schema:Book ;
    library:oclcnum "1003191654" ;
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/sz> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/4497905322#Topic/artificial_intelligence> ; # Artificial intelligence
    schema:about <http://experiment.worldcat.org/entity/work/data/4497905322#Topic/algorithms_&_data_structures> ; # Algorithms & data structures
    schema:about <http://experiment.worldcat.org/entity/work/data/4497905322#Topic/computers_programming_algorithms> ; # Computers--Programming--Algorithms
    schema:about <http://experiment.worldcat.org/entity/work/data/4497905322#Topic/algorithm_analysis_and_problem_complexity> ; # Algorithm Analysis and Problem Complexity
    schema:about <http://experiment.worldcat.org/entity/work/data/4497905322#Topic/software_engineering> ; # Software Engineering
    schema:about <http://experiment.worldcat.org/entity/work/data/4497905322#Topic/public_administration> ; # Public administration
    schema:about <http://experiment.worldcat.org/entity/work/data/4497905322#Topic/computers_software_development_&_engineering_general> ; # Computers--Software Development & Engineering--General
    schema:about <http://experiment.worldcat.org/entity/work/data/4497905322#Topic/computer_appl_in_administrative_data_processing> ; # Computer Appl. in Administrative Data Processing
    schema:about <http://experiment.worldcat.org/entity/work/data/4497905322#Topic/mathematical_logic_and_formal_languages> ; # Mathematical Logic and Formal Languages
    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/computers_intelligence_ai_&_semantics> ; # Computers--Intelligence (AI) & Semantics
    schema:about <http://experiment.worldcat.org/entity/work/data/4497905322#Topic/mathematical_theory_of_computation> ; # Mathematical theory of computation
    schema:about <http://dewey.info/class/005.131/e23/> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/4497905322#Topic/computer_science> ; # Computer Science
    schema:about <http://experiment.worldcat.org/entity/work/data/4497905322#Topic/logics_and_meanings_of_programs> ; # Logics and Meanings of Programs
    schema:about <http://experiment.worldcat.org/entity/work/data/4497905322#Topic/artificial_intelligence_incl_robotics> ; # Artificial Intelligence (incl. Robotics)
    schema:about <http://experiment.worldcat.org/entity/work/data/4497905322#Topic/mathematics_logic> ; # Mathematics--Logic
    schema:about <http://experiment.worldcat.org/entity/work/data/4497905322#Topic/computers_data_processing> ; # Computers--Data Processing
    schema:about <http://experiment.worldcat.org/entity/work/data/4497905322#Topic/computer_programming_software_development> ; # Computer programming / software development
    schema:about <http://experiment.worldcat.org/entity/work/data/4497905322#Topic/computers_programming_general> ; # Computers--Programming--General
    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 "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: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: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 publication"@en ;
    schema:genre "Electronic books"@en ;
    schema:genre "Conference papers and proceedings"@en ;
    schema:inLanguage "en" ;
    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/lecture_notes_in_artificial_intelligence> ; # Lecture notes in artificial intelligence
    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 <http://dx.doi.org/10.1007/978-3-319-66167-4> ;
    schema:url <https://link.springer.com/openurl?genre=book&isbn=978-3-319-66166-7> ;
    schema:url <http://link.springer.com/10.1007/978-3-319-66167-4> ;
    schema:url <http://public.eblib.com/choice/PublicFullRecord.aspx?p=5576768> ;
    schema:url <https://login.proxy.lib.strath.ac.uk/login?url=http://link.springer.com/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://libproxy.uwyo.edu/login/?url=http://dx.doi.org/10.1007/978-3-319-66167-4> ;
    schema:url <https://0-link-springer-com.pugwash.lib.warwick.ac.uk/book/10.1007/978-3-319-66167-4> ;
    schema:url <https://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> ;
    umbel:isLike <http://bnb.data.bl.uk/id/resource/GBB8M3376> ;
    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/algorithm_analysis_and_problem_complexity> # Algorithm Analysis and Problem Complexity
    a schema:Intangible ;
    schema:name "Algorithm Analysis and Problem Complexity"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/4497905322#Topic/algorithms_&_data_structures> # Algorithms & data structures
    a schema:Intangible ;
    schema:name "Algorithms & data structures"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/4497905322#Topic/artificial_intelligence> # Artificial intelligence
    a schema:Intangible ;
    schema:name "Artificial intelligence"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/4497905322#Topic/artificial_intelligence_incl_robotics> # Artificial Intelligence (incl. Robotics)
    a schema:Intangible ;
    schema:name "Artificial Intelligence (incl. Robotics)"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/4497905322#Topic/computer_appl_in_administrative_data_processing> # Computer Appl. in Administrative Data Processing
    a schema:Intangible ;
    schema:name "Computer Appl. in Administrative Data Processing"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/4497905322#Topic/computer_programming_software_development> # Computer programming / software development
    a schema:Intangible ;
    schema:name "Computer programming / software development"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/4497905322#Topic/computer_science> # Computer Science
    a schema:Intangible ;
    schema:name "Computer Science"@en ;
    schema:name "Computer science"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/4497905322#Topic/computers_data_processing> # Computers--Data Processing
    a schema:Intangible ;
    schema:name "Computers--Data Processing"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/4497905322#Topic/computers_intelligence_ai_&_semantics> # Computers--Intelligence (AI) & Semantics
    a schema:Intangible ;
    schema:name "Computers--Intelligence (AI) & Semantics"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/4497905322#Topic/computers_programming_algorithms> # Computers--Programming--Algorithms
    a schema:Intangible ;
    schema:name "Computers--Programming--Algorithms"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/4497905322#Topic/computers_programming_general> # Computers--Programming--General
    a schema:Intangible ;
    schema:name "Computers--Programming--General"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/4497905322#Topic/computers_software_development_&_engineering_general> # Computers--Software Development & Engineering--General
    a schema:Intangible ;
    schema:name "Computers--Software Development & Engineering--General"@en ;
    .

<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://experiment.worldcat.org/entity/work/data/4497905322#Topic/logics_and_meanings_of_programs> # Logics and Meanings of Programs
    a schema:Intangible ;
    schema:name "Logics and Meanings of Programs"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/4497905322#Topic/mathematical_logic_and_formal_languages> # Mathematical Logic and Formal Languages
    a schema:Intangible ;
    schema:name "Mathematical Logic and Formal Languages"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/4497905322#Topic/mathematical_theory_of_computation> # Mathematical theory of computation
    a schema:Intangible ;
    schema:name "Mathematical theory of computation"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/4497905322#Topic/mathematics_logic> # Mathematics--Logic
    a schema:Intangible ;
    schema:name "Mathematics--Logic"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/4497905322#Topic/public_administration> # Public administration
    a schema:Intangible ;
    schema:name "Public administration"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/4497905322#Topic/software_engineering> # Software Engineering
    a schema:Intangible ;
    schema:name "Software Engineering"@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 "2019-01-13" ;
    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.