%0 Conference Paper %1 BaKrNu-SAC2023 %A Baader, Franz %A Kriegel, Francesco %A Nuradiansyah, Adrian %B Proceedings of the 38th ACM/SIGAPP Symposium on Applied Computing (SAC '23), March 27--31, 2023, Tallinn, Estonia %D 2023 %I Association for Computing Machinery %K topic_knowledge from:scadsfct area_methods %P 974--982 %R https://doi.org/10.1145/3555776.3577630 %T Treating Role Assertions as First-class Citizens in Repair and Error-tolerant Reasoning

@inproceedings{BaKrNu-SAC2023, added-at = {2024-11-19T13:44:33.000+0100}, author = {{Baader}, Franz and {Kriegel}, Francesco and {Nuradiansyah}, Adrian}, biburl = {https://puma.scadsai.uni-leipzig.de/bibtex/2bdda852113b4367b5bcc789d3010723d/scads.ai}, booktitle = {Proceedings of the 38th ACM/SIGAPP Symposium on Applied Computing (SAC '23), March 27--31, 2023, Tallinn, Estonia}, doi = {https://doi.org/10.1145/3555776.3577630}, interhash = {efcabd43c2da378654a362b23191287c}, intrahash = {bdda852113b4367b5bcc789d3010723d}, keywords = {topic_knowledge from:scadsfct area_methods}, pages = {974--982}, publisher = {Association for Computing Machinery}, timestamp = {2024-11-19T13:44:33.000+0100}, title = {Treating Role Assertions as First-class Citizens in Repair and Error-tolerant Reasoning}, year = 2023 }