Axiom Pinpointing in General Tableaux

Research output: Contribution to journal › Research article › Contributed › peer-review

Contributors

Details

Original languageEnglish
Pages (from-to)5-34
Number of pages30
JournalJournal of Logic and Computation
Volume20
Issue number1
Publication statusPublished - 2010
Peer-reviewedYes

External IDs

Scopus 76649145102
ORCID /0000-0002-4049-221X/work/142247822

Keywords

ASJC Scopus subject areas

Keywords

  • Axiom-pinpointing, Description Logic, Tableaux, tableaux