Automata-Based Axiom Pinpointing

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

Contributors

Details

Original languageEnglish
Pages (from-to)91-129
Number of pages39
JournalJournal of Automated Reasoning
Volume45
Issue number2
Publication statusPublished - 2010
Peer-reviewedYes

External IDs

Scopus 77955713705
ORCID /0000-0002-4049-221X/work/142247821

Keywords

DFG Classification of Subject Areas according to Review Boards

Keywords

  • Axiom-pinpointing, Automated reasoning, Weighted automata, Explanation, Description logics