Axiom Pinpointing in General Tableaux

DOI10.1007/978-3-540-73099-6_4zbMath1132.68675OpenAlexW1761910806MaRDI QIDQ5434476

Franz Baader, Rafael Peñaloza

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

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Knowledge representation (68T30)

Related Items (4)

The Probabilistic Description Logic ⋮ Automata-Based Axiom Pinpointing ⋮ Automata-based axiom pinpointing ⋮ Axiom Pinpointing in Lightweight Description Logics via Horn-SAT Encoding and Conflict Analysis

This page was built for publication: Axiom Pinpointing in General Tableaux