Abstract is missing.
- Foundational (Co)datatypes and (Co)recursion for Higher-Order LogicJulian Biendarra, Jasmin Christian Blanchette, Aymeric Bouzy, Martin Desharnais, Mathias Fleury, Johannes Hölzl, Ondrej Kuncar, Andreas Lochbihler, Fabian Meier, Lorenz Panny, Andrei Popescu 0001, Christian Sternagel, René Thiemann, Dmitriy Traytel. 3-21 [doi]
- Designing Theory Solvers with ExtensionsAndrew Reynolds, Cesare Tinelli, Dejan Jovanovic, Clark Barrett. 22-40 [doi]
- A New Description Logic with Set Constraints and Cardinality Constraints on Role SuccessorsFranz Baader. 43-59 [doi]
- Metric Temporal Description Logics with Interval-Rigid NamesFranz Baader, Stefan Borgwardt, Patrick Koopmann, Ana Ozaki, Veronika Thost. 60-76 [doi]
- Using Ontologies to Query Probabilistic Numerical DataFranz Baader, Patrick Koopmann, Anni-Yasmin Turhan. 77-94 [doi]
- Pushing the Boundaries of Reasoning About Qualified Cardinality RestrictionsJelena Vlasenko, Volker Haarslev, Brigitte Jaumard. 95-112 [doi]
- Parallel Closure Theorem for Left-Linear Nominal Rewriting SystemsKentaro Kikuchi, Takahito Aoto 0001, Yoshihito Toyama. 115-131 [doi]
- Complexity Analysis for Term Rewriting by Integer Transition SystemsMatthias Naaf, Florian Frohn, Marc Brockschmidt, Carsten Fuhs, Jürgen Giesl. 132-150 [doi]
- Solving SAT and MaxSAT with a Quantum Annealer: Foundations and a Preliminary ReportZhengbing Bian, Fabián A. Chudak, William G. Macready, Aidan Roy, Roberto Sebastiani, Stefano Varotti. 153-171 [doi]
- Superposition with Structural InductionSimon Cruanes. 172-188 [doi]
- Subtropical SatisfiabilityPascal Fontaine, Mizuhito Ogawa, Thomas Sturm 0001, Xuan-Tung Vu. 189-206 [doi]
- On Solving Nominal Fixpoint EquationsMauricio Ayala-Rincón, Washington de Carvalho Segundo, Maribel Fernández, Daniele Nantes Sobrinho. 209-226 [doi]
- Decidable Verification of Decision-Theoretic GologJens Claßen, Benjamin Zarrieß. 227-243 [doi]
- The Bernays-Schönfinkel-Ramsey Fragment with Bounded Difference Constraints over the Reals Is DecidableMarco Voigt. 244-261 [doi]
- First-Order Interpolation of Non-classical Logics Derived from Propositional InterpolationMatthias Baaz, Anela Lolic. 265-280 [doi]
- Finitariness of Elementary Unification in Boolean Region Connection CalculusPhilippe Balbiani, Çigdem Gencer. 281-297 [doi]
- Merging Fragments of Classical LogicCarlos Caleiro, Sérgio Marcelino, João Marcos 0001. 298-315 [doi]
- Interpolation, Amalgamation and Combination (The Non-disjoint Signatures Case)Silvio Ghilardi, Alessandro Gianola. 316-332 [doi]
- The Boolean Solution Problem from the Perspective of Predicate LogicChristoph Wernhard. 333-350 [doi]