Abstract is missing.
- Projective Beth Definability and Craig Interpolation for Relational Query Optimization (Material to Accompany Invited Talk)David Toman, Grant Wedell. 1-13 [doi]
- Living Without Beth and Craig: Explicit Definitions and Interpolants without Beth Definability and Craig Interpolation (Abstract of Invited Talk)Frank Wolter. 14 [doi]
- nRuba Alassaf, Renate A. Schmidt, Uli Sattler. 15-27 [doi]
- Second-Order Specifications and Quantifier Elimination for Consistent Query Answering in Databases (Abstract)Leopoldo Bertossi. 28-36 [doi]
- On Testing Containedness Between Geometric Graph Classes using Second-order Quantifier Elimination and Hierarchical Reasoning (Short Paper)Lucas Böltz, Hannes Frey, Dennis Peuter, Viorica Sofronie-Stokkermans. 37-45 [doi]
- Abduction in EL via Translation to FOLFajar Haifani, Patrick Koopmann, Sophie Tourret. 46-58 [doi]
- An Abstract Fixed-Point Theorem for Horn Formula Equations (Abstract)Stefan Hetzl, Johannes Kloibhofer. 59-60 [doi]
- Signature-Based ABox Abduction in ALC is HardPatrick Koopmann. 61-74 [doi]
- SEH-PILoT: A System for Property-Directed Symbol Elimination - Work in Progress (Short Paper)Philipp Marohn, Viorica Sofronie-Stokkermans. 75-82 [doi]
- Symbol Elimination and Applications to Parametric Entailment Problems (Abstract)Dennis Peuter, Viorica Sofronie-Stokkermans. 83-91 [doi]
- The Yoneda Reduction of Polymorphic Types (Abstract)Paolo Pistone, Luca Tranchini. 92-97 [doi]
- Applying Second-Order Quantifier Elimination in Inspecting Gödel's Ontological ProofChristoph Wernhard. 98-111 [doi]
- Sahlqvist-type Correspondence Theory for Second-Order Propositional Modal Logic (Short Paper)Zhiguang Zhao. 112-121 [doi]
- Metadata-based Term Selection for Modularization and Uniform Interpolation of OWL OntologiesXinhao Zhu, Xuan Wu, Ruiqing Zhao, Yu Dong, Yizheng Zhao. 122-134 [doi]