Skip to main content
main-content
Top

Journal

Journal of Automated Reasoning 3/2022
Journal of Automated Reasoning

Issue 3/2022

Special Issue of Selected Extended Papers of IJCAR 2020

share
SHARE
insite
SEARCH

Table of Contents (6 Articles)

09-05-2022

Special Issue of Selected Extended Papers of IJCAR 2020
Nicolas Peltier, Viorica Sofronie-Stokkermans

06-05-2022

The Resolution of Keller’s Conjecture
Joshua Brakensiek, Marijn Heule, John Mackey, David Narváez

Open Access 07-05-2022

Deciding the Word Problem for Ground and Strongly Shallow Identities w.r.t. Extensional Symbols
Franz Baader, Deepak Kapur

05-05-2022

Polite Combination of Algebraic Datatypes
Ying Sheng, Yoni Zohar, Christophe Ringeissen, Jane Lange, Pascal Fontaine, Clark Barrett

Open Access 04-05-2022

Using Model Theory to Find Decidable and Tractable Description Logics with Concrete Domains
Franz Baader, Jakub Rydval

Open Access 12-05-2022

Combination of Uniform Interpolants via Beth Definability
Diego Calvanese, Silvio Ghilardi, Alessandro Gianola, Marco Montali, Andrey Rivkin

Premium Partner