Dixon, Clare (ed.); Finger, Marcelo (ed.) Frontiers of combining systems. 11th international symposium, FroCoS 2017, Brasília, Brazil, September 27–29, 2017. Proceedings. (English) Zbl 1369.68021 Lecture Notes in Computer Science 10483. Lecture Notes in Artificial Intelligence. Cham: Springer (ISBN 978-3-319-66166-7/pbk; 978-3-319-66167-4/ebook). x, 351 p. (2017). Show indexed articles as search result. The articles of this volume will be reviewed individually. For the preceding symposium see [Zbl 1355.68017].Indexed articles:Biendarra, Julian; Blanchette, Jasmin Christian; Bouzy, Aymeric; Desharnais, Martin; Fleury, Mathias; Hölzl, Johannes; Kunčar, Ondřej; Lochbihler, Andreas; Meier, Fabian; Panny, Lorenz; Popescu, Andrei; Sternagel, Christian; Thiemann, René; Traytel, Dmitriy, Foundational (co)datatypes and (co)recursion for higher-order logic, 3-21 [Zbl 1495.68238]Reynolds, Andrew; Tinelli, Cesare; Jovanović, Dejan; Barrett, Clark, Designing theory solvers with extensions, 22-40 [Zbl 1495.68239]Baader, Franz, A new description logic with set constraints and cardinality constraints on role successors, 43-59 [Zbl 1495.68203]Baader, Franz; Borgwardt, Stefan; Koopmann, Patrick; Ozaki, Ana; Thost, Veronika, Metric temporal description logics with interval-rigid names, 60-76 [Zbl 1495.68204]Baader, Franz; Koopmann, Patrick; Turhan, Anni-Yasmin, Using ontologies to query probabilistic numerical data, 77-94 [Zbl 1495.68216]Vlasenko, Jelena; Haarslev, Volker; Jaumard, Brigitte, Pushing the boundaries of reasoning about qualified cardinality restrictions, 95-112 [Zbl 1495.68214]Kikuchi, Kentaro; Aoto, Takahito; Toyama, Yoshihito, Parallel closure theorem for left-linear nominal rewriting systems, 115-131 [Zbl 1495.68114]Naaf, Matthias; Frohn, Florian; Brockschmidt, Marc; Fuhs, Carsten; Giesl, Jürgen, Complexity analysis for term rewriting by integer transition systems, 132-150 [Zbl 1495.68116]Bian, Zhengbing; Chudak, Fabian; Macready, William; Roy, Aidan; Sebastiani, Roberto; Varotti, Stefano, Solving SAT and MaxSAT with a quantum annealer: foundations and a preliminary report, 153-171 [Zbl 1495.68201]Cruanes, Simon, Superposition with structural induction, 172-188 [Zbl 1496.68365]Fontaine, Pascal; Ogawa, Mizuhito; Sturm, Thomas; Vu, Xuan Tung, Subtropical satisfiability, 189-206 [Zbl 1425.68374]Ayala-Rincón, Mauricio; de Carvalho-Segundo, Washington; Fernández, Maribel; Nantes-Sobrinho, Daniele, On solving nominal fixpoint equations, 209-226 [Zbl 1495.68108]Claßen, Jens; Zarrieß, Benjamin, Decidable verification of decision-theoretic Golog, 227-243 [Zbl 1495.68029]Voigt, Marco, The Bernays-Schönfinkel-Ramsey fragment with bounded difference constraints over the reals is decidable, 244-261 [Zbl 1496.03032]Baaz, Matthias; Lolic, Anela, First-order interpolation of non-classical logics derived from propositional interpolation, 265-280 [Zbl 1496.03097]Balbiani, Philippe; Gencer, Çiğdem, Finitariness of elementary unification in Boolean region connection calculus, 281-297 [Zbl 1495.68205]Caleiro, Carlos; Marcelino, Sérgio; Marcos, João, Merging fragments of classical logic, 298-315 [Zbl 1495.03009]Ghilardi, Silvio; Gianola, Alessandro, Interpolation, amalgamation and combination (the non-disjoint signatures case), 316-332 [Zbl 1495.03054]Wernhard, Christoph, The Boolean solution problem from the perspective of predicate logic, 333-350 [Zbl 1496.03262] Cited in 1 ReviewCited in 1 Document MSC: 68-06 Proceedings, conferences, collections, etc. pertaining to computer science 68Txx Artificial intelligence 00B25 Proceedings of conferences of miscellaneous specific interest Citations:Zbl 1355.68017 PDFBibTeX XMLCite \textit{C. Dixon} (ed.) and \textit{M. Finger} (ed.), Frontiers of combining systems. 11th international symposium, FroCoS 2017, Brasília, Brazil, September 27--29, 2017. Proceedings. Cham: Springer (2017; Zbl 1369.68021) Full Text: DOI