Frontiers of combining systems : 11th International Symposium, FroCoS 2017, Brasília, Brazil, September 27-29, 2017, Proceedings /: 11th International Symposium, FroCoS 2017, Brasília, Brazil, September 27-29, 2017, Proceedings. (2017)
- Record Type:
- Book
- Title:
- Frontiers of combining systems : 11th International Symposium, FroCoS 2017, Brasília, Brazil, September 27-29, 2017, Proceedings /: 11th International Symposium, FroCoS 2017, Brasília, Brazil, September 27-29, 2017, Proceedings. (2017)
- Main Title:
- Frontiers of combining systems : 11th International Symposium, FroCoS 2017, Brasília, Brazil, September 27-29, 2017, Proceedings
- Other Titles:
- FroCoS 2017
- Further Information:
- Note: Clare Dixon, Marcelo Finger (eds.).
- Editors:
- Dixon, Clare
Finger, Marcelo - Other Names:
- FroCoS (Symposium), 11th
- 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.
- Publisher Details:
- Cham, Switzerland : Springer
- Publication Date:
- 2017
- Extent:
- 1 online resource (x, 351 pages), illustrations
- Subjects:
- 005.1/31
Computer science
Logic, Symbolic and mathematical -- Congresses
Computer science -- Congresses
Computer science
Logic, Symbolic and mathematical
Computer Science
Artificial Intelligence (incl. Robotics)
Mathematical Logic and Formal Languages
Logics and Meanings of Programs
Software Engineering
Algorithm Analysis and Problem Complexity
Computer Appl. in Administrative Data Processing
Mathematics -- Logic
Computers -- Programming -- General
Computers -- Software Development & Engineering -- General
Computers -- Programming -- Algorithms
Computers -- Data Processing
Mathematical theory of computation
Computer programming / software development
Software Engineering
Algorithms & data structures
Public administration
Artificial intelligence
Logic design
Software engineering
Computer software
Information systems
Computers -- Intelligence (AI) & Semantics
Artificial intelligence
Electronic books
Conference papers and proceedings - Languages:
- English
- ISBNs:
- 9783319661674
3319661671 - Related ISBNs:
- 9783319661667
3319661663 - Notes:
- Note: Online resource; title from PDF title page (SpringerLink, viewed September 8, 2017).
- Access Rights:
- Legal Deposit; Only available on premises controlled by the deposit library and to one user at any one time; The Legal Deposit Libraries (Non-Print Works) Regulations (UK).
- Access Usage:
- Restricted: Printing from this resource is governed by The Legal Deposit Libraries (Non-Print Works) Regulations (UK) and UK copyright law currently in force.
- View Content:
- Available online (eLD content is only available in our Reading Rooms) ↗
- Physical Locations:
- British Library HMNTS - ELD.DS.358036
- Ingest File:
- 01_319.xml