FLOC 2022: FEDERATED LOGIC CONFERENCE 2022
SAT-Based Axiom Pinpointing Revisited

Authors: Birte Glimm and Yevgeny Kazakov

Paper Information

Title:SAT-Based Axiom Pinpointing Revisited
Authors:Birte Glimm and Yevgeny Kazakov
Proceedings:DL Proceedings
Editors: Martin Homola, Jean Christoph Jung and Marie-Laure Mugnier
Keywords:Description Logics, Explanation, Propositional satisfiability
Pages:1
Talk:Aug 09 14:50 (Session 104C: Abduction and Explanations)
Paper: