%0 Journal Article %1 lutz2024adding %A Lutz, Carsten %A Manière, Quentin %D 2024 %J Proceedings of the 21st International Conference on Principles of Knowledge Representation and Reasoning %K topic_knowledge xack yaff %P 531--541 %R 10.24963/kr.2024/50 %T Adding Circumscription to Decidable Fragments of First-Order Logic: A Complexity Rollercoaster %U https://doi.org/10.24963/kr.2024/50

@article{lutz2024adding, added-at = {2024-11-14T13:23:29.000+0100}, author = {Lutz, Carsten and Manière, Quentin}, biburl = {https://puma.scadsai.uni-leipzig.de/bibtex/299cf13d2073fe9e63edeb236921dadd8/scadsfct}, doi = {10.24963/kr.2024/50}, interhash = {1af2885668644686fa8204442526cea3}, intrahash = {99cf13d2073fe9e63edeb236921dadd8}, journal = {Proceedings of the 21st International Conference on Principles of Knowledge Representation and Reasoning}, keywords = {topic_knowledge xack yaff}, month = {8}, pages = {531--541}, timestamp = {2025-06-20T10:30:10.000+0200}, title = {Adding Circumscription to Decidable Fragments of First-Order Logic: A Complexity Rollercoaster}, url = {https://doi.org/10.24963/kr.2024/50}, year = 2024 }