×

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]

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
Full Text: DOI