Show indexed articles as search result.

The articles of this volume will be reviewed individually. For the preceding symposium see [Zbl 1369.68021].
Indexed articles:
Reger, Giles; Riener, Martin; Suda, Martin, Symmetry avoidance in MACE-style finite model finding, 3-21 [Zbl 1435.68305]
Teucke, Andreas; Voigt, Marco; Weidenbach, Christoph, On the expressivity and applicability of model representation formalisms, 22-39 [Zbl 1435.68306]
Rawson, Michael; Reger, Giles, A neurally-guided, parallel theorem prover, 40-56 [Zbl 1435.68374]
Ensan, Alireza; Ternovska, Eugenia, A language-independent framework for reasoning about preferences for declarative problem solving, 57-73 [Zbl 1435.68301]
Echenim, Mnacho; Peltier, Nicolas; Sellami, Yanis, Ilinva: using abduction to generate loop invariants, 77-93 [Zbl 1435.68365]
Ternovska, Eugenia, An algebra of modular systems: static and dynamic perspectives, 94-111 [Zbl 1435.68203]
Fuenmayor, David; Benzmüller, Christoph, Mechanised assessment of complex natural-language arguments using expressive logic combinations, 112-128 [Zbl 1435.68315]
Brauße, Franz; Korovin, Konstantin; Korovina, Margarita; Müller, Norbert, A CDCL-style calculus for solving non-linear constraints, 131-148 [Zbl 1435.68300]
Kleine Büning, Hans; Wojciechowski, Piotr; Chandrasekaran, R.; Subramani, K., Restricted cutting plane proofs in Horn constraint systems, 149-164 [Zbl 1435.68303]
Baader, Franz; Ecke, Andreas; Kern-Isberner, Gabriele; Wilhelm, Marco, The complexity of the consistency problem in the probabilistic description logic \(\mathcal{ALC}^\mathsf{ME}\), 167-184 [Zbl 1435.68309]
Del-Pinto, Warren; Schmidt, Renate A., Extending forgetting-based abduction using nominals, 185-202 [Zbl 1435.68313]
Baader, Franz; De Bortoli, Filippo, On the expressive power of description logics with cardinality constraints on finite and infinite sets, 203-219 [Zbl 1435.68307]
Bottesch, Ralph; Haslbeck, Max W.; Thiemann, René, Verifying an incremental theory solver for linear arithmetic in Isabelle/HOL, 223-239 [Zbl 1435.68362]
Eberl, Manuel, Verifying randomised social choice, 240-256 [Zbl 1435.68375]
Kuznets, Roman; Prosperi, Laurent; Schmid, Ulrich; Fruzsa, Krisztina, Epistemic reasoning with Byzantine-faulty agents, 259-276 [Zbl 1435.68317]
Indrzejczak, Andrzej, Two is enough – bisequent calculus for S5, 277-294 [Zbl 1468.03022]
Lynch, Christopher; Marshall, Andrew M.; Meadows, Catherine; Narendran, Paliath; Ravishankar, Veena, On asymmetric unification for the theory of XOR with a homomorphism, 297-312 [Zbl 1435.68373]
Kim, Dohan; Lynch, Christopher; Narendran, Paliath, Reviving basic narrowing modulo, 313-329 [Zbl 1435.68371]
Aoto, Takahito; Toyama, Yoshihito, Automated proofs of unique normal forms w.r.t. conversion for term rewriting systems, 330-347 [Zbl 1435.68361]
Fuhs, Carsten, Transforming derivational complexity of term rewriting to runtime complexity, 348-364 [Zbl 1435.68132]