Undecidability Results for Database-Inspired Reasoning Problems in Very Expressive Description Logics

Research output: Contribution to book/conference proceedings/anthology/report › Conference contribution › Contributed › peer-review

Contributors

Details

Original languageEnglish
Title of host publicationProc. 15th International Conference on Principles of Knowledge Representation and Reasoning (KR'16)
EditorsChitta Baral, James P. Delgrande, Frank Wolter
PublisherAAAI Press
Pages247-257
Number of pages11
Publication statusPublished - 2016
Peer-reviewedYes