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