Skip to main content

Zeitschrift

Journal of Automated Reasoning 3/2022
Journal of Automated Reasoning

Ausgabe 3/2022

Special Issue of Selected Extended Papers of IJCAR 2020

share
TEILEN
insite
SUCHEN

Inhaltsverzeichnis (6 Artikel)

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

Aktuelle Ausgaben

Premium Partner