SOQE 2017
Second-Order Quantifier Elimination and Related Topics

Table of Contents

• Preface
  
  

Abstracts of Invited Talks

• Interpolation for Query Reformulation 1-1
  Michael Benedikt
• Algorithmic Correspondence and Canonicity for Non-Classical Logics 2-6
  Willem Conradie
• Focusing on a Vocabulary: Ontology Inseparability, Uniform Interpolation and Modularity 7-7
  Boris Konev
• Conservative Extensions in Description Logics and Beyond 8-8
  Carsten Lutz
• Elimination Techniques in Modern Propositional Logic Reasoning 9-10
  Norbert Manthey
• Automated Forgetting and Uniform Interpolation: Three Tools 11-12
  Renate A. Schmidt
• Swinging between Expressiveness and Complexity in Second-Order Formalisms: A Case Study 13-14
  Andrzej Szałas
• Forgetting for Logic Programs/Existential Rules 15-15
  Kewen Wang , Zhe Wang
• Ackermann-Based Forgetting for Expressive Description Logics 16-16
  Yizheng Zhao

Abstracts of Tutorials

• Resolution Based Uniform Interpolation and Forgetting for Expressive Description Logics 17-18
  Patrick Koopmann
• Cut Elimination and Second Order Quantifier Elimination 19-20
  Alessandra Palmigiano

Research Presentations

• A Preliminary Comparison of the Forgetting Solutions Computed using SCAN, LETHE and FAME 21-26
  Ruba Alassaf , Renate A. Schmidt
• Forgetting-Based Abduction in ALC -Ontologies (Extended Abstract) 27-35
  Warren Del-Pinto , Renate A. Schmidt
• Second Order Quantifier Elimination: Towards Verification Applications 36-50
  Silvio Ghilardi , Elena Pagani
• Computing ALCH -Subsumption Modules Using Uniform Interpolation 51-66
  Patrick Koopmann , Jieying Chen
• Towards Elimination of Second-Order Quantifiers in the Separated Fragment 67-81
  Marco Voigt
• Approximating Resultants of Existential Second-Order Quantifier Elimination upon Universal Relational First-Order Formulas 82-98
  Christoph Wernhard
• The Boolean Solution Problem from the Perspective of Predicate Logic (Abstract) 99-101
  Christoph Wernhard
• Early Steps of Second-Order Quantifier Elimination beyond the Monadic Case: The Correspondence between Heinrich Behmann and Wilhelm Ackermann 1928-1934 (Abstract) 102-105
  Christoph Wernhard
• Algorithmic Correspondence and Canonicity for Possibility Semantics (Abstract) 106-109
  Zhiguang Zhao

Supplementary Material

• All papers in a single PDF document