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 language | English |
---|---|
Title of host publication | Proc. 15th International Conference on Principles of Knowledge Representation and Reasoning (KR'16) |
Editors | Chitta Baral, James P. Delgrande, Frank Wolter |
Publisher | AAAI Press |
Pages | 247-257 |
Number of pages | 11 |
Publication status | Published - 2016 |
Peer-reviewed | Yes |