SOQE 2021
The 2nd Workshop on Second-Order Quantifier Elimination and Related Topics
Associated with KR 2021
3–5 November 2021

Aims and Topics Invited Speakers Call for Papers Proceedings Registration Important Dates KR 2021 Program Program Committee Program Committee Chairs Organization

Aims and Topics

Second-order quantifier elimination (SOQE) is the problem of equivalently reducing a formula with quantifiers upon second-order objects such as predicates to a formula in which these quantified second-order objects no longer occur. In slight variations, SOQE is known as forgetting, projection, predicate elimination, and uniform interpolation. It can be combined with various underlying logics, including propositional, model, description and first-order logics.

SOQE and its variations bear strong relationships to Craig interpolation, definability and computation of definientia, the notion of conservative theory extension, abduction and notions of weakest sufficient and strongest necessary condition, and generalizations of Boolean unification to predicate logic. It is attractive as a logic-based approach to various computational tasks, for example, the computation of circumscription, the computation of modal correspondence properties, forgetting in knowledge bases, knowledge-base modularization, abductive reasoning and generating explanations, the specification of non-monotonic logic programming semantics, view-based query processing, and the characterization of formula simplifications in reasoner preprocessing.

Topics of interest include, but are not limited to:

The workshop aims to bring together researchers working on SOQE and all these related topics to present, discuss and compare issues shared by problems emerging from different special contexts, interesting open research problems (perhaps with partial solutions), new applications, and implementation techniques.

The workshop is the second one in the Workshop on Second-Order Quantifier Elimination and Related Topics (SOQE) series, which was initiated with SOQE 2017 at TU Dresden.

Invited Speakers

David Toman University of Waterloo, Canada
Frank Wolter University of Liverpool, UK

Call for Papers

We invite submissions of high-quality research on variants of SOQE and related topics as well as submissions that describe applications, new systems or relevant data releases. Submissions will be reviewed by the program committee, which will select a balanced program of high-quality contributions.

Submissions can be one of the following type:

Submissions should be written in English, formatted in the style of the Springer Publications format for Lecture Notes in Computer Science (LNCS). For details on the LNCS style, see Springer’s Author Instructions.

Papers should be submitted electronically via EasyChair at

Regular papers must contain enough substance that they can be cited in other publications and may not have appeared before. Short papers may not have appeared before.

The complete call for papers in text format suitable for posting is available from here.

Proceedings

The workshop proceedings will be submitted to CEUR-WS.org for online publication in advance of the event.

Registration

[The registration details will be announced here]

It is expected that submissions are presented at the workshop by at least one of the authors.

Important Dates

There will be two submission rounds. The first one is in sync with all the KR 2021 Workshops.

2 July 2021 Extended to 23 July 2021 Paper Submission (1st Round)
6 August 2021 27 August 2021 Author Notification (1st Round)
9 September 2021 Paper Submission (2nd Round)
7 October 2021 Author Notification (2nd Round)
25 October 2021 Camera-Ready Version due
TBA Registration
3-5 November 2021 SOQE Workshop (1 day)

KR 2021

The workshop is organized as a satellite event of KR 2021, the 18th International Conference on Principles of Knowledge Representation and Reasoning, to be held fully online due to the pandemic situation on November 3–12, 2021.

The KR 2021 Workshops will take place in the period 3–5 November 2021.

Program

[To be announced]

Program Committee

Philippe Balbiani IRIT, CNRS, University of Toulouse, France
Jieying Chen University of Oslo, Norway
James DelgrandeSimon Fraser University, Canada
Silvio GhilardiUniversità degli Studi di Milano, Italy
Stefan HetzlTechnische Universität Wien, Austria
Patrick Koopmann TU Dresden, Germany
Andreas Nonnengart DFKI, Germany
Vladislav Ryzhikov Birkbeck, University of London, UK
Stefan SchlobachVrije Universiteit Amsterdam, Netherlands
Renate A. Schmidt The University of Manchester, UK
Viorica Sofronie-Stokkermans Universität Koblenz-Landau, Germany
Andrzej SzałasUniwersytet Warzawski, Poland and Linköpings Universitet, Sweden
Sophie TourretInria, France and Max Planck Institute for Informatics, Germany
Kewen WangGriffith University, Australia
Christoph Wernhard University of Potsdam, Germany
Yizheng Zhao Nanjing University, People's Republic of China

Program Committee Chairs

Renate A. Schmidt The University of Manchester, UK
Christoph Wernhard University of Potsdam, Germany
Yizheng Zhao Nanjing University, People's Republic of China

Organization

Yizheng Zhao and Xuan Wu, Nanjing University – School of Artificial Intelligence, zhaoyz@nju.edu.cn
Aims and Topics Call for Papers Proceedings Registration Important Dates KR 2021 Invited Speakers Program Program Committee Program Committee Chairs Organization

Contact: zhaoyz@nju.edu.cn