Issue 3/2022
Special Issue of Selected Extended Papers of IJCAR 2020
Content (6 Articles)
Special Issue of Selected Extended Papers of IJCAR 2020
Nicolas Peltier, Viorica Sofronie-Stokkermans
Open Access
Deciding the Word Problem for Ground and Strongly Shallow Identities w.r.t. Extensional Symbols
Franz Baader, Deepak Kapur
Polite Combination of Algebraic Datatypes
Ying Sheng, Yoni Zohar, Christophe Ringeissen, Jane Lange, Pascal Fontaine, Clark Barrett
Open Access
Using Model Theory to Find Decidable and Tractable Description Logics with Concrete Domains
Franz Baader, Jakub Rydval
Open Access
Combination of Uniform Interpolants via Beth Definability
Diego Calvanese, Silvio Ghilardi, Alessandro Gianola, Marco Montali, Andrey Rivkin