Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSOQE@KR 2021
- Renate A. Schmidt, Christoph Wernhard, Yizheng Zhao:
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. CEUR Workshop Proceedings 3009, CEUR-WS.org 2021
Invited Talks
- David Toman, Grant E. Wedell:
Projective Beth Definability and Craig Interpolation for Relational Query Optimization (Material to Accompany Invited Talk). 1-13 - Frank Wolter:
Living Without Beth and Craig: Explicit Definitions and Interpolants without Beth Definability and Craig Interpolation (Abstract of Invited Talk). 14
Research Papers
- Ruba Alassaf, Renate A. Schmidt, Uli Sattler:
Resolution-Based Uniform Interpolation for Multi-Agent Modal Logic Kn. 15-27 - Leopoldo E. Bertossi:
Second-Order Specifications and Quantifier Elimination for Consistent Query Answering in Databases (Abstract). 28-36 - 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). 37-45 - Fajar Haifani, Patrick Koopmann, Sophie Tourret:
Abduction in EL via Translation to FOL. 46-58 - Stefan Hetzl, Johannes Kloibhofer:
An Abstract Fixed-Point Theorem for Horn Formula Equations (Abstract). 59-60 - Patrick Koopmann:
Signature-Based ABox Abduction in ALC is Hard. 61-74 - Philipp Marohn, Viorica Sofronie-Stokkermans:
SEH-PILoT: A System for Property-Directed Symbol Elimination - Work in Progress (Short Paper). 75-82 - Dennis Peuter, Viorica Sofronie-Stokkermans:
Symbol Elimination and Applications to Parametric Entailment Problems (Abstract). 83-91 - Paolo Pistone, Luca Tranchini:
The Yoneda Reduction of Polymorphic Types (Abstract). 92-97 - Christoph Wernhard:
Applying Second-Order Quantifier Elimination in Inspecting Gödel's Ontological Proof. 98-111 - Zhiguang Zhao:
Sahlqvist-type Correspondence Theory for Second-Order Propositional Modal Logic (Short Paper). 112-121 - Xinhao Zhu, Xuan Wu, Ruiqing Zhao, Yu Dong, Yizheng Zhao:
Metadata-based Term Selection for Modularization and Uniform Interpolation of OWL Ontologies. 122-134
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-09-10 23:45 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
