FIRST CALL FOR PAPERS
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 6-8 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, 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:
* 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.
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: up to 5 pages + bibliography
Both regular and short papers 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.
Paper should be submitted electronically via
https://easychair.org/conferences/?conf=soqe2021
Submissions must contain enough substance that it they can be cited in other
publications and may not have appeared before.
PROCEEDINGS
The workshop proceedings will be submitted to CEUR-WS.org for online
publication in advance of the event.
Proceedings of the workshop will be published as CEUR workshop proceedings.
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
2 Jul 2021 Paper Submission (1st round)
6 Aug 2021 Author Notification (1st round)
9 Sep 2021 Paper Submission (2nd round)
7 Oct 2021 Author Notification (2nd round)
23 Oct 2021 Camera-Ready Version due
3-5 Nov 2021 SOQE Workshop (1 day)
PROGRAM COMMITTEE CHAIRS
Renate A. Schmidt The University of
Manchester, UK
Christoph Wernhard Berlin, Germany
Yizheng Zhao
Nanjing University, China
---------------------------
_______________________________________________
uai mailing list
[email protected]
https://it.engineering.oregonstate.edu/mailman/listinfo/uai
