Volume 66, Issue 3 | Journal of Automated Reasoning

Search all Journal of Automated Reasoning articles

Volume 66, Issue 3

August 2022

Special Issue of Selected Extended Papers of IJCAR 2020

Issue Editors:

Nicolas Peltier,
Viorica Sofronie-Stokkermans

6 articles in this issue

Special Issue of Selected Extended Papers of IJCAR 2020
Nicolas Peltier
Viorica Sofronie-Stokkermans
EditorialNotes 09 May 2022 Pages: 275 - 276
Part of 1 collection:

Selected Extended Papers of IJCAR 2020
The Resolution of Keller’s Conjecture
Joshua Brakensiek
Marijn Heule
David Narváez
OriginalPaper 06 May 2022 Pages: 277 - 300
Part of 1 collection:

Selected Extended Papers of IJCAR 2020
Deciding the Word Problem for Ground and Strongly Shallow Identities w.r.t. Extensional Symbols
Franz Baader
Deepak Kapur
OriginalPaper Open access 07 May 2022 Pages: 301 - 329
Part of 1 collection:

Selected Extended Papers of IJCAR 2020
Polite Combination of Algebraic Datatypes
Ying Sheng
Yoni Zohar
Clark Barrett
OriginalPaper 05 May 2022 Pages: 331 - 355
Part of 1 collection:

Selected Extended Papers of IJCAR 2020
Using Model Theory to Find Decidable and Tractable Description Logics with Concrete Domains
Franz Baader
Jakub Rydval
OriginalPaper Open access 04 May 2022 Pages: 357 - 407
Part of 1 collection:

Selected Extended Papers of IJCAR 2020
Combination of Uniform Interpolants via Beth Definability
Diego Calvanese
Silvio Ghilardi
Andrey Rivkin
OriginalPaper Open access 12 May 2022 Pages: 409 - 435
Part of 1 collection:

Selected Extended Papers of IJCAR 2020