3-5 Nov 2021
CALL FOR PAPERS: 2nd SUBMISSION ROUND - EXTENDED DEADLINE
SOQE 2021
KR 2021 WORKSHOP ON
SECOND-ORDER QUANTIFIER ELIMINATION AND RELATED TOPICS
Virtual
3-5 November 2021
http://2021.soqe.org/
GENERAL INFORMATION
The Second Workshop on Second-Order Quantifier Elimination
and Related Topics will be held online on 3-5 November 2021.
SOQE will be associated with the 18th International
Conference on Principles of Knowledge Representation and
Reasoning (KR 2021).
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, modal, 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:
* Abduction
* Access interpolation
* Algorithms for SOQE and related tasks
* Applications of SOQE and related techniques
* Automation and tools
* Boolean equation solving / Boolean unification and SOQE
* Characterizations of formula classes on which SOQE succeeds
* Circumscription
* Conservative theory extensions
* Craig interpolation
* Definability and computation of definienda
* Elimination in formula simplifications
* Elimination methods and calculi for theorem proving
* Forgetting and projection in answer set programming
* Forgetting and uniform interpolation
* Historical aspects of SOQE
* Ontology modularization and content extraction
* Query processing and rewriting on the basis of definability
* Relationships between elimination and decidability
* Separability and inseparability
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.
INVITED SPEAKERS
David Toman, University of Waterloo, Canada
Frank Wolter, University of Liverpool, UK
SUBMISSION
We invite submissions of high-quality research on variants of
SOQE and related topics, including work that describes
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:
* Regular paper: up to 11 pages + bibliography
* Short paper: 5-6 pages + bibliography
* Abstract of pre-published paper: 1-6 pages + bibliography
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
https://easychair.org/conferences/?conf=soqe2021
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.
PROCEEDINGS
The workshop proceedings will be submitted to CEUR-WS.org for
online publication in advance of the event.
REGISTRATION
Details will be announced on the workshop webpage. It is
expected that submissions are presented at the workshop by
at least one of the authors.
IMPORTANT DATES
16 September 2021 Paper Submission (2nd round)
7 October 2021 Author Notification (2nd round)
15 October 2021 Registration with KR 2021
25 October 2021 Camera-Ready Version due
3-5 November 2021 SOQE Workshop (1 day)
PROGRAM COMMITTEE
Philippe Balbiani, Institut de Recherche en Informatique de Toulouse
Jieying Chen, University of Oslo
James Delgrande, Simon Fraser University
Silvio Ghilardi, Universita degli Studi di Milano
Stefan Hetzl, Vienna University of Technology
Patrick Koopmann, TU Dresden
Andreas Nonnengart, DFKI
Vladislav Ryzhikov, Birkbeck, University of London
Stefan Schlobach, Vrije Universiteit Amsterdam
Renate Schmidt, The University of Manchester
Viorica Sofronie-Stokkermans, University Koblenz-Landau
Andrzej Szalas, University of Warsaw
Sophie Tourret, Max Planck Institute for Informatics
Kewen Wang, Griffith University
Christoph Wernhard, University of Potsdam
Yizheng Zhao, Nanjing University
PROGRAM COMMITTEE CHAIRS
Renate A. Schmidt The University of Manchester, UK
Christoph Wernhard University of Potsdam, Germany
Yizheng Zhao Nanjing University, China
--
[LOGIC] mailing list
http://www.dvmlg.de/mailingliste.html
Archive: http://www.illc.uva.nl/LogicList/
provided by a collaboration of the DVMLG, the Maths Departments in Bonn and Hamburg, and the ILLC at the Universiteit van Amsterdam