%0 Conference Paper %1 KR2023-47 %A Lutz, Carsten %A Manière, Quentin %A Nolte, Robin %B Proceedings of the 20th International Conference on Principles of Knowledge Representation and Reasoning %D 2023 %K imported %P 482--491 %R 10.24963/kr.2023/47 %T Querying Circumscribed Description Logic Knowledge Bases %U https://doi.org/10.24963/kr.2023/47

@inproceedings{KR2023-47, added-at = {2024-10-02T10:38:17.000+0200}, author = {Lutz, Carsten and Manière, Quentin and Nolte, Robin}, biburl = {https://puma.scadsai.uni-leipzig.de/bibtex/2184f925ecad0b3da7f67f5f0c742a6c4/scadsfct}, booktitle = {{Proceedings of the 20th International Conference on Principles of Knowledge Representation and Reasoning}}, doi = {10.24963/kr.2023/47}, interhash = {6d9a8b2b2557268ae7d0a3619170189c}, intrahash = {184f925ecad0b3da7f67f5f0c742a6c4}, keywords = {imported}, month = {8}, pages = {482--491}, timestamp = {2024-10-02T10:38:17.000+0200}, title = {{Querying Circumscribed Description Logic Knowledge Bases}}, url = {https://doi.org/10.24963/kr.2023/47}, year = 2023 }