Towards Practical Uniform Interpolation and Forgetting for~ALC TBoxes

Research output: Contribution to book/Conference proceedings/Anthology/Report › Conference contribution › Contributed › peer-review

Contributors

Details

Original languageEnglish
Title of host publicationProceedings of the 26th International Workshop on Description Logics (DL-2013)
Pages377-389
Number of pages13
Publication statusPublished - 2013
Peer-reviewedYes

Publication series

SeriesCEUR Workshop Proceedings
Volume1014
ISSN1613-0073