SOQE@KR

Keyphrases

Publications

2021

Lucas Böltz, Hannes Frey, Dennis Peuter, Viorica Sofronie-Stokkermans
On Testing Containedness Between Geometric Graph Classes using Second-order Quantifier Elimination and Hierarchical Reasoning (Short Paper). SOQE@KR (2021)
Paolo Pistone, Luca Tranchini
The Yoneda Reduction of Polymorphic Types (Abstract). SOQE@KR (2021)
Frank Wolter
Living Without Beth and Craig: Explicit Definitions and Interpolants without Beth Definability and Craig Interpolation (Abstract of Invited Talk). SOQE@KR (2021)
Philipp Marohn, Viorica Sofronie-Stokkermans
SEH-PILoT: A System for Property-Directed Symbol Elimination - Work in Progress (Short Paper). SOQE@KR (2021)
David Toman, Grant E. Wedell
Projective Beth Definability and Craig Interpolation for Relational Query Optimization (Material to Accompany Invited Talk). SOQE@KR (2021)
Fajar Haifani, Patrick Koopmann, Sophie Tourret
Abduction in EL via Translation to FOL. SOQE@KR (2021)
Patrick Koopmann
Signature-Based ABox Abduction in ALC is Hard. SOQE@KR (2021)
Xinhao Zhu, Xuan Wu, Ruiqing Zhao, Yu Dong, Yizheng Zhao
Metadata-based Term Selection for Modularization and Uniform Interpolation of OWL Ontologies. SOQE@KR (2021)
Stefan Hetzl, Johannes Kloibhofer
An Abstract Fixed-Point Theorem for Horn Formula Equations (Abstract). SOQE@KR (2021)
Leopoldo Bertossi
Second-Order Specifications and Quantifier Elimination for Consistent Query Answering in Databases (Abstract). SOQE@KR (2021)
Christoph Wernhard
Applying Second-Order Quantifier Elimination in Inspecting Gödel's Ontological Proof. SOQE@KR (2021)
Zhiguang Zhao
Sahlqvist-type Correspondence Theory for Second-Order Propositional Modal Logic (Short Paper). SOQE@KR (2021)
Ruba Alassaf, Renate A. Schmidt, Uli Sattler
. SOQE@KR (2021)
Dennis Peuter, Viorica Sofronie-Stokkermans
Symbol Elimination and Applications to Parametric Entailment Problems (Abstract). SOQE@KR (2021)

volume 3009, 2021

Proceedings of the Second Workshop on Second-Order Quantifier Elimination and Related Topics (SOQE 2021) associated with the 18th International Conference on Principles of Knowledge Representation and Reasoning (KR 2021), Online Event, November 4, 2021. SOQE@KR 3009 (2021)