Automated Reasoning

DOI10.1007/b98691zbMath1126.68569OpenAlexW4239036627MaRDI QIDQ5307053

Hans de Nivelle, Yevgeny Kazakov

Publication date: 25 September 2007

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/b98691

Mathematics Subject Classification ID

Subsystems of classical logic (including intuitionistic logic) (03B20)

Related Items

Deciding expressive description logics in the framework of resolution ⋮ A resolution-based decision procedure for \({\mathcal{SHOIQ}}\). ⋮ Reasoning in description logics by a reduction to disjunctive datalog