Axiom Pinpointing in General Tableaux
From MaRDI portal
Publication:5434476
DOI10.1007/978-3-540-73099-6_4zbMath1132.68675MaRDI QIDQ5434476
Publication date: 4 January 2008
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-540-73099-6_4
Related Items
Axiom Pinpointing in Lightweight Description Logics via Horn-SAT Encoding and Conflict Analysis, Automata-based axiom pinpointing, Automata-Based Axiom Pinpointing