Collection

Selected Extended Papers of IJCAR 2020

Submission status: Closed

Editors

Viorica Sofronie-Stokkermans &

Viorica Sofronie-Stokkermans

Prof. Viorica Sofronie-Stokkermans is the Head of the working group Sofronie-Stokkermans at the Institute for Computer Science, Universität Koblenz Landau, Germany.
Nicolas Peltier

Nicolas Peltier

Dr. Nicolas Peltier is Head Head of the CAPP team at the Laboratory of Informatics of Grenoble, France.

Articles (6 in this collection)

Combination of Uniform Interpolants via Beth Definability

Authors (first, second and last of 5)
- Diego Calvanese
- Silvio Ghilardi
- Andrey Rivkin
- Content type: OriginalPaper
- Open Access
- Published: 12 May 2022
- Pages: 409 - 435
Special Issue of Selected Extended Papers of IJCAR 2020

Authors
- Nicolas Peltier
- Viorica Sofronie-Stokkermans
- Content type: EditorialNotes
- Published: 09 May 2022
- Pages: 275 - 276
Deciding the Word Problem for Ground and Strongly Shallow Identities w.r.t. Extensional Symbols

Authors
- Franz Baader
- Deepak Kapur
- Content type: OriginalPaper
- Open Access
- Published: 07 May 2022
- Pages: 301 - 329
The Resolution of Keller’s Conjecture

Authors (first, second and last of 4)
- Joshua Brakensiek
- Marijn Heule
- David Narváez
- Content type: OriginalPaper
- Published: 06 May 2022
- Pages: 277 - 300
Polite Combination of Algebraic Datatypes

Authors (first, second and last of 6)
- Ying Sheng
- Yoni Zohar
- Clark Barrett
- Content type: OriginalPaper
- Published: 05 May 2022
- Pages: 331 - 355
Using Model Theory to Find Decidable and Tractable Description Logics with Concrete Domains

Authors
- Franz Baader
- Jakub Rydval
- Content type: OriginalPaper
- Open Access
- Published: 04 May 2022
- Pages: 357 - 407